Bemporad, Alberto and Ferrari-Trecate, Giancarlo and Morari, Manfred Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control, 45 (10). pp. 1864-1876. ISSN 0018-9286 (2000)Full text not available from this repository.
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.
|Uncontrolled Keywords:||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|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > TJ Mechanical engineering and machinery
|Research Area:||Computer Science and Applications|
|Depositing User:||Professor Alberto Bemporad|
|Date Deposited:||27 Jul 2011 09:11|
|Last Modified:||17 Jul 2014 12:15|
Actions (login required)