TY  - CHAP
ID  - eprints500
EP  - 45
N2  - 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.
ED  - Vaandrager, Frits 
ED  - Van Schuppen, Jan
SN  - 78-3-540-65734-7
T2  - Hybrid Systems: Computation and Control
PB  - Springer-Verlag
TI  - Verification of hybrid systems via mathematical programming
SP  - 31
T3  - Lecture Notes in Computer Science
AV  - none
UR  - http://dx.doi.org/10.1007/3-540-48983-5_7
A1  - Bemporad, Alberto
A1  - Morari, Manfred
M1  - 1569
Y1  - 1999///
ER  -