Non-blocking Supervisory Control of Timed Automata using Forcible Events

Rashidinejad, Aida; Graaf, Patrick van der; Reniers, Michel A.; Fabian, Martin

doi:10.1016/j.ifacol.2021.04.035

Cited by 7 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An earlier version of this work has been published in [26]. Compared to [26], this paper 1) provides the detailed proofs, 2) generalizes the approach for control requirements that are generally given as automata, and 3) applies the method to a well-known case study.…”

Section: Introductionmentioning

confidence: 99%

Supervisory Control Synthesis of Timed Automata Using Forcible Events

Rashidinejad,

Reniers,

Fabian

2021

Preprint

Self Cite

View full text Add to dashboard Cite

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 control of TA. To synthesize a supervisor for TA using the conventional supervisory control theory, existing methods abstract TA to finite automata (FA). For many applications, the abstraction of real-time values results in an explosion in the state space of FA. This paper presents a supervisory control synthesis algorithm directly applicable to the TA without any abstraction. The plant is given as a TA with a set of uncontrollable events and a set of forcible events. Forcible events can preempt the passage of time when needed. The synthesis algorithm works by iteratively strengthening the guards of edges labeled by controllable events and invariants of locations where the progression of time can be preempted by forcible events. The synthesized supervisor, which is also a TA, is guaranteed to be controllable, maximally permissive, and results in a nonblocking and safe supervised plant.

show abstract

Section: Introductionmentioning

confidence: 99%

Supervisory Control Synthesis of Timed Automata Using Forcible Events

Rashidinejad,

Reniers,

Fabian

2021

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

H-Systems

Santis¹,

Benedetto²

2023

Communications and Control Engineering

View full text Add to dashboard Cite

Offline supervisory control synthesis: taxonomy and recent developments

Fokkink,

Goorden

2024

Discrete Event Dyn Syst

View full text Add to dashboard Cite

This paper surveys recent advances in supervisory control theory since its 30th anniversary in 2017. We performed a systematic literature search and selected 272 relevant papers, with a focus on automata-based approaches. These were fitted into coherent narratives, based in part on a taxonomy of supervisor synthesis methods. The obtained papers show the fast and vast progress of the field, where recent research covers a wide range of new synthesis optimization techniques, different aspects such as fault tolerance, security, and timing, and new and diverse application domains. This survey refrains from in-depth descriptions of techniques, instead focusing on high-level contributions of recent works, how they relate to each other, and future directions for research.

show abstract

Non-blocking Supervisory Control of Timed Automata using Forcible Events

Cited by 7 publications

References 13 publications

Supervisory Control Synthesis of Timed Automata Using Forcible Events

Supervisory Control Synthesis of Timed Automata Using Forcible Events

H-Systems

Offline supervisory control synthesis: taxonomy and recent developments

Contact Info

Product

Resources

About