A controllability result for piecewise-linear hybrid systems

Author

Habets, Luc C. G. J. M. ; van Schuppen, Jan H.

Author_Institution

CWI, Amsterdam, Netherlands

fYear

2001

fDate

4-7 Sept. 2001

Firstpage

3870

Lastpage

3873

Abstract

A piecewise-linear hybrid system is a dynamic system which is the product of a finite-state automaton and a family of affine systems on polytopes. In full generality, determination of the controllability of such systems is undecidable. For control synthesis it is therefore of interest to determine subclasses of such systems for which the problem is decidable. In this paper an approach to controllability is described for which the problem decomposes into a reachability problem for a finite-state automaton and one for a family of affine systems on polytopes. For a subclass of such systems an equivalent condition for reachability of a piecewise-linear hybrid system is summarized. The solution to the subproblem of control to a facet of a polytope is presented.

Keywords

controllability; finite automata; linear systems; reachability analysis; affine system; finite-state automaton; piecewise-linear hybrid system; reachability; system controllability; Automata; Controllability; Europe; Mathematical model; Tin; Trajectory; Vectors; Piecewise-linear hybrid system; control law; control to facet of polytope; reachability;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (ECC), 2001 European

Conference_Location

Porto

Print_ISBN

978-3-9524173-6-2

Type

conf

Filename

7076538