Assistant Professor
Martijn Goorden
Department / Institute
Mechanical Engineering
ACADEMIC BACKGROUND
Martijn Goorden received the M.Sc. degree (cum laude) in systems and control in 2015 and the Ph.D. degree in mechanical engineering in 2019, both from Eindhoven University of Technology, Eindhoven, The Netherlands. His current research interests are in the area of model-based systems engineering and supervisory control synthesis.
Recent Publications
-
Eclipse ESCETâ„¢
(2023) -
Supervisor Synthesis: Bridging Theory and Practice
Computer (2022) -
Lessons learned in the application of formal methods to the design of a storm surge barrier control system
IFAC-PapersOnLine (2022) -
Compositional coordinator synthesis of extended finite automata
Discrete Event Dynamic Systems (2021) -
Model properties for efficient synthesis of nonblocking modular supervisors
Control Engineering Practice (2021)
Current Educational Activities
Ancillary Activities
- Adviseur industriele automatisering, Rijkswaterstaat