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)

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

This page was built for software: ROCS