Sökning: "Ziwei Xu"
Hittade 1 uppsats innehållade orden Ziwei Xu.
1. LTL Motion Planning with Collision Avoidance for A Team of Quadrotors
Master-uppsats, KTH/Skolan för elektro- och systemteknik (EES)Sammanfattning : 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. LÄS MER
Resultatsidor:
1