Abstract | ||
---|---|---|
This paper addresses the problem of synthesizing controllers for reactive missions carried out by dynamical systems operating in environments of known physical geometry but consisting of uncontrolled elements that the system must react to at execution time. Such problems have value in semi-structured industrial automation settings, especially those in which robots must behave collaboratively yet safely with their human counterparts. The proposed synthesis framework addresses cases where there exists no satisfying controller for the mission, given the dynamical system and the environment's assumed behaviors. We introduce an approach that leverages information about an abstraction of the dynamical system to automatically generate a concise set of revisions to such specifications. We provide a graphical visualization tool as a design aid, allowing the revisions to be conveyed to the user interactively and added to the specification at the user's discretion. Any accepted statements become certificates that, if satisfied at runtime, provide guarantees for the current mission on the given dynamics. Our approach is cast into a general framework that works with various discrete representations (i.e. abstractions) of the system dynamics. We present case studies that illustrate application of our approach to controller synthesis for two example robotic missions employing different abstractions of the system. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1007/s10626-016-0232-7 | Discrete Event Dynamic Systems |
Keywords | Field | DocType |
Formal methods,Discrete abstractions,Counterstrategies,Reactive mission planning,Dynamical systems | Control theory,Mathematical optimization,Visualization,Computer science,Automation,Dynamical systems theory,System dynamics,Formal methods,Robot,Dynamical system | Journal |
Volume | Issue | ISSN |
27 | 2 | 0924-6703 |
Citations | PageRank | References |
1 | 0.35 | 29 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jonathan DeCastro | 1 | 20 | 3.45 |
Rüdiger Ehlers | 2 | 236 | 21.00 |
Matthias Rungger | 3 | 105 | 13.44 |
Ayca Balkan | 4 | 47 | 5.33 |
Hadas Kress-Gazit | 5 | 727 | 58.58 |