Search for dissertations about: "Signal Temporal Logic"

Showing result 1 - 5 of 12 swedish dissertations containing the words Signal Temporal Logic.

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

  4. 2. Control of Dynamical Systems subject to Spatio-Temporal Constraints

    Author : Maria Charitidou; Dimos V. Dimarogonas; Christian Ebenbauer; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Temporal Logic; formal methods; control barrier functions; autonomous systems; model predictive control; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Over the last decades, autonomous robots have been considered in a variety of applications such  as persistent monitoring, package delivery and cooperative transportation. These applications often require the satisfaction of a set of complex tasks that need to be possibly performed in a timely manner. READ MORE

  5. 3. Reinforcement Learning Endowed Robot Planning under Spatiotemporal Logic Specifications

    Author : Peter Varnai; Dimos V. Dimarogonas; Ufuk Topcu; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Formal methods; temporal logic; autonomous systems; reinforcement learning; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Recent advances in artificial intelligence are producing fascinating results in the field of computer science. Motivated by these successes, the desire to transfer and implement learning methods on real-life systems is growing as well. READ MORE

  6. 4. Cooperative Manipulation and Motion Planning Under Signal Temporal Logic Specifications

    Author : Mayank Sewlia; Dimos V. Dimarogonas; Christos Verginis; Jana Tumova; Cristian-Ioan Vasile; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical Engineering; Elektro- och systemteknik;

    Abstract : As robots become increasingly prevalent in society, it is essential to prescribe complex high-level tasks to them. Tasks prescribed over temporal logics present two main challenges: generating trajectories that satisfy the logical formula and tracking those trajectories that depend on the logical formula. READ MORE

  7. 5. Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications

    Author : Lars Lindemann; Dimos V. Dimarogonas; Antoine Girard; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Engineered systems are becoming more connected due to the availability of affordable and mobile communication and computation devices and form, already today, interacting and dependent complex networks. Examples of such systems range from multi-robot systems, e.g., fleets of drones or autonomous cars, over smart grids and smart home technologies. READ MORE