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