scientific article; zbMATH DE number 1956619
From MaRDI portal
Publication:4417974
Recommendations
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- On reachability analysis for nonlinear control systems with state constraints
- Accurate reachability analysis of uncertain nonlinear systems
- Hybrid Systems: Computation and Control
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- Forward inner-approximated reachability of non-linear continuous systems
- Reachability of Nonlinear Systems With Unknown Dynamics
- Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis
Cited in
(33)- Computing differential invariants of hybrid systems as fixed points
- Differential dynamic logic for hybrid systems
- Lebesgue piecewise affine approximation of nonlinear systems
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Conservative time discretization: a comparative study
- Lie symmetries applied to interval integration
- Domain-of-attraction estimation for uncertain non-polynomial systems
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
- Hybrid abstractions of affine systems
- Reachability analysis of non-linear planar autonomous systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Accurate hybridization of nonlinear systems
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- On Reachability Analysis of Nonlinear Systems with Joint Integral Constraints
- Bracketing backward reach sets of a dynamical system
- Approximating Continuous Systems by Timed Automata
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Trajectory Based Verification Using Local Finite-Time Invariance
- Reachability Analysis of Hybrid Systems Using Support Functions
- Accurate reachability analysis of uncertain nonlinear systems
- Provably safe and robust learning-based model predictive control
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- Forward inner-approximated reachability of non-linear continuous systems
- Hybrid Systems: Computation and Control
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
- Formal lumping of polynomial differential equations through approximate equivalences
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- An algorithm for the formal reduction of differential equations as over-approximations
- Control of positive systems with an unknown state-dependent power law input delay and input saturation
- Robust identification of hybrid automata from noisy data
- Integral algebra for simulating dynamical systems with interval uncertainties
- Hybridization methods for the analysis of nonlinear systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417974)
