Author of the publication

Towards the Removal of Synchronous Behavior of Events in Automata.

, , and . WODES, page 188-194. International Federation of Automatic Control, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model-Based Engineering of Supervisory Controllers using CIF., , , and . ECEASST, (2009)Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner., , , , and . IEEE Trans Autom. Sci. Eng., 11 (1): 20-32 (2014)A state-based framework for supervisory control synthesis and verification., , , , and . CDC, page 3481-3486. IEEE, (2010)Hybrid modeling and simulation of plant/controller combinations., , , and . CCA/ISIC, page 1384-1390. IEEE, (2009)Coordination of resources using generalized state-based requirements., , , , and . WODES, page 287-292. International Federation of Automatic Control, (2010)Simulation and Verification of Hybrid Systems using Chi., , and . ADHS, volume 39 of IFAC Proceedings Volumes, page 265-266. Elsevier, (2006)Hierarchical states in the Compositional Interchange Format, , , and . SOS, volume 32 of EPTCS, page 42-56. (2010)Partially-Supervised Plants: Embedding Control Requirements in Plant Components., , and . IFM, volume 7321 of Lecture Notes in Computer Science, page 253-267. Springer, (2012)New Concepts in the Abstract Format of the Compositional Interchange Format., , , , and . ADHS, volume 42 of IFAC Proceedings Volumes, page 250-255. Elsevier, (2009)Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting., , , , and . FORMATS, volume 6246 of Lecture Notes in Computer Science, page 47-61. Springer, (2010)