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 条
  • [31] Comparison of Reachability Methods for Uncertain Linear Time-Invariant Systems
    Ben Makhlouf, Ibtissem
    Haensch, Paul
    Kowalewski, Stefan
    2013 EUROPEAN CONTROL CONFERENCE (ECC), 2013, : 1101 - 1106
  • [32] Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection
    Kousik, Shreyas
    Dai, Adam
    Gao, Grace Xingxin
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (06) : 3440 - 3452
  • [33] Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
    Wu, Di
    Koutsoukos, Xenofon
    ARTIFICIAL INTELLIGENCE, 2008, 172 (8-9) : 945 - 954
  • [34] Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
    Yang, Liren
    Zhang, Hang
    Jeannin, Jean-Baptiste
    Ozay, Necmiye
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (11) : 3969 - 3980
  • [35] Reachability analysis of constrained switched linear systems
    Sun, Zhendong
    AUTOMATICA, 2007, 43 (01) : 164 - 167
  • [36] Reachability analysis of rational eigenvalue linear systems
    Xu, Ming
    Chen, Liangyu
    Zeng, Zhenbing
    Li, Zhi-bin
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2010, 41 (12) : 1411 - 1419
  • [37] A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
    Maiga, Moussa
    Ramdani, Nacim
    Trave-Massuyes, Louise
    Combastel, Christophe
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (09) : 2341 - 2356
  • [38] Reachability Analysis of Shipboard Power Systems with Uncertain Pulsed Loads
    Pico, Hugo N. Villegas
    Aliprantis, Dionysios C.
    Sudhoff, Scott D.
    2015 IEEE ELECTRIC SHIP TECHNOLOGIES SYMPOSIUM (ESTS), 2015, : 395 - 402
  • [39] REACHABILITY OF LINEAR SYSTEMS
    FUHRMANN, PA
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (02): : 416 - &
  • [40] Reachability computation for polynomial dynamical systems
    Dreossi, Tommaso
    Dang, Thao
    Piazza, Carla
    FORMAL METHODS IN SYSTEM DESIGN, 2017, 50 (01) : 1 - 38
12345