arrow
返回

Linear Polytopic Positive Invariance

delete2026-02-02
delete0
PRE
AI
S
Saša V. Raković
S
Sixing Zhang
DOI:10.1109/tac.2026.3660173delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
This article revisits verification of positive invariance for polytopic sets with respect to linear dynamics. The existing necessary and sufficient conditions are applicable only to fixed candidate polytopic sets. This article derives alternative necessary and sufficient conditions for two main representations of polytopic sets. These novel necessary and sufficient conditions are derived by utilizing the Minkowski function in primal setting and the support function in dual setting. Developed results enable direct positive invariance verification of fixed candidate polytopic sets, as well as enhanced positive invariance verification allowing for a structurally constrained redesign of candidate polytopic sets. The established necessary and sufficient conditions admit algebraic reformulations as feasibility checks of numerically appealing systems of affine inequalities and equalities indicating strongly their high numerical potential.
Keyword:
Duality
Minkowski function
positive invariance
support function

期刊

IEEE Transactions on Automatic Control 封面图
IEEE Transactions on Automatic Control
IF:
7
论文数:
1.3W
被引数:
6.7W

机构

B
beijing information science and technology university
学者数:
473
论文数: 196
被引数: 0
引用论文

引用论文

err分享
err收藏
Controlled Invariant Sets: Implicit Closed-Form Representations and Applications
err2024-07-01
err3
errOAAI
errAnevlavis, Tzanis; Liu, Zexiang; Ozay, Necmiye; Tabuada, Paulo
err分享
err收藏
err分享
err收藏
Variational Analysis变分分析
err1998-01-01
err0
PREAI
errR. Tyrrell Rockafellar; Roger J. B. Wets
err分享
err收藏
err分享
err收藏
学者 查看更多内容