ROCS
From MaRDI portal
Software:39828
No author found.
Related Items (4)
Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ pFaces ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay
This page was built for software: ROCS
