Controller Synthesis for A Class of Uncertain Piecewise Linear Hybrid Dynamical Systems

Hai Lin and P.J. Antsaklis

Proceedings of the 2002 Conference on Decision and Control
pp. 3188-3193. Las Vegas, NV, USA, December 10-13, 2002.

Abstract- In this paper, we consider the controller synthesis problem for a class of uncertain hybrid dynamical systems. The goal is for the closed loop system to exhibit desired behavior under dynamic uncertainty and exteriors disturbances. The main question is whether there exists a controller such that the closed loop system satisfies the specification. The notion of attainability is introduced to refer to the specified behavior that can be forced to the plant by a control mechanism. We give a method for attainability checking by employing the predecessor operator and backward reachability analysis, and a procedure for controller design by using nite automata and linear programming techniques..

[pdf file]