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
Simulation and Implementation of Temporal Logic-based Motion Planning for Autonomous Vehicles
KTH, School of Electrical Engineering (EES), Automatic Control.
2014 (English)Student paper other, 20 credits / 30 HE creditsStudent thesis
Abstract [en]

This thesis focuses on temporal logic-based motion planning for autonomous ve-

hicles. Specically planning based on Linear Temporal Logic statements. This

type of motion planning allows for automatic generation of correct by construc-

tion controllers that implement missions dened in a language that is both quite

expressive and easy to understand.

The main contribution of this thesis is to provide a framework of reuseable

Python modules that implement algorithms for the production of plans based

on Linear Temporal Logic and ecient online revising of existing plans when the

environment changes.

The general case of oine planning is presented as well as several options for

online planning based on partially known and dynamic environments. The dif-

ferent online planning methods are simulated and their feasibility in dierent

scenarios is discussed. Finally, implementation concerns and future directions

are discussed.

Place, publisher, year, edition, pages
2014. , 69 p.
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-151019OAI: oai:DiVA.org:kth-151019DiVA: diva2:746344
Supervisors
Available from: 2014-09-12 Created: 2014-09-12 Last updated: 2014-09-12Bibliographically approved

Open Access in DiVA

fulltext(1017 kB)112 downloads
File information
File name FULLTEXT01.pdfFile size 1017 kBChecksum SHA-512
0b1f368cb7a38c89306ca9bf150427a3966c1ca24576c348fe9ea915e3d56b50b6a1319d6ecad2c926431388d4da5398fd157ff6c010aca0bb70cb357aa251ab
Type fulltextMimetype application/pdf

By organisation
Automatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 112 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 183 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