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 17 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)
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (Q739977) (← links)
- Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem (Q828887) (← links)
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← 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 Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems (Q2980383) (← links)
- On the Reachability Problem for Uncertain Hybrid Systems (Q5282223) (← links)
- A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)
- Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints (Q5494889) (← links)
- Hybrid Systems: Computation and Control (Q5898982) (← links)
