eprintid: 582
rev_number: 12
eprint_status: archive
userid: 7
dir: disk0/00/00/05/82
datestamp: 2011-07-27 09:11:08
lastmod: 2014-07-17 12:49:10
status_changed: 2011-07-27 09:11:08
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Torrisi, Fabio Danilo
creators_name: Bemporad, Alberto
creators_id: 
creators_id: alberto.bemporad@imtlucca.it
title: Discrete-time hybrid modeling and verification
ispublished: pub
subjects: QA
subjects: QA75
subjects: TJ
subjects: TL
divisions: CSA
full_text_status: none
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
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
date: 2001
date_type: published
publication: Proc. 40th IEEE Conf. on Decision and Control
volume: 3
publisher: IEEE
place_of_pub: Orlando, Florida USA, December 2001
pagerange: 2899-2904
event_dates: Orlando, Florida
id_number: 10.1109/.2001.980716
refereed: TRUE
isbn: 0-7803-7061-9 
book_title: Decision and Control Conference
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=980716&isnumber=21122
citation:   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)