%0 Book Section
%A Bemporad, Alberto
%A Morari, Manfred
%B Hybrid Systems: Computation and Control
%D 1999
%E Vaandrager, Frits 
%E Van Schuppen, Jan
%F eprints:500
%I Springer-Verlag
%P 31-45
%S Lecture Notes in Computer Science
%T Verification of hybrid systems via mathematical programming
%U http://eprints.imtlucca.it/500/
%V 1569
%X 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.