Torrisi, Fabio Danilo and Bemporad, Alberto Discrete-time hybrid modeling and verification. In: Decision and Control Conference. IEEE, Orlando, Florida USA, December 2001, pp. 2899-2904. ISBN 0-7803-7061-9 (2001)
Full text not available from this repository.Abstract
For hybrid systems described by interconnections of linear dynamical systems and logic devices, we recently (A. Bemporad et al., 2000, 2001) 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 in the verification of an automotive cruise control system for a car with a robotized manual gear shift
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://doi.org/10.1109/.2001.980716 |
| Uncontrolled Keywords: | HYSDEL; Hybrid System Description Language; automotive cruise control system verification; car;discrete-time hybrid modeling; discrete-time hybrid systems verification; forward reach-set computation feasibility analysis; interconnected systems; linear dynamical systems;logic devices; mixed logical-dynamical systems; mixed-integer linear programming; reachability analysis algorithm; robotized manual gear shift; trajectories; automobiles; control system analysis; discrete time systems; formal verification; integer programming; interconnected systems; linear programming; linear systems; logic devices; modelling; reachability analysis; robots; simulation languages |
| Subjects: | Q Science > QA Mathematics Q Science > QA Mathematics > QA75 Electronic computers. Computer science T Technology > TJ Mechanical engineering and machinery T Technology > TL Motor vehicles. Aeronautics. Astronautics |
| Research Area: | Computer Science and Applications |
| Depositing User: | Professor Alberto Bemporad |
| Date Deposited: | 27 Jul 2011 09:11 |
| Last Modified: | 17 Jul 2014 12:49 |
| URI: | http://eprints.imtlucca.it/id/eprint/582 |
Actions (login required)
 |
Edit Item |
