Sökning: "Linear Temporal Logic LTL formula"

Hittade 3 uppsatser innehållade orden Linear Temporal Logic LTL formula.

  1. 1. Developing a System for Robust Planning using Linear Temporal Logic

    Master-uppsats, KTH/Reglerteknik

    Författare :Nadine Drollinger; [2018]
    Nyckelord :;

    Sammanfattning : Human robot-collaborative search missions have gotten more and more attention in recent years.Especially in scenarios where the robot first scouts the scene before sending in human agents. Thissaves time and avoids unnecessary risks for the human agents. LÄS MER

  3. 2. Multi agent control with LTL specifications and abstraction with input memories

    Master-uppsats, KTH/Reglerteknik

    Författare :Paul Rousse; [2017]
    Nyckelord :;

    Sammanfattning : Formal controller synthesis methods with temporal logic specications tryto guarantee the correctness of given specications with a system that mighthave complex behaviour. Most often, discrete abstractions of a continuoussystem are used in order to reduce the size of the problem. LÄS MER

  4. 3. LTL Motion Planning with Collision Avoidance for A Team of Quadrotors

    Master-uppsats, KTH/Skolan för elektro- och systemteknik (EES)

    Författare :Ziwei Xu; [2016]
    Nyckelord :Finite transition system FTS ; Linear Temporal Logic LTL formula; Büchi automaton BA ; Optimal path; Robotic operating system ROS ;

    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