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.
Official URL: http://dx.doi.org/10.1007/3-540-48983-5_7
Abstract
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 |
