1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…