DocumentCode
2085675
Title
Eventuality synthesis for controlled linear automata
Author
Xia, H. ; Pang, Y. ; Trontis, A. ; Spathopoulos, M.
Author_Institution
Dept. of Mech. Eng., Strathclyde Univ., Glasgow, UK
Volume
1
fYear
2002
fDate
2002
Firstpage
160
Abstract
The synthesis of hybrid controllers that satisfy eventuality specifications is studied. Linear automata that accept continuous inputs are considered. The feedback control derivation is based on reachability analysis. A computational procedure for the reachable set, based on Fourier elimination and convexity analysis techniques, is derived. A feedback controller that guarantees the system will visit a given convex target set without violating state constraints is obtained.
Keywords
automata theory; continuous time systems; control system synthesis; discrete event systems; reachability analysis; state feedback; Fourier elimination; continuous inputs; controlled linear automata; controller synthesis; convexity analysis techniques; eventuality synthesis; feedback control derivation; hybrid controllers; reachability analysis; reachable set; Adaptive control; Automata; Automatic control; Control system synthesis; Ear; Feedback control; Mechanical engineering; Reachability analysis; Safety; Topology;
fLanguage
English
Publisher
ieee
Conference_Titel
American Control Conference, 2002. Proceedings of the 2002
ISSN
0743-1619
Print_ISBN
0-7803-7298-0
Type
conf
DOI
10.1109/ACC.2002.1024797
Filename
1024797
Link To Document