Search for dissertations about: "temporal logics"

Showing result 1 - 5 of 11 swedish dissertations containing the words temporal logics.

  1. 1. A Study in the Computational Complexity of Temporal Reasoning

    Author : Mathias Broxvall; Peter Jonsson; Ulf Nilsson; Anders Haraldsson; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; temporal and spatial information; artificiell intelligens; algebra; tractable fragments; temporal formalisms; formalism STP; Computer science; Datavetenskap;

    Abstract : Reasoning about temporal and spatial information is a common task in computer science, especially in the field of artificial intelligence. The topic of this thesis is the study of such reasoning from a computational perspective. READ MORE

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

    Author : Pian Yu; Dimos V. Dimarogonas; Carlo Fischione; Christos Cassandras; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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;

    Abstract : 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. READ MORE

  3. 3. Planning and Control of Cooperative Multi-Agent Manipulator-Endowed Systems

    Author : Christos Verginis; Dimos V. Dimarogonas; Pedro Lima; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-agent systems; Temporal logics; Cooperative manipulation; Motion planning; Control; Navigation; Action planning; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Multi-agent planning and control is an active and increasingly studied topic of research, with many practical applications, such as rescue missions, security, surveillance, and transportation. More specifically, cases that involve complex manipulator-endowed systems  deserve extra attention due to potential complex cooperative manipulation tasks and their interaction with the environment. READ MORE

  4. 4. Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Tasks

    Author : Lars Lindemann; Dimos V. Dimarogonas; Ozay Necmiye; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Temporal Logic; Multi-agent systems; Motion planning; Automatic Control; Hybrid Systems; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Dynamical systems that provably satisfy given specifications have become increasingly important in many engineering areas. For instance, safety-critical systems such as human-robot networks or autonomous driving systems are required to be safe and to also satisfy some complex specifications that may include timing constraints, i.e. READ MORE

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

    Author : Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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;

    Abstract : 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. READ MORE