Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis

DOI10.1145/3501710.3519524OpenAlexW4225415624MaRDI QIDQ6120688

Publication date: 21 February 2024

Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3501710.3519524

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

The design of the Boost interval arithmetic library
A comparison of zonotope order reduction techniques
Reachability analysis of nonlinear systems using hybridization and dynamics scaling
Simulation-equivalent reachability of large linear systems with inputs
Barrier certificates for nonlinear model validation
Template-Based Unbounded Time Verification of Affine Hybrid Automata
Reachability Analysis of Nonlinear Systems Using Matrix Measures
Accurate hybridization of nonlinear systems
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
Counterexample-Guided Refinement of Template Polyhedra
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
Generating Box Invariants
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
Some NP-complete problems in quadratic and nonlinear programming
Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
Hybrid Systems: Computation and Control
Hybrid Systems: Computation and Control
Hybrid Systems: Computation and Control
Constrained polynomial zonotopes

This page was built for publication: Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis