eprintid: 542
rev_number: 9
eprint_status: archive
userid: 7
dir: disk0/00/00/05/42
datestamp: 2011-07-08 11:23:17
lastmod: 2011-08-04 07:29:07
status_changed: 2011-07-27 08:44:05
type: book_section
metadata_visibility: show
contact_email: alberto.bemporad@imtlucca.it
item_issues_count: 0
creators_name: Di Cairano, Stefano
creators_name: Bemporad, Alberto
creators_id: 
creators_id: alberto.bemporad@imtlucca.it
title: An equivalence result between linear hybrid automata and piecewise affine systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Automata, Computer science, Control systems, Control theory, Mathematical model, Optimal control, Power system modeling, Predictive models, Stability analysis, USA Councils 
abstract: In this paper we examine a relationship existing among linear hybrid automata (LHA) and piecewise affine (PWA) systems. While a LHA is an autonomous non-deterministic model, a PWA system is a deterministic model with inputs. By extending continuous-time PWA models to include the dynamics of discrete states and resets, we show in a constructive way that a LHA can be equivalently represented as a PWA system, where equivalent means that the two systems generate the same trajectories. The key idea is to model the uncertainty associated with LHA transitions as an additional vector of input disturbances in the corresponding PWA model. By linking the LHA modelling framework (popular in computer science) with the PWA modelling framework (popular in systems science), our equivalence result allows one to expand the use of several existing control theoretical tools (for stability analysis, optimal control, etc.) developed for PWA models to a much wider class of hybrid systems
date: 2006
date_type: published
publication: Decision and Control
publisher: IEEE
place_of_pub: 13th-15th December 2006
pagerange: 2631-2636
event_title: 45th IEEE Conference on Decision and Control
event_location: 13th-15th December 2006
event_dates: San Diego, CA
id_number: 10.1109/CDC.2006.377408
refereed: TRUE
isbn: 1-4244-0171-2
book_title: Decision and Control
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4177779&isnumber=4176993
funders: This work was supported by the European Community through the HYCON Network of Excellence, contract number FP6-IST-511368.
citation:   Di Cairano, Stefano and Bemporad, Alberto  An equivalence result between linear hybrid automata and piecewise affine systems.   In:  Decision and Control.   IEEE, 13th-15th December 2006, pp. 2631-2636.  ISBN 1-4244-0171-2      (2006)