Author of the publication

A Survey of Petri Net Methods for Controlled Discrete Event Systems.

, , and . Discrete Event Dynamic Systems, 7 (2): 151-190 (1997)

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

From Analysis to Design.. FORMATS, volume 4763 of Lecture Notes in Computer Science, page 4. Springer, (2007)Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems., , and . Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 475-484. Springer, (1995)Integration of Formal Analysis into a Model-Based Software Development Process., , , , and . FMICS, volume 4916 of Lecture Notes in Computer Science, page 68-84. Springer, (2007)Kinematics and open-loop control of an ilonator-based mobile platform., , and . ICRA, page 346-351. IEEE, (1985)A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata., , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 187-200. Springer, (2008)Formal verification of Statecharts using finite-state model checkers., and . ACC, page 313-318. IEEE, (2001)Saturation-induced instability in electric power systems., , and . ACC, page 580-585. IEEE, (2008)Decentralized identification of building models., and . ACC, page 1070-1075. IEEE, (2014)Heterogeneous verification of cyber-physical systems using behavior relations., and . HSCC, page 35-44. ACM, (2012)Resilient Control in the Presence of Man-in-the-Middle Attacks., , , and . ACC, page 4553-4560. IEEE, (2021)