Logo eprints

Discrete-time hybrid modeling and verification

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: 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 Edit Item