Pages that link to "Item:Q547885"
From MaRDI portal
The following pages link to Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885):
Displaying 10 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023) (← links)
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem (Q828887) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions (Q2422853) (← links)
- Monitoring bounded LTL properties using interval analysis (Q2520682) (← links)
- Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides (Q2803605) (← links)
- A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)
