TY  - JOUR
SP  - 832
Y1  - 2004///
N2  - 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.

PB  - IEEE
VL  - 49
IS  - 5
AV  - none
TI  - Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form
UR  - http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1299020&isnumber=28859
ID  - eprints463
JF  - IEEE Transactions on Automatic Control 
EP  - 838
SN  - 0018-9286
A1  - Bemporad, Alberto
KW  - 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
ER  -