27 citations · 64 across the 15 of their papers we have counts for
15 papers
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…
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…
Supervisory Control for Dynamic Feature Configuration in Product Lines
Sander Thuijsman, Michel Reniers
In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is descr…
Supervisory Control Synthesis of Timed Automata Using Forcible Events
Aida Rashidinejad, Michel Reniers, Martin Fabian
Considering real-valued clocks in timed automata (TA) makes it a practical modeling framework for discrete-event systems. However, the infinite state space brings challenges to the…
Networked Supervisory Control Synthesis of Timed Discrete-Event Systems
Aida Rashidinejad, Michel Reniers, Martin Fabian
Conventional supervisory control theory assumes full synchronization between the supervisor and the plant. This assumption is violated in a networked-based communication setting du…