TY  - JOUR
VL  - 45
SP  - 1864
A1  - Bemporad, Alberto
A1  - Ferrari-Trecate, Giancarlo
A1  - Morari, Manfred
PB  - IEEE
JF  - IEEE Transactions on Automatic Control
IS  - 10
Y1  - 2000/10//
EP  - 1876
ID  - eprints446
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.
SN  - 0018-9286
UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=880987&isnumber=19074
AV  - none
TI  - Observability and controllability of piecewise affine and hybrid systems
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
ER  -