Logo eprints

Verification of hybrid systems via mathematical programming

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/3-540-48983-5_7
Subjects: Q Science > QA Mathematics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > TJ Mechanical engineering and machinery
Research Area: Computer Science and Applications
Depositing User: Professor Alberto Bemporad
Date Deposited: 27 Jul 2011 09:18
Last Modified: 16 Jul 2014 14:27
URI: http://eprints.imtlucca.it/id/eprint/500

Actions (login required)

Edit Item Edit Item