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.

  

Discrete-Time Hybrid Modeling and Verification

Author(s):

F.D. Torrisi, A. Bemporad
Conference/Journal:

IEEE Conference on Decision and Control, Orlando, FL
Abstract:

For hybrid systems described by interconnections of linear dynamical systems and logic devices, we recently proposed Mixed Logical Dynamical (MLD) systems and the language HYSDEL (Hybrid System Description Language) as a modeling tool. For MLD models, we developed a reachability analysis algorithm which combines forward reach-set computation and feasibility analysis of trajectories by linear and mixed-integer linear programming. In this paper the versatility of the overall analysis tool is illustrated on the verification of an automotive cruise control system for a car with robotized manual gear shift.

Further Information
Year:

2001
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { TorBem:2001:IFA_1028,
    author={F.D. Torrisi and A. Bemporad},
    title={{Discrete-Time Hybrid Modeling and Verification}},
    booktitle={IEEE Conference on Decision and Control},
    pages={},
    year={2001},
    address={Orlando, FL},
    month=dec,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=1028}
}
Permanent link