Buchumschlag

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Yushen, Luo, Ertai, Bak, Stanley, Sun, Yifan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems
von: Xie, Peng, et al.
Veröffentlicht: (2025)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2019)

Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
von: Robbins, Joshua A., et al.
Veröffentlicht: (2025)

Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition
von: Siefert, Jacob A., et al.
Veröffentlicht: (2023)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
von: Alanwar, Amr, et al.
Veröffentlicht: (2023)

Online Data-Driven Reachability Analysis using Zonotopic Recursive Least Squares
von: Akhormeh, Alireza Naderi, et al.
Veröffentlicht: (2025)

Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes
von: Rego, Brenner S., et al.
Veröffentlicht: (2025)

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
von: Zhang, Hang, et al.
Veröffentlicht: (2023)

Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
von: Zhang, Yuhao, et al.
Veröffentlicht: (2025)

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
von: Ren, Dejin, et al.
Veröffentlicht: (2024)

Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
von: Wetzlinger, Mark, et al.
Veröffentlicht: (2022)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
von: Zhang, Yuhao, et al.
Veröffentlicht: (2026)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
von: Thompson, Andrew F., et al.
Veröffentlicht: (2026)

Inclusion conditions for the Constrained Polynomial Zonotopic case
von: Gheorghe, Bogdan, et al.
Veröffentlicht: (2026)

Finding Unknown Unknowns using Cyber-Physical System Simulators (Extended Report)
von: Wehbe, Semaan Douglas, et al.
Veröffentlicht: (2025)

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems
von: Sheikhi, Sanaz, et al.
Veröffentlicht: (2023)

Reachability and Controllability Analysis of the State Covariance for Linear Stochastic Systems
von: Liu, Fengjiao, et al.
Veröffentlicht: (2024)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2025)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
von: Cai, Feiyang, et al.
Veröffentlicht: (2024)

Parameter Estimation-Based States Reconstruction of Uncertain Linear Systems with Overparameterization and Unknown Additive Perturbations
von: Glushchenko, Anton, et al.
Veröffentlicht: (2023)

Parameter Estimation-Based Extended Observer for Linear Systems with Polynomial Overparameterization
von: Glushchenko, Anton, et al.
Veröffentlicht: (2023)

Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems
von: Akbarzadeh, Omid, et al.
Veröffentlicht: (2024)

On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
von: Li, Yuda, et al.
Veröffentlicht: (2026)

Data-Driven Robust Covariance Control for Uncertain Linear Systems
von: Pilipovsky, Joshua, et al.
Veröffentlicht: (2023)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
von: Das, Hrishav, et al.
Veröffentlicht: (2026)

Probabilistic Reachability Analysis of Stochastic Control Systems
von: Jafarpour, Saber, et al.
Veröffentlicht: (2024)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
von: Ren, Wei, et al.
Veröffentlicht: (2024)

Verification of Neural Network Control Systems in Continuous Time
von: ArjomandBigdeli, Ali, et al.
Veröffentlicht: (2024)

Soft Switching Expert Policies for Controlling Systems with Uncertain Parameters
von: Ikemoto, Junya
Veröffentlicht: (2025)

Second Moment Polytopic Systems: Generalization of Uncertain Stochastic Linear Dynamics
von: Ito, Yuji, et al.
Veröffentlicht: (2022)

Robust Output Regulation of Uncertain Linear Time-Varying Systems
von: Zha, Jinmeng, et al.
Veröffentlicht: (2026)

On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
von: Li, Yuda, et al.
Veröffentlicht: (2026)

Reachability Analysis for Black-Box Dynamical Systems
von: Chilakamarri, Vamsi Krishna, et al.
Veröffentlicht: (2024)

Parameter Tuning Under Uncertain Road Perception in Driver Assistance Systems
von: Greiser, Leon, et al.
Veröffentlicht: (2025)

Hybrid System Planning using a Mixed-Integer ADMM Heuristic and Hybrid Zonotopes
von: Robbins, Joshua A., et al.
Veröffentlicht: (2026)

Robust MPC for Uncertain Linear Systems -- Combining Model Adaptation and Iterative Learning
von: Petrenz, Hannes, et al.
Veröffentlicht: (2025)

Robust Control Design and Analysis Based on Lifting Linearization of Nonlinear Systems Under Uncertain Initial Conditions
von: Sinha, Sourav, et al.
Veröffentlicht: (2025)