The following pages link to (Q4552468):
Displaying 11 items.
- A survey of numerical methods for IVPs of ODEs with discontinuous right-hand side (Q433943) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Dynamical properties of hybrid systems simulators (Q983922) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- A dynamic quantized state system execution framework for hybrid automata (Q2178226) (← links)
- An integrated Runge-Kutta root finding method for reliable collision detection in multibody systems (Q2433207) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (Q3624570) (← links)
- Time-transformations for the event location in discontinuous ODEs (Q4640324) (← links)
