Reachability analysis of nonlinear systems using hybridization and dynamics scaling
From MaRDI portal
Publication:1996035
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
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
