Search: onr:"swepub:oai:research.chalmers.se:e3c4d987-04ad-4625-a831-186d3de445b8" >
Non-blocking Superv...
Non-blocking Supervisory Control of Timed Automata using Forcible Events
-
- Rashidinejad, Aida (author)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
-
- Van Der Graaf, Patrick (author)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
-
- Reniers, Michel A. (author)
- Technische Universiteit Eindhoven,Eindhoven University of Technology
-
show more...
-
- Fabian, Martin, 1960 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
show less...
-
(creator_code:org_t)
- Elsevier BV, 2020
- 2020
- English.
-
In: IFAC-PapersOnLine. - : Elsevier BV. - 2405-8963. ; 53:4, s. 356-362
- Related links:
-
https://research.cha... (primary) (free)
-
show more...
-
https://doi.org/10.1...
-
https://doi.org/10.1...
-
https://research.cha...
-
show less...
Abstract
Subject headings
Close
- Real-valued clocks make the state space of timed automata (TA) infinite. Conventional supervisory control synthesis techniques are only applicable to finite automata (FA). Therefore, to synthesize a supervisor for TA using conventional techniques, an abstraction of TA to FA is required. For many applications, the abstraction of real-time values results in an explosion in the finite state space. This paper presents a supervisory control synthesis technique applied directly to TA without any abstraction. The plant is given as a TA with a set of uncontrollable events and a set of forcible events that may preempt the passage of time. To obtain a non-blocking controlled system, a synthesis algorithm is proposed that delivers a supervisor (also as a TA) avoiding the blocking states. The algorithm works by (iteratively) strengthening the guards of edges labeled by controllable events and invariants of locations where time progress can be preempted by forcible events.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datorteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Engineering (hsv//eng)
- NATURVETENSKAP -- Matematik -- Beräkningsmatematik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Computational Mathematics (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Keyword
- supervisory control
- non-blocking
- forcible event
- Automata
- real-time
- synthesis
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database