ROCS

swMATH28114MaRDI QIDQ39828FDOQ39828

Author name not available (Why is that?)

Described by source

• ROCS

Cited In (4)

• Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
• Lazy Abstraction-Based Controller Synthesis
• Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay
• pFaces

This page was built for software: ROCS