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)

## 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 |