Title :
Temporal logic control of discrete-time piecewise affine systems
Author :
Yordanov, Boyan ; Belta, Calin
Author_Institution :
Dept. of Biomed. Eng., Boston Univ., Boston, MA, USA
Abstract :
We consider the problem of controlling a discrete-time piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predicates in its state variables. We present a computational framework for finding initial states and feedback control strategies guaranteeing the satisfaction of such a specification by all the trajectories of the closed loop system. Our solution is based on abstracting the system to a finite transition system and on controlling the abstraction from an LTL specification.
Keywords :
closed loop systems; discrete time systems; feedback; temporal logic; LTL specification; closed loop system; computational framework; discrete time piecewise affine systems; feedback control; finite transition system; linear predicates; linear temporal logic; state variables; temporal logic control; Biomedical engineering; Closed loop systems; Control system synthesis; Control systems; Digital circuits; Feedback control; Linear systems; Logic circuits; Natural languages; State-space methods;
Conference_Titel :
Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-3871-6
Electronic_ISBN :
0191-2216
DOI :
10.1109/CDC.2009.5400657
