ROCS

swMATH28114MaRDI QIDQ39828FDOQ39828

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?doid=3178126.3178153

Described by source

• ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems

Cited In (17)

• Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
• Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay
• CoSyma
• PESSOA
• SCOTS
• TuLiP
• Solace
• LTLMoP
• DryVR
• BDD2Implement
• pFaces
• SENSE
• OMPL
• pFaces
• Control Toolbox
• ParNMPC
• Lazy abstraction-based controller synthesis

This page was built for software: ROCS