Sökning: "ltl"

Visar resultat 1 - 5 av 12 avhandlingar innehållade ordet ltl.

  1. 1. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    Författare :Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. LÄS MER

  3. 2. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    Författare :Philipp Schillinger; Dimos V. Dimarogonas; Daniele Magazzeni; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ltl; robot; robotics; multi-agent; behavior synthesis; formal methods; decomposition; high-level planning; multi-objective search; resource constraints; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. LÄS MER

  4. 3. Intermodal Transport in Less-than-Truckload Networks

    Författare :Robert Sommar; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; mode choice; LTL networks; intermodal transport; decision-making;

    Sammanfattning : In producing transport services several different transport modes are available. Through the last decades, road transport has increased rapidly. This development is recognised as unsustainable. A more sustainable alternative is intermodal transport. LÄS MER

  5. 4. 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

  7. 5. 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