Control of Rectangular Multi-Affine Hybrid Systems

Author

Habets, L.C.G.J.M. ; Kloetzer, M. ; Belta, C.

Author_Institution

Dept. of Math. & Comput. Sci., Technische Universiteit Eindhoven

fYear

2006

fDate

13-15 Dec. 2006

Firstpage

2619

Lastpage

2624

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 Buchi automata from linear temporal logic formulas, and searches on graphs

Keywords

automata theory; closed loop systems; discrete systems; feedback; invariance; nonlinear control systems; set theory; temporal logic; Buchi automata; closed loop system; feedback control; linear inequalities; linear temporal logic; multiaffine dynamics; nonlinear hybrid system; polyhedral set operation; rectangular invariants; rectangular multiaffine hybrid systems; solvability; Automata; Automatic control; Biological system modeling; Control system synthesis; Control systems; Feedback control; Genetics; Logic circuits; Sufficient conditions; Vehicle dynamics;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2006 45th IEEE Conference on

Conference_Location

San Diego, CA

Print_ISBN

1-4244-0171-2

Type

conf

DOI

10.1109/CDC.2006.377081

Filename

4177695