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 |
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Formal verification - Hybrid systems - Invariance - Linear time-invariant system - Optimization - Polynomials - Time varying control systems - Uncertainty analysis
引用
收藏
相关论文
共 50 条
  • [1] Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes
    Huang, Yushen
    Luo, Ertai
    Bak, Stanley
    Sun, Yifan
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2025, 56
  • [2] Reachability of uncertain linear systems using zonotopes
    Girard, A
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 291 - 305
  • [3] Reachability Analysis Using Constrained Polynomial Logical Zonotopes
    Hafez, Ahmad
    Jiang, Frank J.
    Johansson, Karl H.
    Alanwar, Amr
    IEEE CONTROL SYSTEMS LETTERS, 2024, 8 : 2277 - 2282
  • [4] Reachability analysis of linear systems with uncertain parameters and inputs
    Althoff, Matthias
    Stursberg, Olaf
    Buss, Martin
    PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 478 - 484
  • [5] Combining Zonotopes and Support Functions for Efficient Reachability Analysis of Linear Systems
    Althoff, Matthias
    Frehse, Goran
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 7439 - 7446
  • [6] Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
    Kochdumper, Niklas
    Althoff, Matthias
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (09) : 4043 - 4058
  • [7] Reachability Analysis of Nonlinear Systems with Uncertain Parameters using Conservative Linearization
    Althoff, Matthias
    Stursberg, Olaf
    Buss, Martin
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 4042 - 4048
  • [8] Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes
    Zhang, Yuhao
    Zhang, Hang
    Xu, Xiangru
    IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 2779 - 2784
  • [9] Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes
    Kochdumper, Niklas
    Krasowski, Hanna
    Wang, Xiao
    Bak, Stanley
    Althoff, Matthias
    IEEE OPEN JOURNAL OF CONTROL SYSTEMS, 2023, 2 : 79 - 92
  • [10] Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
    Althoff, Matthias
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020, 65 (02) : 477 - 492
12345