relation: http://eprints.imtlucca.it/500/
title: Verification of hybrid systems via mathematical programming
creator: Bemporad, Alberto
creator: Morari, Manfred
subject: QA Mathematics
subject: QA75 Electronic computers. Computer science
subject: TJ Mechanical engineering and machinery
description: 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.
publisher: Springer-Verlag
contributor: Vaandrager, Frits 
contributor: Van Schuppen, Jan
date: 1999
type: Book Section
type: PeerReviewed
identifier:   Bemporad, Alberto and Morari, Manfred  Verification of hybrid systems via mathematical programming.   In:  Hybrid Systems: Computation and Control.   Lecture Notes in Computer Science, 1569 .  Springer-Verlag, pp. 31-45.  ISBN 78-3-540-65734-7      (1999)  
relation: http://dx.doi.org/10.1007/3-540-48983-5_7
relation: 10.1007/3-540-48983-5_7