Eventuality synthesis for controlled linear automata
Hao Xia, Yan Pang, Anastasios Trontis, Michael P. Spathopoulos · 2003
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.