Browse wiki

From MurrayWiki
Jump to: navigation, search
Efficient reactive controller synthesis for a fragment of linear temporal logic
Abstract Motivated by robotic motion planning, we d …
Motivated by robotic motion planning, we develop a framework for control policy synthesis for both non-deterministic transition systems and Markov decision processes that are subject to temporal logic task specifications. We introduce a fragment of linear temporal logic that can be used to specify common motion planning tasks such as safe navigation, response to the environment, surveillance, and persistent coverage. This fragment is computationally efficient; the complexity of control policy synthesis is a doubly-exponential improvement over standard linear temporal logic for both non-deterministic transition systems and Markov decision processes. This improvement is possible since we compute directly on the original system, as opposed to the automata-based approach commonly used for linear temporal logic. We give simulation results for representative motion planning tasks and compare to generalized reactivity(1).
and compare to generalized reactivity(1).  +
Authors Eric M. Wolff, Ufuk Topcu, and Richard M. Murray  +
Funding Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems +
ID 2012n  +
Source Submitted, 2013 International Conference on Robotics and Automation (ICRA)  +
Tag wtm13-icra  +
Title Efficient reactive controller synthesis for a fragment of linear temporal logic +
Type Conference Paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:15:41  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/wtm13-icra_s.pdf  +
hide properties that link here 
Efficient reactive controller synthesis for a fragment of linear temporal logic + Title
 

 

Enter the name of the page to start browsing from.