Name
Title | ||
|---|---|---|
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems |
Abstract | ||
|---|---|---|
This paper introduces ROCS 2.0, a control synthesis tool for nonlinear systems with control objectives given as temporal logic formulas. In addition to the basic invariance, reachability, Büchi, and co-Büchi specifications that can be handled in the previous version of ROCS, ROCS 2.0 provides a major upgrade to support the general class of linear temporal logic formulas that can be translated to deterministic Büchi automata. Moreover, ROCS 2.0 not only maintains and accelerates the kernel of its previous version—the engine based on the specification-guided control method—by more efficient implementation, but also integrates a second engine that implements the abstraction-based control method, which is optimized to gain time and memory efficiency. Such a feature gives the user the freedom to choose the control synthesis method that is more suitable for a specific control problem. |
Year | DOI | Venue |
|---|---|---|
2021 | 10.1016/j.ifacol.2021.08.470 | IFAC-PapersOnLine |
Keywords | DocType | Volume |
Formal methods in control,Control of constrained systems,Temporal logic,verification,abstraction of hybrid systems,Computational tools | Conference | 54 |
Issue | ISSN | Citations |
5 | 2405-8963 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yinan Li | 1 | 0 | 0.34 |
| Zhibing Sun | 2 | 0 | 0.34 |
| Jun Liu | 3 | 215 | 20.63 |