Abstract | ||
---|---|---|
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.
|
Year | DOI | Venue |
---|---|---|
2018 | 10.1145/3178126.3178153 | HSCC |
Keywords | DocType | ISBN |
Control Synthesis, Nonlinear Systems, Temporal Logic, Interval Methods | Conference | 978-1-4503-5642-8 |
Citations | PageRank | References |
2 | 0.39 | 14 |
Authors | ||
2 |