eprintid: 461
rev_number: 11
eprint_status: archive
userid: 7
dir: disk0/00/00/04/61
datestamp: 2011-07-27 08:53:26
lastmod: 2011-08-05 13:58:02
status_changed: 2011-07-27 08:53:26
type: article
metadata_visibility: show
contact_email: alberto.bemporad@imtlucca.it
item_issues_count: 0
creators_name: Torrisi, Fabio Danilo
creators_name: Bemporad, Alberto
creators_id: 
creators_id: alberto.bemporad@imtlucca.it
title: HYSDEL - A tool for generating computational hybrid models
ispublished: pub
subjects: QA75
subjects: QA76
divisions: CSA
full_text_status: none
keywords: HYSDEL; analysis problems; automotive example; computational hybrid models; cruise control design; discrete hybrid automata; discrete-time; finite state machine; high-level modeling language; hybrid systems description language; linear complementarity systems; min-max-plus-scaling systems; mixed logical dynamical systems; mode selector; optimal control; piecewise affine systems; reachability analysis; software tools; switched linear dynamic system; synthesis problems; control system CAD; control system analysis computing; discrete time systems; finite state machines; high level languages; optimal control; piecewise linear techniques; reachability analysis; software tools
abstract: This paper presents a computational framework for modeling hybrid systems in discrete-time. We introduce the class of discrete hybrid automata (DHA) and show its relation with several other existing model paradigms: piecewise affine systems, mixed logical dynamical systems, (extended) linear complementarity systems, min-max-plus-scaling systems. We present HYSDEL (hybrid systems description language), a high-level modeling language for DHA, and a set of tools for translating DHA into any of the former hybrid models. Such a multimodeling capability of HYSDEL is particularly appealing for exploiting a large number of available analysis and synthesis techniques, each one developed for a particular class of hybrid models. An automotive example shows the modeling capabilities of HYSDEL and how the different models allow to use several computational tools.
date: 2004-03
date_type: published
publication: IEEE Transactions on Control Systems Technology
volume: 12
number: 2
publisher: IEEE
pagerange: 235-249
id_number: 10.1109/TCST.2004.824309
refereed: TRUE
issn: 1063-6536
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1281781&isnumber=28628
citation:   Torrisi, Fabio Danilo and Bemporad, Alberto  HYSDEL - A tool for generating computational hybrid models.  IEEE Transactions on Control Systems Technology, 12 (2).  pp. 235-249.  ISSN 1063-6536      (2004)