Temporal logic control of discrete-time piecewise affine systems

Abstract-- We consider the problem of controlling a discretetime 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 losed loop system. Our solution is based on abstracting the system to a finite transition system and on controlling the ion from an LTL specification.

• Type: Journal
• Year: 2009
• Where: CDC
• Authors: Boyan Yordanov, Calin Belta
• Keywords: CDC 2009, Control Systems, Discretetime Piecewise Affine, Linear Temporal Logic, Specification