Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Verification of Hybrid Systems via Mathematical Programming

Author(s):

A. Bemporad, M. Morari
Conference/Journal:

Hybrid Systems: Computation and Control, pp. 31-45, F.W. Vaandrager and J.H. van Schuppen Eds., Lecture Notes in Computer Science 1569, Springer Verlag
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 (Bemporad, Morari 1999). The proposed technique is demonstrated on a verification case study for an automotive suspension system.

Year:

1999
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@Article { BemMor:1999:IFA_361,
    author={A. Bemporad and M. Morari},
    title={{Verification of Hybrid Systems via Mathematical Programming}},
    journal={Hybrid Systems: Computation and Control},
    year={1999},
    volume={},
    number={},
    pages={31--45},
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=361}
}
Permanent link