The following pages link to (Q4249565):
Displaying 9 items.
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
- Provably safe and robust learning-based model predictive control (Q490551) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- A note on the Hausdorff distance between norm balls and their linear maps (Q6052489) (← links)
