Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
From MaRDI portal
Recommendations
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Computing reachable sets for uncertain nonlinear monotone systems
- Efficient representation and computation of reachable sets for hybrid systems
- Validating a Hamilton-Jacobi approximation to hybrid system reachable sets
Cites work
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Accurate event detection for simulating hybrid systems
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- Applied interval analysis. With examples in parameter and state estimation, robust control and robotics. Incl. 1 CD-ROM
- Approximate reachability analysis of piecewise-linear dynamical systems
- Beyond HyTech: Hybrid systems analysis using interval numerical methods
- Complete search in continuous global optimization and constraint satisfaction
- Computation and application of Taylor polynomials with interval remainder bounds
- Computational techniques for hybrid system verification
- Constraint propagation with interval labels
- Efficient representation and computation of reachable sets for hybrid systems
- Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
- Formal Modeling and Analysis of Timed Systems
- Handbook of constraint programming.
- scientific article; zbMATH DE number 2035082 (Why is no real title available?)
- scientific article; zbMATH DE number 903761 (Why is no real title available?)
- scientific article; zbMATH DE number 1440918 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- Hybrid abstractions of affine systems
- Hybrid Systems: Computation and Control
- Hybridization methods for the analysis of nonlinear systems
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Reachability of uncertain linear systems using zonotopes
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Series of abstractions for hybrid automata
- State event location in differential-algebraic models
- The algorithmic analysis of hybrid systems
- Validated solutions of initial value problems for ordinary differential equations
- Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations.
Cited in
(19)- Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
- Monitoring bounded LTL properties using interval analysis
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides
- A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- On the Reachability Problem for Uncertain Hybrid Systems
- A verified method for solving piecewise smooth initial value problems
- Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
- Hybrid Systems: Computation and Control
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
- Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Computing reachable sets for uncertain nonlinear monotone systems
This page was built for publication: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q547885)
