Author of the publication

Modeling of discrete event systems using finite automata with variables.

, , and . CDC, page 3387-3392. IEEE, (2007)

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

Efficient supervisory synthesis of large systems, , and . Control Engineering Practice, 14 (10): 1157--1167 (October 2006)On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering., , , , and . IEEE Trans Autom. Sci. Eng., 18 (1): 369-381 (2021)On-the-fly conformance testing of safety PLC code using QuickCheck., , and . INDIN, page 419-424. IEEE, (2019)Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors., , , , , and . CoRR, (2020)Compositional coordinator synthesis of extended finite automata., , , , , and . Discret. Event Dyn. Syst., 31 (3): 317-348 (2021)Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*., , , , and . ICRA, page 5607-5613. IEEE, (2019)Comparative Case Studies of Reactive Synthesis and Supervisory Control., , , , and . ECC, page 1752-1759. IEEE, (2019)Coordination of batches in flexible production., , and . ACC, page 2735-2739. IEEE, (2000)Modeling of discrete event systems using finite automata with variables., , and . CDC, page 3387-3392. IEEE, (2007)Digital Twin for Legacy Systems: Simulation Model Testing and Validation., , , and . CASE, page 421-426. IEEE, (2018)