Eventuality synthesis for controlled linear automata
- Xia, H.
- Pang, Y.
- Spathopoulos, M.P.
Publication date
May 2002
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)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
Add to ORKG