ROCS swMATH ID: 28114 Software Authors: Li, Yinan; Liu, Jun Description: ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems. This paper presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal control synthesis tools, it guarantees to generate a control strategy with respect to a robustly realizable specification for a nonlinear system. At the core of ROCS is the interval branch-and-bound scheme with a precision control parameter that reflects the robustness of the realizability of the specification. It also supports multiple variable precision control parameters to achieve higher efficiency. Homepage: https://dl.acm.org/citation.cfm?doid=3178126.3178153 Keywords: control synthesis; interval methods; nonlinear systems; temporal logic Related Software: SCOTS; CoSyma; pFaces; TuLiP; PESSOA; CPAchecker; BLAST; SENSE; BDD2Implement; dReach Cited in: 5 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems. Zbl 1417.93122Li, Yinan; Liu, Jun 2018 all top 5 Cited by 9 Authors 3 Liu, Jun 2 Li, Yinan 1 Chen, Ruijuan 1 Hsu, Kyle 1 Khaled, Mahmoud 1 Majumdar, Rupak 1 Mallik, Kaushik 1 Schmuck, Anne-Kathrin 1 Zamani, Majid Cited in 1 Serial 1 Journal of the Franklin Institute Cited in 2 Fields 4 Systems theory; control (93-XX) 2 Computer science (68-XX) Citations by Year