Xia, H. and Pang, Y. and Spathopoulos, M.P. (2002) Eventuality synthesis for controlled linear automata. In: 20th Annual American Control Conference (ACC), 2002-05-08 - 2002-05-10, Anchorage.
Full text not available in this repository. (Request a copy from the Strathclyde author)Official URL: http://dx.doi.org/10.1109/ACC.2002.1024797
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.
| Item type: | Conference or Workshop Item (Paper) |
|---|---|
| ID code: | 38332 |
| Keywords: | eventuality, linear hybrid automata , controller synthesis, controlled, synthesis, automata, Electrical engineering. Electronics Nuclear engineering |
| Subjects: | Technology > Electrical engineering. Electronics Nuclear engineering |
| Department: | Faculty of Engineering > Electronic and Electrical Engineering Faculty of Engineering > Mechanical and Aerospace Engineering |
| Related URLs: | |
| Depositing user: | Pure Administrator |
| Date Deposited: | 08 Mar 2012 14:52 |
| Last modified: | 04 Oct 2012 17:11 |
| URI: | http://strathprints.strath.ac.uk/id/eprint/38332 |
Actions (login required)
| View Item |