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

DOI10.1145/3501710.3519524MaRDI QIDQ6120688zbMATH OpenOpenAlexWikidataFDO

Authors Arvind Adimoolam, Indranil Saha

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

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

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

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