Logo eprints

Equivalent piecewise affine models of linear hybrid automata

Di Cairano, Stefano and Bemporad, Alberto Equivalent piecewise affine models of linear hybrid automata. IEEE Transactions on Automatic Control , 55 (2). pp. 498-502. ISSN 0018-9286 (2010)

Full text not available from this repository.


In this technical note we examine the relationship between linear hybrid automata (LHA) and piecewise affine (PWA) systems. While a LHA is an autonomous non-deterministic model, a PWA is a deterministic model with inputs. Through the key idea of modeling the uncertainty associated with LHA transitions as input disturbances in a PWA model, 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. Besides filling in a missing theoretical link between the LHA modelling framework and the PWA modelling framework, the result has the practical advantage of enabling the use of several existing control theoretical tools developed for PWA models to a wider class of hybrid systems.

Item Type: Article
Identification Number: 10.1109/TAC.2009.2037463
Uncontrolled Keywords: continuous-time PWA model; deterministic model; linear hybrid automata; piecewise affine system; uncertainty modeling; automata theory; continuous time systems
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Professor Alberto Bemporad
Date Deposited: 08 Jul 2011 12:40
Last Modified: 02 Mar 2012 15:23
URI: http://eprints.imtlucca.it/id/eprint/438

Actions (login required)

Edit Item Edit Item