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 5 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)