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
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;
Conference_Titel :
American Control Conference, 2002. Proceedings of the 2002
Print_ISBN :
0-7803-7298-0
DOI :
10.1109/ACC.2002.1024797
