3 papers
eess.SY2026
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…
eess.SY2026
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…
cs.FL2026
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…