TY  - JOUR
A1  - Bemporad, Alberto
A1  - Ferrari-Trecate, Giancarlo
A1  - Morari, Manfred
UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=880987&isnumber=19074
Y1  - 2000/10//
VL  - 45
KW  - hybrid systems; interacting linear dynamics; mixed-integer linear programming; numerical tests; piecewise affine systems; propositional logic; automata theory; controllability; formal logic; integer programming; linear programming; observability
AV  - none
TI  - Observability and controllability of piecewise affine and hybrid systems
SP  - 1864
JF  - IEEE Transactions on Automatic Control
PB  - IEEE
IS  - 10
SN  - 0018-9286
ID  - eprints446
EP  - 1876
N2  - We prove, in a constructive way, the equivalence between piecewise affine systems and a broad class of hybrid systems described by interacting linear dynamics, automata, and propositional logic. By focusing our investigation on the former class, we show through counterexamples that observability and controllability properties cannot be easily deduced from those of the component linear subsystems. Instead, we propose practical numerical tests based on mixed-integer linear programming.
ER  -