A simple hierarchy for computing controlled invariant sets
A simple hierarchy for computing controlled invariant sets
复制标题
用于计算受控不变集的简单层次结构
DOI：
10.1145/3365365.3382205
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Tabuada, Paulo
中科院分区：
文献类型：
--
作者：
Anevlavis, Tzanis;Tabuada, Paulo
在本文中，我们重新计算可控离散时间线性系统的控制不变集的问题，并提出了一种新的层次计算。关键的洞察力是提升的问题到一个更高的维度空间，最大的控制不变集可以计算准确，并在封闭形式的提升系统。通过将这个集合投影到原空间中，我们得到一个受控不变集，它是原系统的最大受控不变集的子集。基于这一认识，我们在本文中描述了一个层次的空间，原来的问题可以解除，以获得一个序列的增加控制不变集。从所提出的层次结构的结果的算法不依赖于迭代计算。我们说明了所提出的方法在各种情况下的表现，举例说明其吸引力。
In this paper we revisit the problem of computing controlled invariant sets for controllable discrete-time linear systems and present a novel hierarchy for their computation. The key insight is to lift the problem to a higher dimensional space where the maximal controlled invariant set can be computed exactly and in closed-form for the lifted system. By projecting this set into the original space we obtain a controlled invariant set that is a subset of the maximal controlled invariant set for the original system. Building upon this insight we describe in this paper a hierarchy of spaces where the original problem can be lifted into so as to obtain a sequence of increasing controlled invariant sets. The algorithm that results from the proposed hierarchy does not rely on iterative computations. We illustrate the performance of the proposed method on a variety of scenarios exemplifying its appeal.
登录
查看更多内容
成分控制综合的相互依赖性量化及其在车辆安全系统中的应用
DOI：
10.1109/cdc.2016.7799145
发表时间：
2016
期刊：
2016 IEEE 55th Conference on Decision and Control (CDC)
影响因子：
--
作者：
Stanley W. Smith;Petter Nilsson;N. Ozay
通讯作者：
N. Ozay
具有集合约束扰动的线性动态系统的控制
DOI：
--
发表时间：
1971
期刊：
影响因子：
--
作者：
J. Glover;F. Schweppe
通讯作者：
F. Schweppe
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
F. Blanchini;F. Mesquine;S. Miani
通讯作者：
S. Miani
DOI：
10.1109/cdc40024.2019.9029610
发表时间：
2019
期刊：
2019 IEEE 58th Conference on Decision and Control (CDC
影响因子：
--
作者：
Anevlavis, Tzanis;Tabuada, Paulo
通讯作者：
Tabuada, Paulo
时间属性的层次结构
DOI：
10.1145/41840.41857
发表时间：
1987
期刊：
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
影响因子：
--
作者：
Z. Manna;A. Pnueli
通讯作者：
A. Pnueli