relation: http://eprints.imtlucca.it/582/
title: Discrete-time hybrid modeling and verification
creator: Torrisi, Fabio Danilo
creator: Bemporad, Alberto
subject: QA Mathematics
subject: QA75 Electronic computers. Computer science
subject: TJ Mechanical engineering and machinery
subject: TL Motor vehicles. Aeronautics. Astronautics
description: 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
publisher: IEEE
date: 2001
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=980716&isnumber=21122
relation: 10.1109/.2001.980716