Sökning: "Linear Temporal Logic"

Visar resultat 1 - 5 av 11 avhandlingar innehållade orden Linear Temporal Logic.

  1. 1. Safe Autonomy under Uncertainty: Computation, Control, and Application

    Författare :Yulong Gao; Karl H. Johansson; Lihua Xie; ‪Frank Allgöwer; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Safe autonomy; shared autonomy; probabilistic controlled invariant set; invariant cover; linear temporal logic; temporal logic tree; safe teleoperation; automated car overtaking; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Safety is a primary requirement for many autonomous systems, such as automated vehicles and mobile robots. An open problem is how to assure safety, in the sense of avoiding unsafe subsets of the state space, for uncertain systems under complex tasks. LÄS MER

  3. 2. Hybrid Control of Multi-robot Systems under Complex Temporal Tasks

    Författare :Meng Guo; Dimos V. Dimarogonas; Karl Henrik Johansson; Calin Belta; KTH; []
    Nyckelord :Automatic Control; Multi-robot system; Linear Temporal Logic; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Autonomous robots like household service robots, self-driving cars and dronesare emerging as important parts of our daily lives in the near future. They need tocomprehend and fulfill complex tasks specified by the users with minimal humanintervention. Also they should be able to handle un-modeled changes and contingentevents in the workspace. LÄS MER

  4. 3. Least-Violating Motion Planning for Traffic-Compliant Autonomous Driving

    Författare :Jesper Karlsson; Jana Tumova; Tichakorn Wongpiromsarn; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Motion Planning; Formal Methods; Temporal Logic; Computer Science; Datalogi;

    Sammanfattning : Over the last decade, autonomous vehicles has received an increasing amount of interest from industries and research institutes. For autonomous vehicles to properly function alongside human drivers, safety guarantees are a must. LÄS MER

  5. 4. Cooperative Motion and Task Planning Under Temporal Tasks

    Författare :Meng Guo; Dimos V. Dimarogonas; Georgios Fainekos; KTH; []
    Nyckelord :Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Temporal-logic-based languages provide a formal and accurate way to specify complex motion and action missions for autonomous robots, beyond the classic point-to-point navigation task. The first part of the thesis is devoted to the nominal scenario: an autonomous robot is given a motion task specified as Linear-time Temporal Logic (LTL) formulas. LÄS MER

  7. 5. Task-oriented control and coordination of multi-agent systems under varying constraints

    Författare :Pian Yu; Dimos V. Dimarogonas; Carlo Fischione; Christos Cassandras; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; uncertain systems; temporal logics; event-triggered control; control synthesis; conflict resolution; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Multi-agent systems (MAS) offer a tremendous potential to improve the quality of modern society life. For instance, robot networks have been widely used for providing services such as search and rescue missions, surveillance and data collection, healthcare and entertainment. LÄS MER