Xenofon D. Koutsoukos and Panos J. Antsaklis
ISIS Technical Report ISIS-2001-004, June 2001.
Abstract -- In this paper, a novel methodology for
hierarchical control design of piecewise linear hybrid dynamical
systems is presented. The main characteristic of this class of
hybrid systems is that the continuous dynamics are described by
linear difference equations, the discrete dynamics by finite
automata, and the interaction between the continuous and the
discrete part is defined by piecewise linear maps. The regulator
problem is formulated and algorithms for the synthesis of
dynamical controllers are developed. Control specifications are
modeled as finite automata. Both static specifications that do
not change as time progresses and dynamic specifications that
include sequencing of events and eventual execution of actions
are considered. Control design is implemented using finite
automata and linear programming techniques. Simulation results of
a temperature control system are used to illustrate the approach.
[pdf file]