Author of the publication

Supervisory Control Synthesis of Timed Automata Using Forcible Events.

, , and . IEEE Trans. Autom. Control., 69 (2): 1074-1080 (February 2024)

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)Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors., , , , , and . CoRR, (2020)Supervisory Control Synthesis of Timed Automata Using Forcible Events., , and . IEEE Trans. Autom. Control., 69 (2): 1074-1080 (February 2024)Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs., , , and . CoRR, (2022)Compositional coordinator synthesis of extended finite automata., , , , , and . Discret. Event Dyn. Syst., 31 (3): 317-348 (2021)Comparative Case Studies of Reactive Synthesis and Supervisory Control., , , , and . ECC, page 1752-1759. IEEE, (2019)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)Modeling of discrete event systems using finite automata with variables., , and . CDC, page 3387-3392. IEEE, (2007)Coordination of batches in flexible production., , and . ACC, page 2735-2739. IEEE, (2000)Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*., , , , and . ICRA, page 5607-5613. IEEE, (2019)