9 citations · 10 across the 6 of their papers we have counts for
6 papers
Multimodal Nonblocking Supervisory Control Synthesis
Marijn Minkenberg, Michel Reniers, Martijn Goorden +2
Supervisory control synthesis leverages the nonblocking property to show liveness of the supervised system. This property is particularly weak when system models include fault beha…
Evolution-Based Timed Opacity under a Universal Observation Model
Zhe Zhang, Martijn Goorden, Michel Reniers
Existing literature on timed opacity uses specific definitions for restricted subclasses of timed automata or limited observation models. This lack of a unified definition makes it…
Supervisory control synthesis for multilevel DES with local buses
Marzhan M. Baubekova, Martijn A. Goorden, Michel A. Reniers +3
In multilevel supervisor synthesis, dependency structure matrix techniques can be used to transform the models of plants and requirements into a tree-structured hierarchical decomp…
Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, Axel Legay +3
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design.…
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen +3
Storm water detention ponds are used to manage the discharge of rainfall runoff from urban areas to nearby streams. Their purpose is to reduce the hydraulic impact and sediment loa…
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors
Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers +3
Supervisory control theory provides means to synthesize supervisors for systems with discrete-event behavior from models of the uncontrolled plant and of the control requirements.…