DynIbex
From MaRDI portal
Software:44713
swMATH33002MaRDI QIDQ44713FDOQ44713
Author name not available (Why is that?)
Cited In (5)
- Compositional synthesis of state-dependent switching control
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Lie symmetries applied to interval integration
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Actions of the hyperoctahedral group to compute minimal contractors
This page was built for software: DynIbex
