3 papers
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…
eess.SY2025
Overview of Controllability Definitions in Supervisory Control Theory
Jeroen J. A. Keiren, Michel A. Reniers
In the field of supervisory control theory, the literature often proposes different definitions for the same concept, making it difficult to understand how these definitions are re…