Logo eprints

Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form

Bemporad, Alberto Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form. IEEE Transactions on Automatic Control , 49 (5). pp. 832-838. ISSN 0018-9286 (2004)

Full text not available from this repository.

Abstract

For hybrid systems described by switched linear difference equations, linear threshold conditions, automata, and propositional logic conditions, described in mixed logical dynamical form, this note describes two algorithms for transforming such systems into an equivalent piecewise affine form, where equivalent means that for the same initial conditions and input sequences the trajectories of the system are identical. The proposed techniques exploit ideas from mixed-integer programming and multiparametric programming.

Item Type: Article
Identification Number: 10.1109/TAC.2004.828315
Uncontrolled Keywords: automata; hybrid systems; linear threshold conditions; mixed logical dynamical systems; mixed-integer programming; multiparametric programming; piecewise affine system; propositional logic conditions; switched linear difference equations; system trajectory; difference equations; integer programming; time-varying systems
Subjects: Q Science > QA Mathematics
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Professor Alberto Bemporad
Date Deposited: 27 Jul 2011 08:53
Last Modified: 04 Aug 2011 07:29
URI: http://eprints.imtlucca.it/id/eprint/463

Actions (login required)

Edit Item Edit Item