The following pages link to (Q4953388):
Displaying 5 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
