@article{eprints446,
          author = {Alberto Bemporad and Giancarlo Ferrari-Trecate and Manfred Morari},
       publisher = {IEEE},
         journal = {IEEE Transactions on Automatic Control},
            year = {2000},
           title = {Observability and controllability of piecewise affine and hybrid systems},
          number = {10},
           pages = {1864--1876},
          volume = {45},
           month = {October},
             url = {http://eprints.imtlucca.it/446/},
        abstract = {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.},
        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}
}