Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form
Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form
复制标题
DOI：
10.1109/tac.2004.828315
复制
发表时间：
2004-05
影响因子：
6.8
通讯作者：
A. Bemporad
中科院分区：
文献类型：
--
作者：
A. Bemporad
对于由切换线性差分方程、线性阈值条件、自动机和命题逻辑条件描述的混合系统，以混合逻辑动力学形式描述，本文描述了两种将此类系统转换为等价分段仿射形式的算法，其中等价意味着对于相同的初始条件和输入序列，系统的轨迹是相同的。所提出的技术利用混合整数规划和多参数规划的思想。
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.