ROCS

MaRDI QIDQ39828swMATHFDO

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)

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

This page was built for software: ROCS