Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Revising motion planning under Linear Temporal Logic specifications in partially known workspaces
KTH, School of Electrical Engineering (EES), Automatic Control. KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0003-4562-854X
KTH, School of Electrical Engineering (EES), Automatic Control. KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0001-9940-5929
KTH, School of Electrical Engineering (EES), Automatic Control. KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0001-7309-8086
2013 (English)In: 2013 IEEE International Conference on Robotics and Automation (ICRA), IEEE Computer Society, 2013, 5025-5032 p.Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we propose a generic framework for real-time motion planning based on model-checking and revision. The task specification is given as a Linear Temporal Logic formula over a finite abstraction of the robot motion. A preliminary motion plan is first generated based on the initial knowledge of the system model. Then real-time information obtained during the runtime is used to update the system model, verify and further revise the motion plan. The implementation and revision of the motion plan are performed in real-time. This framework can be applied to partially-known workspaces and workspaces with large uncertainties. Computer simulations are presented to demonstrate the efficiency of the framework.

Place, publisher, year, edition, pages
IEEE Computer Society, 2013. 5025-5032 p.
Series
Proceedings - IEEE International Conference on Robotics and Automation, ISSN 1050-4729
Keyword [en]
Finite abstraction, Generic frameworks, Linear temporal logic, Linear temporal logic specifications, Real-time information, Real-time motion planning, System modeling, Task specifications
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:kth:diva-139941DOI: 10.1109/ICRA.2013.6631295ISI: 000337617305007Scopus ID: 2-s2.0-84887268376ISBN: 978-146735641-1 ISBN: 978-1-4673-5643-5 (print)OAI: oai:DiVA.org:kth-139941DiVA: diva2:687813
Conference
2013 IEEE International Conference on Robotics and Automation, ICRA 2013; Karlsruhe; Germany; 6 May 2013 through 10 May 2013
Note

QC 20140115

Available from: 2014-01-15 Created: 2014-01-15 Last updated: 2014-08-04Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Guo, MengJohansson, Karl HenrikDimarogonas, Dimos V.

Search in DiVA

By author/editor
Guo, MengJohansson, Karl HenrikDimarogonas, Dimos V.
By organisation
Automatic ControlACCESS Linnaeus Centre
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 36 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf