Eventuality synthesis for controlled linear automata
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.
Full text not available in this repository.Request a copy from the Strathclyde authorOfficial URL: https://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.
Creators(s): | Xia, H., Pang, Y. and Spathopoulos, M.P.; | 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 |
Depositing user: | Pure Administrator |
Date deposited: | 08 Mar 2012 14:52 |
Last modified: | 20 Jan 2021 14:32 |
URI: | https://strathprints.strath.ac.uk/id/eprint/38332 |
Export data: |
CORE (COnnecting REpositories)