Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events

Aida Rashidinejad; Patrick van der Graaf; Michel A. Reniers

doi:10.1109/ICARCV50220.2020.9305312

Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events

Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Conventional supervisory control synthesis techniques are not adequate for timed automata (TA) due to their infinite state space. This paper presents a supervisory control synthesis technique for TA with the objective of satisfying controllability and nonblockingness. The synthesis method consists of three steps. First, a TA is abstracted to a finite automaton (FA). The event set of the FA includes the discrete events of the TA as well as an event representing the passage of a significant amount of time. Time passage is considered to be preemptable by events from a given set of forcible events. Second, an algorithm is presented to synthesize a controllable and nonblocking supervisor for the FA. Finally, a time-refinement technique is proposed to convert the supervisor to a TA.

Original language	English
Title of host publication	16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020
Publisher	Institute of Electrical and Electronics Engineers
Pages	1033-1040
Number of pages	8
ISBN (Electronic)	978-1-7281-7709-0
DOIs	https://doi.org/10.1109/ICARCV50220.2020.9305312
Publication status	Published - 8 Jan 2021
Event	16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020) - Virtual, Shenzhen, China Duration: 13 Dec 2020 → 15 Dec 2020 Conference number: 16

Conference

Conference	16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020)
Abbreviated title	ICARCV 2020
Country/Territory	China
City	Virtual, Shenzhen
Period	13/12/20 → 15/12/20

Access to Document

10.1109/ICARCV50220.2020.9305312

Cite this

Rashidinejad, A., van der Graaf, P., & Reniers, M. A. (2021). Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. In 16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020 (pp. 1033-1040). [9305312] Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICARCV50220.2020.9305312

@inproceedings{6d113120e9fc4d818ab9bab677a92f97,

title = "Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events",

abstract = "Conventional supervisory control synthesis techniques are not adequate for timed automata (TA) due to their infinite state space. This paper presents a supervisory control synthesis technique for TA with the objective of satisfying controllability and nonblockingness. The synthesis method consists of three steps. First, a TA is abstracted to a finite automaton (FA). The event set of the FA includes the discrete events of the TA as well as an event representing the passage of a significant amount of time. Time passage is considered to be preemptable by events from a given set of forcible events. Second, an algorithm is presented to synthesize a controllable and nonblocking supervisor for the FA. Finally, a time-refinement technique is proposed to convert the supervisor to a TA.",

author = "Aida Rashidinejad and {van der Graaf}, Patrick and Reniers, {Michel A.}",

year = "2021",

month = jan,

day = "8",

doi = "10.1109/ICARCV50220.2020.9305312",

language = "English",

pages = "1033--1040",

booktitle = "16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020), ICARCV 2020 ; Conference date: 13-12-2020 Through 15-12-2020",

}

Rashidinejad, A, van der Graaf, P & Reniers, MA 2021, Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. in 16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020., 9305312, Institute of Electrical and Electronics Engineers, pp. 1033-1040, 16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020), Virtual, Shenzhen, China, 13/12/20. https://doi.org/10.1109/ICARCV50220.2020.9305312

Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events. / Rashidinejad, Aida; van der Graaf, Patrick; Reniers, Michel A.

16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020. Institute of Electrical and Electronics Engineers, 2021. p. 1033-1040 9305312.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events

AU - Rashidinejad, Aida

AU - van der Graaf, Patrick

AU - Reniers, Michel A.

N1 - Conference code: 16

PY - 2021/1/8

Y1 - 2021/1/8

N2 - Conventional supervisory control synthesis techniques are not adequate for timed automata (TA) due to their infinite state space. This paper presents a supervisory control synthesis technique for TA with the objective of satisfying controllability and nonblockingness. The synthesis method consists of three steps. First, a TA is abstracted to a finite automaton (FA). The event set of the FA includes the discrete events of the TA as well as an event representing the passage of a significant amount of time. Time passage is considered to be preemptable by events from a given set of forcible events. Second, an algorithm is presented to synthesize a controllable and nonblocking supervisor for the FA. Finally, a time-refinement technique is proposed to convert the supervisor to a TA.

AB - Conventional supervisory control synthesis techniques are not adequate for timed automata (TA) due to their infinite state space. This paper presents a supervisory control synthesis technique for TA with the objective of satisfying controllability and nonblockingness. The synthesis method consists of three steps. First, a TA is abstracted to a finite automaton (FA). The event set of the FA includes the discrete events of the TA as well as an event representing the passage of a significant amount of time. Time passage is considered to be preemptable by events from a given set of forcible events. Second, an algorithm is presented to synthesize a controllable and nonblocking supervisor for the FA. Finally, a time-refinement technique is proposed to convert the supervisor to a TA.

UR - http://www.scopus.com/inward/record.url?scp=85100091333&partnerID=8YFLogxK

U2 - 10.1109/ICARCV50220.2020.9305312

DO - 10.1109/ICARCV50220.2020.9305312

M3 - Conference contribution

SP - 1033

EP - 1040

BT - 16th IEEE International Conference on Control, Automation, Robotics and Vision, ICARCV 2020

PB - Institute of Electrical and Electronics Engineers

T2 - 16th International Conference on Control, Automation, Robotics and Vision (ICARCV 2020)

Y2 - 13 December 2020 through 15 December 2020

ER -

Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this