Reachability analysis of nonlinear systems using hybridization and dynamics scaling

DOI10.1007/978-3-030-57628-8_16MaRDI QIDQ1996035zbMATH OpenOpenAlexFDO

Authors Stanley Bak, Sergiy Bogomolov, Dongxu 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)

Cites work

• Accurate hybridization of nonlinear systems
• Algorithmic analysis of nonlinear hybrid systems
• Bifurcation of periodic motions in two weakly coupled van der Pol oscillators
• Convex analysis and nonlinear optimization. Theory and examples.
• scientific article; zbMATH DE number 3122984 (Why is no real title available?)
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• scientific article; zbMATH DE number 5263038 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybridization methods for the analysis of nonlinear systems
• JuliaReach
• Lebesgue piecewise affine approximation of nonlinear systems
• Numerical verification of affine systems with up to a billion dimensions
• Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
• Reachability Analysis of Hybrid Systems Using Support Functions
• Reachability analysis of linear systems using support functions
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling
• Reachable set computation for uncertain time-varying linear systems
• Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems
• Time-triggered conversion of guards for reachability analysis of hybrid automata

Cited in

(12)

• 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
• Reachability of weakly nonlinear systems using Carleman linearization
• A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
• Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
• 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

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

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