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)
Full text not available from this repository.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.
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/10.1109/TCST.2004.824309 |
| Uncontrolled 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 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
| Research Area: | Computer Science and Applications |
| Depositing User: | Professor Alberto Bemporad |
| Date Deposited: | 27 Jul 2011 08:53 |
| Last Modified: | 05 Aug 2011 13:58 |
| URI: | http://eprints.imtlucca.it/id/eprint/461 |
Actions (login required)
 |
Edit Item |
