Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes

DOI10.1016/J.NAHS.2024.101571MaRDI QIDQ7015106zbMATH OpenFDO

Authors Yusheng Huang, Stanley Bak, Yi-Fan Sun

Publication date 10 March 2025

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.NAHS.2024.101571

zbMATH Keywords

formal verificationlinear systems with uncertain parameterspolynomial zonotopesreachability analysis

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Linear systems in control theory (93C05)

Cites work

• Affine arithmetic: concepts and applications
• Avoiding geometric intersection operations in reachability analysis of hybrid systems
• Computational techniques for hybrid system verification
• Conservative time discretization: a comparative study
• Control and estimation in linear time-varying systems based on ellipsoidal reachability sets
• Flowpipe approximation and clustering in space-time
• scientific article; zbMATH DE number 1444352 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Interactive decision maps. Approximation and visualization of Pareto frontier
• Numerical verification of affine systems with up to a billion dimensions
• On the complexity of binary polynomial optimization over acyclic hypergraphs
• Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions
• Overapproximating Reachable Tubes of Linear Time-Varying Systems
• Parsimonious, Simulation Based Verification of Linear Systems
• Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
• Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
• Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
• Reachability analysis of linear systems using support functions
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
• Reachable set computation for uncertain time-varying linear systems
• Simulation-equivalent reachability of large linear systems with inputs
• Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
• Utilizing dependencies to obtain subsets of reachable sets
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis

Cited in

(1)

• Sparse intersection checking for sparse polynomial zonotopes

This page was built for publication: Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7015106)