@incollection{eprints500,
         journal = {Hybrid Systems: Computation and Control},
       publisher = {Springer-Verlag},
          author = {Alberto Bemporad and Manfred Morari},
          editor = {Frits  Vaandrager and Jan Van Schuppen},
       booktitle = {Hybrid Systems: Computation and Control},
          volume = {1569},
           pages = {31--45},
           title = {Verification of hybrid systems via mathematical programming},
          series = {Lecture Notes in Computer Science},
            year = {1999},
             url = {http://eprints.imtlucca.it/500/},
        abstract = {This paper proposes a novel approach to the verification of hybrid systems based on linear and mixed-integer linear programming. Models are described using the Mixed Logical Dynamical (MLD) formalism introduced in [5]. The proposed technique is demonstrated on a verification case study for an automotive suspension system.}
}