stochastic reachability control systems reachability computation reach set approximation chance constraint control ellipsoidal calculus conservative linearization nonlinear uncertain dynamics hybrid automaton jump markov nonlinear system particel filter
Ver más