Reachability Analysis of Nonlinear Differential-Algebraic Systems
From MaRDI portal
Recommendations
- Reachability analysis for high-index linear differential algebraic equations
- Observability of nonlinear differential algebraic systems
- Reachability of Nonlinear Systems With Unknown Dynamics
- Reachability analysis using dissipation inequalities for uncertain nonlinear systems
- Reachability Analysis for Solvable Dynamical Systems
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- Stability analysis and control of a class of differential-algebraic nonlinear systems
- The stability of nonlinear differential-algebraic systems
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- scientific article; zbMATH DE number 4200085
Cited in
(21)- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- A dynamic quantized state system execution framework for hybrid automata
- Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
- Verification of Hybrid Systems
- On Reachability Analysis of Nonlinear Systems with Joint Integral Constraints
- scientific article; zbMATH DE number 1956619 (Why is no real title available?)
- Sensitivity analysis of uncertain dynamic systems using set-valued integration
- Solving non-linear constraint satisfaction problems involving time-dependent functions
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
- scientific article; zbMATH DE number 3234735 (Why is no real title available?)
- A zonotopic framework for functional abstractions
- Probabilistic performance validation of deep learning‐based robust NMPC controllers
- Symbolic control for stochastic systems via finite parity games
- New conditions on finite-time stability of linear discrete-time system
- A tree structure approach to reachability analysis
- A kinematic smoothing method for tightening convex relaxations of ordinary differential equations
- Reachability of time-varying fractional dynamical systems with Riemann-Liouville fractional derivative
This page was built for publication: Reachability Analysis of Nonlinear Differential-Algebraic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2983261)
