Realization theory for linear hybrid systems, part II: Reachability, observability and minimality
The paper is the second part of the series of papers started in . The paper deals with observability, reachability and minimality of linear hybrid systems. Linear hybrid systems are continuous-time hybrid systems without guards, whose continuous dynamics is determined by time-invariant linear control systems. We will show that that if a set of input-output maps has a realization by a linear hybrid system, then it has a realization by a minimal linear hybrid system. We will present conditions for observability and span-reachability of linear hybrid systems and we will show that minimality is equivalent to observability and span-reachability. We will sketch algorithms for checking observability and span-reachability and for transforming a linear hybrid system to a minimal one.
|Keywords||hybrid systems, realization theory, minimal realization, observability, reachability|
|MSC||Realizations from input-output data (msc 93B15), Minimal systems representations (msc 93B20), Algebraic methods (msc 93B25), Control systems (msc 93Cxx)|
|THEME||Life Sciences (theme 5), Energy (theme 4)|
|Series||Modelling, Analysis and Simulation [MAS]|
Petreczky, M, & van Schuppen, J.H. (2008). Realization theory for linear hybrid systems, part II: Reachability, observability and minimality. Modelling, Analysis and Simulation [MAS]. CWI.