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

fYear

2009

fDate

15-18 Dec. 2009

Firstpage

3182

Lastpage

3187

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;

fLanguage

English

Publisher

ieee

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

ISSN

0191-2216

Print_ISBN

978-1-4244-3871-6

Electronic_ISBN

0191-2216

Type

conf

DOI

10.1109/CDC.2009.5400657

Filename

5400657