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