27 citations · 64 across the 15 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
eess.SY2025
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…
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…