15 articles – 136 Notices  [english version]
.:. Consultation > Par type de document > Chapitres d'ouvrages scientifiques .:.
5 documents classés par :
Abstractions of Hybrid Systems for verification
Guéguen H., Zaytoon J.
Dans Informatics in Control Automation and Robotics (2011) 15-28 [hal-00586286 - version 1]
Hybrid Automata
Kowalewski S., Garavello M., Guéguen H., Herberich G., Langerak R., Piccoli B., Polderman M., Weise C.
Dans Handbook of hybrid systems control : theory, tools, applications (2009) 57-85 [hal-00426922 - version 1]
Un modèle formel pour les interrupteurs en électronique de puissance
Zainea M., Guéguen H., Buisson J.
Dans Automatique avancée et informatique appliquée (2009) pp. 235-239 [hal-00425178 - version 1]
Modélisation par Bond Graphs
Buisson J., Godoy E., Beauvois D., Boucher P.
Dans Régulation Industrielle (2007) 93-115 [hal-00267693 - version 1]
La commande prédictive des systèmes hybrides
Leirens S., Buisson J.
Dans La commande prédictive : avancées et perspectives (2006) 119-154 [hal-00084360 - version 1]