arrow
Return

Controlled Invariant Sets: Implicit Closed-Form Representations and Applications

delete2024-07-01
delete3
delete
OA
AI
T
Tzanis Anevlavis *
Z
Zexiang Liu
N
Necmiye Özay
P
Paulo Tabuada
DOI:10.1109/TAC.2023.3336819delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
In this article, we revisit the problem of computing (robust) controlled invariant sets for discrete-time linear systems. Departing from previous approaches, we consider implicit, rather than explicit, representations for controlled invariant sets. Moreover, by considering such representations in the space of states and finite input sequences we obtain closed-form expressions for controlled invariant sets. An immediate advantage is the ability to handle high-dimensional systems since the closed-form expression is computed in a single step rather than iteratively. To validate the proposed method, we present thorough case studies illustrating that in safety-critical scenarios the implicit representation suffices in place of the explicit invariant set. The proposed method is complete in the absence of disturbances, and we provide a weak completeness result when disturbances are present.
Keywords:
Linear systems
Economic indicators
Safety
Closed-form solutions
Aerospace electronics
Trajectory
State feedback
Constrained control
controlled invariant sets
linear systems
optimization
robust control

Journal

IEEE Transactions on Automatic Control cover
IEEE Transactions on Automatic Control
IF:
7
Papers:
1.3W
Citations:
6.7W

Organization

U
university of california los angeles
Scholars:
5.3W
Papers: 4.2W
Citations: 89
University of California System cover
University of California System
Scholars:
37.5W
Papers: 33.7W
Citations: 6.6K