DocumentCode
1743779
Title
Supervisory control for rectangular hybrid automata
Author
Spathopoulos, Michael P.
Author_Institution
Dept. of Mech. Eng., Strathclyde Univ., Glasgow, UK
Volume
1
fYear
2000
fDate
2000
Firstpage
35
Abstract
We consider the problem of supervisory control for compact rectangular automata with uniform rectangular activity, i.e. initialised. The supervisory controller is state feedback and can disable only discrete-event transitions in order to solve the non-blocking forbidden state problem. The non-blocking problem is defined under both strong and weak conditions. For the latter maximally permissive solutions that are computable on a finite quotient space characterised by language equivalence are derived
Keywords
automata theory; discrete event systems; formal languages; state feedback; discrete-event transitions; finite quotient space; language equivalence; maximally permissive solutions; nonblocking forbidden state problem; rectangular hybrid automata; strong conditions; supervisory control; uniform rectangular activity; weak conditions; Automata; Automatic control; Control systems; Partitioning algorithms; State feedback; Supervisory control;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2000. Proceedings of the 39th IEEE Conference on
Conference_Location
Sydney, NSW
ISSN
0191-2216
Print_ISBN
0-7803-6638-7
Type
conf
DOI
10.1109/CDC.2000.912728
Filename
912728
Link To Document