Author of the publication

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

The Road Ahead for Supervisor Synthesis., , , , , , , , , and 1 other author(s). SETTA, volume 12153 of Lecture Notes in Computer Science, page 1-16. Springer, (2020)Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit., , , , , , , , , and 6 other author(s). TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 44-52. Springer, (2023)Modeling for supervisor synthesis - a lock-bridge combination case study., , , and . Discret. Event Dyn. Syst., 30 (3): 499-532 (2020)Structuring multilevel discrete-event systems with dependency structure matrices., , , and . CDC, page 558-564. IEEE, (2017)STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego., , , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 327-333. Springer, (2022)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)Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line., , , , and . CCTA, page 458-464. IEEE, (2018)Guaranteed safe controller synthesis for switched systems using analytical solutions*., , , , , , and . CCTA, page 784-790. IEEE, (2023)Supervisor Synthesis: Bridging Theory and Practice., , , , and . Computer, 55 (10): 48-54 (2022)