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 条
  • [21] Stability Analysis for Uncertain Linear Systems with Random Parameters
    Li, Xiaoyang
    Lin, Hai
    Lian, Jie
    Chen, Ben M.
    2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 4041 - 4046
  • [22] Reachability analysis for uncertain systems - the ellipsoidal technique
    Kurzhanski, AB
    Varaiya, P
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2002, 9 (03): : 347 - 367
  • [23] Accurate reachability analysis of uncertain nonlinear systems
    Rungger, Matthias
    Zamani, Majid
    HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK), 2018, : 61 - 70
  • [24] Robust stabilisation of polynomial systems with uncertain parameters
    Pozo, Francesc
    Rodellar, Jose
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2010, 41 (05) : 575 - 584
  • [25] Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems✩
    Bird, Trevor J.
    Pangborn, Herschel C.
    Jain, Neera
    Koeln, Justin P.
    AUTOMATICA, 2023, 154
  • [26] Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
    Dutta, Souradeep
    Chen, Xin
    Sankaranarayanan, Sriram
    PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19), 2019, : 157 - 168
  • [27] Reachability of uncertain nonlinear systems using a nonlinear hybridization
    Ramdani, Nacim
    Meslem, Nacim
    Candau, Yves
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 415 - +
  • [28] State Constrained Controller Design for Uncertain Linear Systems using Polynomial Chaos
    Nandi, Souransu
    Migeon, Victor
    Singh, Tarunraj
    Singla, Puneet
    2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 2005 - 2010
  • [29] Model reduction of linear structured uncertain systems using Chebyshev polynomial techniques
    Ismail, O
    Eurocon 2005: The International Conference on Computer as a Tool, Vol 1 and 2 , Proceedings, 2005, : 1208 - 1211
  • [30] Continuation Techniques for Reachability Analysis of Uncertain Power Systems
    Markov, Maxim
    Saghafi, Mehdi
    Hiskens, Ian A.
    Dankowicz, Harry
    2014 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2014, : 1816 - 1819
12345