Change search
ReferencesLink to record
Permanent link

Direct link
LTL Motion Planning with Collision Avoidance for A Team of Quadrotors
KTH, School of Electrical Engineering (EES).
2016 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Linear Temporal Logic (LTL), as one of the temporal logic, can generate a fully automated correct-by-design controller synthesis approach for single or multiple autonomous vehicles, under much more complex missions than the traditional point-to-point navigation.In this master thesis, a framework which combines model- checking-based robot motion planning with action planning is proposed based on LTL for-mulas. The specifications implicitly require both sequential regions for multi-agent to visit and the desired actions to perform at these regions while avoid-ing collision with each other and fixed obstacles. The high level motion and task planning and low level navigation function based collision avoidance controller are verified by nontrivial simulation and implementation on real quadcopter in Smart Mobility Lab.

Place, publisher, year, edition, pages
2016. , 57 p.
TRITA-EE, ISSN 1653-5146 ; TRITA-EE 2016:113
Keyword [en]
Finite transition system(FTS), Linear Temporal Logic(LTL) formula, Büchi automaton(BA), Optimal path, Robotic operating system(ROS)
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:kth:diva-196904OAI: diva2:1049598
Available from: 2016-11-25 Created: 2016-11-25 Last updated: 2016-11-25Bibliographically approved

Open Access in DiVA

fulltext(5578 kB)20 downloads
File information
File name FULLTEXT01.pdfFile size 5578 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
School of Electrical Engineering (EES)
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 20 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

Total: 16 hits
ReferencesLink to record
Permanent link

Direct link