Martijn A. Goorden

According to our database, Martijn A. Goorden authored at least 18 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Timed I/O Automata: It is never too late to complete your timed specification theory.

Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski

CoRR, 2023

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Guaranteed safe controller synthesis for switched systems using analytical solutions^*.

Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Weizhu Qian, Michael R. Rasmussen, Guohan Zhao

Proceedings of the IEEE Conference on Control Technology and Applications, 2023

2022

Supervisor Synthesis: Bridging Theory and Practice.

Wan J. Fokkink, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Ferdie F. H. Reijnen, Jacobus E. Rooda

Computer, 2022

STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego.

Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Compositional coordinator synthesis of extended finite automata.

Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda

Discret. Event Dyn. Syst., 2021

Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds.

Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices.

Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda

IEEE Trans. Autom. Control., 2020

Modeling for supervisor synthesis - a lock-bridge combination case study.

Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Discret. Event Dyn. Syst., 2020

Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors.

Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda

CoRR, 2020

The Road Ahead for Supervisor Synthesis.

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

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

2019

The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis.

Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

Modeling Guidelines for Component-Based Supervisory Control Synthesis.

Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure.

Martijn A. Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink, Jacobus E. Rooda

Proceedings of the 17th European Control Conference, 2019

No synthesis needed, we are alright already.

Martijn A. Goorden, Martin Fabian

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Application of Dependency Structure Matrices and Multilevel Synthesis to a Production Line.

Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017

Structuring multilevel discrete-event systems with dependency structure matrices.

Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Supervisory control synthesis for a waterway lock.

Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Proceedings of the IEEE Conference on Control Technology and Applications, 2017