27 citations · 64 across the 15 of their papers we have counts for
6 papers · 1 filter
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…
Synthesis of Successful Actuator Attackers on Supervisors
Liyong Lin, Sander Thuijsman, Yuting Zhu +3
In this work, we propose and develop a new discrete-event based actuator attack model on the closed-loop system formed by the plant and the supervisor. We assume the actuator attac…