Martijn Goorden
Aalborg Universitet
H-index: 9
Europe-Denmark
Top articles of Martijn Goorden
Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis
2024
Martijn Goorden
H-Index: 5
Design of interactive student sessions for full-day teaching
2023/12/21
Martijn Goorden
H-Index: 5
Euan Lindsay
H-Index: 11
Compositional Control Synthesis for Water Management System
2023/11/10
Guaranteed safe controller synthesis for switched systems using analytical solutions*
2023/8/16
Determine stormwater pond geometrics and hydraulics using remote sensing technologies: A comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS
Journal of Hydroinformatics
2023/7/1
Eclipse ESCET™: The eclipse supervisory control engineering toolkit
2023/4/20
Timed I/O Automata: It is never too late to complete your timed specification theory
arXiv preprint arXiv:2302.04529
2023/2/9
Synthesis-based engineering of supervisory controllers
Control Engineering Practice
2023/4/1
Controlling Stormwater Detention Ponds under Partial Observability
2022/11/2
Thomas Dyhre Nielsen
H-Index: 17
Martijn Goorden
H-Index: 5
Supervisor synthesis: Bridging theory and practice
Computer
2022/9/27
Wan Fokkink
H-Index: 15
Martijn Goorden
H-Index: 5
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
2022/10/22
Lessons learned in the application of formal methods to the design of a storm surge barrier control system
2022
Martijn Goorden
H-Index: 5
Wan Fokkink
H-Index: 15
Compositional coordinator synthesis of extended finite automata
Discrete Event Dynamic Systems
2021/9
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors
Control Engineering Practice
2021/7/1
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
IFAC-PapersOnLine
2021/1/1
Design of a tunnel supervisory controller using synthesis-based engineering
ITA-AITES World Tunnel Congress, WTC2020 and 46th General Assembly
2020/9/11
Modeling for supervisor synthesis–a lock-bridge combination case study
Discrete Event Dynamic Systems
2020/9
Quantifying model quality for supervisory control synthesis-an experimental study
IFAC-PapersOnLine
2020/1/1
Efficient validation of supervisory controllers using symmetry reduction
IFAC-PapersOnLine
2020/1/1
The road ahead for supervisor synthesis
2020
Co-Authors
