%L eprints500
%D 1999
%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.
%E Frits  Vaandrager
%E Jan Van Schuppen
%S Lecture Notes in Computer Science
%A Alberto Bemporad
%A Manfred Morari
%R 10.1007/3-540-48983-5_7
%J Hybrid Systems: Computation and Control
%B Hybrid Systems: Computation and Control
%P 31-45
%T Verification of hybrid systems via mathematical programming
%I Springer-Verlag
%V 1569