Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Temporal logic control of discrete-time piecewise affine systems

Boyan Yordanov and Calin Belta

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.

Details

Publication typeInproceedings
Published inProceedings of the 48th IEEE Conference on Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC.
URLpdf/cdc09.pdf
Pages3182 -3187
> Publications > Temporal logic control of discrete-time piecewise affine systems