ROCS
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.
Keywords for this software
References in zbMATH (referenced in 5 articles , 1 standard article )
Showing results 1 to 5 of 5.
Sorted by year (- Chen, Ruijuan; Li, Yinan; Liu, Jun: Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (2021)
- Liu, Jun: Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (2021)
- Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin: Lazy abstraction-based controller synthesis (2019)
- Khaled, Mahmoud; Zamani, Majid: \textsfpFaces: an acceleration ecosystem for symbolic control (2019)
- Li, Yinan; Liu, Jun: ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems (2018)