dc.contributor.author |
Seotsanyana, M
|
|
dc.date.accessioned |
2010-09-30T09:50:11Z |
|
dc.date.available |
2010-09-30T09:50:11Z |
|
dc.date.issued |
2010-01 |
|
dc.identifier.citation |
Seotsanyana, M. 2010. Temporal logic motion planning. Defence Science Journal, Vol. 60(1), pp 23-38 |
en |
dc.identifier.issn |
0011748X |
|
dc.identifier.uri |
http://publications.drdo.gov.in/ojs/index.php/dsj/article/view/99/7
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/4425
|
|
dc.description |
Copyright: 2010 Defence Scientific Information & Documentation Centre (DESIDOC) |
en |
dc.description.abstract |
In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain and ever-changing environment, and (b) The accomplishment of high-level specification tasks which are more than just the traditional planning problem (i.e., start at initial state A and go to the goal state B) are considered. The use of theory of computation and formal methods, tools and techniques present a promising direction of research in solving motion planning problems that are influenced by high-level specification of complex tasks. The review, therefore, focuses only on those papers that use the aforementioned tools and techniques to solve a motion planning problem. A proposed robust platform that deals with the complexity of more expressive temporal logics is also presented. |
en |
dc.language.iso |
en |
en |
dc.publisher |
Defence Scientific Information & Documentation Centre (DESIDOC) |
en |
dc.subject |
Motion planning |
en |
dc.subject |
Temporal logic |
en |
dc.subject |
Real-time |
en |
dc.subject |
Formal languages |
en |
dc.subject |
Automata |
en |
dc.subject |
Mobile agents |
en |
dc.title |
Temporal logic motion planning |
en |
dc.type |
Article |
en |
dc.identifier.apacitation |
Seotsanyana, M. (2010). Temporal logic motion planning. http://hdl.handle.net/10204/4425 |
en_ZA |
dc.identifier.chicagocitation |
Seotsanyana, M "Temporal logic motion planning." (2010) http://hdl.handle.net/10204/4425 |
en_ZA |
dc.identifier.vancouvercitation |
Seotsanyana M. Temporal logic motion planning. 2010; http://hdl.handle.net/10204/4425. |
en_ZA |
dc.identifier.ris |
TY - Article
AU - Seotsanyana, M
AB - In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain and ever-changing environment, and (b) The accomplishment of high-level specification tasks which are more than just the traditional planning problem (i.e., start at initial state A and go to the goal state B) are considered. The use of theory of computation and formal methods, tools and techniques present a promising direction of research in solving motion planning problems that are influenced by high-level specification of complex tasks. The review, therefore, focuses only on those papers that use the aforementioned tools and techniques to solve a motion planning problem. A proposed robust platform that deals with the complexity of more expressive temporal logics is also presented.
DA - 2010-01
DB - ResearchSpace
DP - CSIR
KW - Motion planning
KW - Temporal logic
KW - Real-time
KW - Formal languages
KW - Automata
KW - Mobile agents
LK - https://researchspace.csir.co.za
PY - 2010
SM - 0011748X
T1 - Temporal logic motion planning
TI - Temporal logic motion planning
UR - http://hdl.handle.net/10204/4425
ER -
|
en_ZA |