Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes

被引：0

作者：

Huang, Yushen ^{[1
]}

Luo, Ertai ^{[1
]}

Bak, Stanley ^{[1
]}

Sun, Yifan ^{[1
]}

机构：

[1] Stony Brook University, Stony Brook,NY, United States

来源：

arXiv |

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Formal verification - Hybrid systems - Invariance - Linear time-invariant system - Optimization - Polynomials - Time varying control systems - Uncertainty analysis

引用

共 50 条

[41] On stabilization of uncertain linear systems with jump parameters
Boukas, EK
Shi, P
Benjelloun, K
INTERNATIONAL JOURNAL OF CONTROL, 1999, 72 (09) : 842 - 850
[42] On the robustness of linear systems with nonlinear uncertain parameters
Xu, SJ
Darouach, M
AUTOMATICA, 1998, 34 (08) : 1005 - 1008
[43] STABILITY OF LINEAR-SYSTEMS WITH UNCERTAIN PARAMETERS
HARRISON, GW
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1978, 9 (09) : 1043 - 1053
[44] Reachability analysis for uncertain SSPs
Buffet, O
ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, : 515 - 522
[45] Reachability analysis for uncertain SSPs
Buffet, Olivier
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2007, 16 (04) : 725 - 749
[46] On the reachability problem for uncertain hybrid systems
Gao, Yan
Lygeros, John
Quincampoix, Marc
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (09) : 1572 - 1586
[47] Mixed Robustness: Analysis of Systems with Uncertain Deterministic and Random Parameters by the Example of Linear Systems
A. A. Tremba
Automation and Remote Control, 2021, 82 : 410 - 432
[48] Controller Design for Polynomial Nonlinear Systems with Affine Uncertain Parameters
TONG ChangFei ZHANG Hui SUN YouXian State Key Laboratory of Industrial Control TechnologyInstitute of Industrial Process ControlZhejiang UniversityHangzhou PRChina
自动化学报, 2007, (12) : 1321 - 1325
[49] Mixed Robustness: Analysis of Systems with Uncertain Deterministic and Random Parameters by the Example of Linear Systems
Tremba, A. A.
AUTOMATION AND REMOTE CONTROL, 2021, 82 (03) : 410 - 432
[50] Approximate reachability computation for polynomial systems
Dang, T
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 138 - 152

← 1 2 3 4 5 →