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:

vol. AUT01-17
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:

(04)Technical Report
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@TechReport { TorBem:2001:IFA_188,
    author={F.D. Torrisi and A. Bemporad},
    title={{Discrete-Time Hybrid Modeling and Verification}},
    institution={},
    year={2001},
    number={},
    address={},
    month=aug,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=188}
}
Permanent link