Un modèle formel pour les interrupteurs en électronique de puissance - AUTomatic control Accéder directement au contenu
Chapitre D'ouvrage Année : 2009

Un modèle formel pour les interrupteurs en électronique de puissance

Résumé

Compositional modeling of switching system has been an active domain for several years, especially in the field of power electronics. The proposed approaches are powerful as long as continuous energy aspects are considered but we show that the logical aspects of the switches are not satisfactorily modeled. From the characteristics of switches and their modeling requirements, we propose a new formalism that makes it possible their formal modeling.
Fichier non déposé

Dates et versions

hal-00425178 , version 1 (20-10-2009)

Identifiants

  • HAL Id : hal-00425178 , version 1

Citer

Marius Zainea, Hervé Guéguen, Jean Buisson. Un modèle formel pour les interrupteurs en électronique de puissance. Automatique avancée et informatique appliquée, Editura Academiei Române, pp. 235-239, 2009. ⟨hal-00425178⟩
89 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More