Martijn A. Goorden

25 papers B 1C 1Misc 1Journal 11Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Evolution-Based Timed Opacity under a Universal Observation Model. CoRR Zhe Zhang, Martijn A. Goorden, Michel A. Reniers
2025	—	`conf`	Data-Driven Shielding of Online Reinforcement Learning: A Stormwater Pond Case Study. FSEN Esther Hahyeon Kim, Martijn A. Goorden, Kim Guldstrand Larsen, Thomas Dyhre Nielsen
2025	J	`jnl`	Supervisory control synthesis for multilevel DES with local buses. CoRR Marzhan M. Baubekova, Martijn A. Goorden, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda, Wan J. Fokkink
2024	—	`conf`	Compositional Control Synthesis for Water Management System. ECC Esther Hahyeon Kim, Kim G. Larsen, Martijn A. Goorden, Thomas D. Nielsen
2024	J	`jnl`	Controlling stormwater detention ponds under partial observability. J. Log. Algebraic Methods Program. Esther Hahyeon Kim, Martijn A. Goorden, Kim G. Larsen, Thomas D. Nielsen
2024	J	`jnl`	Offline supervisory control synthesis: taxonomy and recent developments. Discret. Event Dyn. Syst. Wan J. Fokkink, Martijn A. Goorden
2023	—	`conf`	Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, Lars Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Bram van der Sanden, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
2023	—	`conf`	Guaranteed safe controller synthesis for switched systems using analytical solutions CCTA Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Weizhu Qian, Michael R. Rasmussen, Guohan Zhao
2023	J	`jnl`	Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski
2022	B	`conf`	STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao
2022	J	`jnl`	Supervisor Synthesis: Bridging Theory and Practice. Computer Wan J. Fokkink, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Ferdie F. H. Reijnen, Jacobus E. Rooda
2021	J	`jnl`	Compositional coordinator synthesis of extended finite automata. Discret. Event Dyn. Syst. Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2021	—	`conf`	Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. ADHS Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba
2021	J	`jnl`	Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. CoRR Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba
2020	J	`jnl`	Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. CoRR Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda
2020	J	`jnl`	Modeling for supervisor synthesis - a lock-bridge combination case study. Discret. Event Dyn. Syst. Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
2020	J	`jnl`	Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. IEEE Trans. Autom. Control. Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2020	Misc	`conf`	The Road Ahead for Supervisor Synthesis. SETTA Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman
2019	—	`conf`	Modeling Guidelines for Component-Based Supervisory Control Synthesis. FACS Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2019	—	`conf`	No synthesis needed, we are alright already. CASE Martijn A. Goorden, Martin Fabian
2019	—	`conf`	Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. ECC Martijn A. Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda
2019	C	`conf`	The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. FMICS Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda
2018	—	`conf`	Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line. CCTA Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
2017	—	`conf`	Structuring multilevel discrete-event systems with dependency structure matrices. CDC Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda
2017	—	`conf`	Supervisory control synthesis for a waterway lock. CCTA Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda