Sökning: "Lars Lindemann"

Hittade 2 avhandlingar innehållade orden Lars Lindemann.

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

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

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER