Sökning: "Linear Temporal Logics"

Hittade 2 avhandlingar innehållade orden Linear Temporal Logics.

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

  3. 2. 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