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

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)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)Structuring multilevel discrete-event systems with dependency structure matrices., , , and . CDC, page 558-564. IEEE, (2017)Modeling for supervisor synthesis - a lock-bridge combination case study., , , and . Discret. Event Dyn. Syst., 30 (3): 499-532 (2020)STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego., , , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 327-333. Springer, (2022)Modeling Guidelines for Component-Based Supervisory Control Synthesis., , , , and . FACS, volume 12018 of Lecture Notes in Computer Science, page 3-24. Springer, (2019)Supervisory control synthesis for a waterway lock., , , and . CCTA, page 1562-1563. IEEE, (2017)The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis., , , , and . FMICS, volume 11687 of Lecture Notes in Computer Science, page 76-92. Springer, (2019)Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds., , , , , and . ADHS, volume 54 of IFAC-PapersOnLine, page 13-18. Elsevier, (2021)Compositional coordinator synthesis of extended finite automata., , , , , and . Discret. Event Dyn. Syst., 31 (3): 317-348 (2021)