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 author

Official 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:	07 Sep 2020 05:07
URI:	https://strathprints.strath.ac.uk/id/eprint/38332
Export data:

CORE (COnnecting REpositories)