Search for dissertations about: "Temporal logics"

Showing result 1 - 5 of 16 swedish dissertations containing the words Temporal logics.

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

    Author : Mathias Broxvall; Peter Jonsson; Ulf Nilsson; Anders Haraldsson; Linköpings universitet; []
    Keywords : 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

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

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

    Author : Christos Verginis; Dimos V. Dimarogonas; Pedro Lima; KTH; []
    Keywords : 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

  6. 4. Transient Control for Leader-follower Multi-agent Systems with Application to Spatiotemporal Logic Tasks

    Author : Fei Chen; Dimos V. Dimarogonas; Jana Tumova; Ming Cao; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; leader-follower networks; transient constraints; temporal logics; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Over the past few decades, significant research has been directed towards addressing the problem of distributed control of multi-agent systems. The overall tasks include consensus, formation, flocking, and coverage control with the wide applications in multi-robot coordination, manufacturing and intelligent transportation systems. READ MORE

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

    Author : Lars Lindemann; Dimos V. Dimarogonas; Ozay Necmiye; KTH; []
    Keywords : 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