eprintid: 463
rev_number: 9
eprint_status: archive
userid: 7
dir: disk0/00/00/04/63
datestamp: 2011-07-27 08:53:46
lastmod: 2011-08-04 07:29:08
status_changed: 2011-07-27 08:53:46
type: article
metadata_visibility: show
contact_email: alberto.bemporad@imtlucca.it
item_issues_count: 0
creators_name: Bemporad, Alberto
creators_id: alberto.bemporad@imtlucca.it
title: Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form
ispublished: pub
subjects: QA
subjects: QA75
divisions: CSA
full_text_status: none
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
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.

date: 2004
date_type: published
publication: IEEE Transactions on Automatic Control 
volume: 49
number: 5
publisher: IEEE
pagerange: 832-838
id_number: 10.1109/TAC.2004.828315
refereed: TRUE
issn: 0018-9286
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1299020&isnumber=28859
citation:   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)