The following pages link to DynIbex (Q44713):
Displaying 6 items.
- (Q48707) (redirect page) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Compositional synthesis of state-dependent switching control (Q1623281) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Actions of the hyperoctahedral group to compute minimal contractors (Q2093397) (← links)
- Lie symmetries applied to interval integration (Q2166013) (← links)
