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