eprintid: 500
rev_number: 10
eprint_status: archive
userid: 7
dir: disk0/00/00/05/00
datestamp: 2011-07-27 09:18:17
lastmod: 2014-07-16 14:27:00
status_changed: 2011-07-27 09:18:17
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bemporad, Alberto
creators_name: Morari, Manfred
creators_id: alberto.bemporad@imtlucca.it
creators_id: 
title: Verification of hybrid systems via mathematical programming
ispublished: pub
subjects: QA
subjects: QA75
subjects: TJ
divisions: CSA
full_text_status: none
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.
date: 1999
date_type: published
series: Lecture Notes in Computer Science
publication: Hybrid Systems: Computation and Control
volume: 1569
publisher: Springer-Verlag
pagerange: 31-45
id_number: 10.1007/3-540-48983-5_7
refereed: TRUE
isbn: 78-3-540-65734-7
book_title: Hybrid Systems: Computation and Control
editors_name: Vaandrager, Frits 
editors_name: Van Schuppen, Jan
official_url: http://dx.doi.org/10.1007/3-540-48983-5_7
citation:   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)