Abstract
We study the problem of feedback control for a
class of non-linear hybrid systems characterized by rectangular
invariants and multi-affine dynamics, which we call Rectangular
Multi-Affine Hybrid Systems. The goal is to find initial
states and feedback control strategies so that all trajectories
of the closed loop system satisfy arbitrary specifications given
as temporal logic formulas over the set of discrete states of
the system. Sufficient conditions for solvability are obtained
in terms of sets of linear inequalities. If these conditions are
satisfied, a control strategy is automatically constructed. The
computation consists of polyhedral set operations, construction
of B¨uchi automata from linear temporal logic formulas, and
searches on graphs.
Original language | English |
---|---|
Title of host publication | Proceedings 45th IEEE Conference on Decision and Control (CDC'06, San Diego CA, USA, December 13-15, 2006) |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 2619-2624 |
ISBN (Print) | 1-4244-0171-2 |
Publication status | Published - 2006 |