Reachability analysis of nonlinear systems using hybridization and dynamics scaling

DOI10.1007/978-3-030-57628-8_16OpenAlexW3080908617MaRDI QIDQ1996035

Sergiy Bogomolov, Stanley Bak, Dong-Xu Li

Publication date: 2 March 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57628-8_16

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (7)

Robustness analysis of continuous-depth models with Lagrangian techniques ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Reachability of weakly nonlinear systems using Carleman linearization ⋮ Reachability analysis of nonlinear systems using hybridization and dynamics scaling ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ Reachability analysis of a general class of neural ordinary differential equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Convex analysis and nonlinear optimization. Theory and examples.
• Hybridization methods for the analysis of nonlinear systems
• Reachability analysis of linear systems using support functions
• Lebesgue piecewise affine approximation of nonlinear systems
• Bifurcation of periodic motions in two weakly coupled van der Pol oscillators
• Time-triggered conversion of guards for reachability analysis of hybrid automata
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling
• Accurate hybridization of nonlinear systems
• Reachable set computation for uncertain time-varying linear systems
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• Reachability Analysis of Hybrid Systems Using Support Functions
• Algorithmic analysis of nonlinear hybrid systems
• Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
• Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems
• Numerical verification of affine systems with up to a billion dimensions
• JuliaReach
• Hybrid Systems: Computation and Control

This page was built for publication: Reachability analysis of nonlinear systems using hybridization and dynamics scaling