Sökning: "temporal logic tree"

Hittade 3 avhandlingar innehållade orden temporal logic tree.

  1. 1. Safe Autonomy under Uncertainty: Computation, Control, and Application

    Författare :Yulong Gao; Karl H. Johansson; Lihua Xie; ‪Frank Allgöwer; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Safe autonomy; shared autonomy; probabilistic controlled invariant set; invariant cover; linear temporal logic; temporal logic tree; safe teleoperation; automated car overtaking; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Safety is a primary requirement for many autonomous systems, such as automated vehicles and mobile robots. An open problem is how to assure safety, in the sense of avoiding unsafe subsets of the state space, for uncertain systems under complex tasks. LÄS MER

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

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

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

  4. 3. Cooperative Planning Control and Formation Control of Multi-Agent Systems

    Författare :Alexandros Nikou; Dimos Dimarogonas; Julien Hendrickx; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Cooperative planning control is an active topic of research, with many practical applications including multi-robot systems, transportation, multi-point surveillance and biological systems. The contributions of this thesis lie in the scope of three topics: formation control, time-constrained cooperative planning control and probabilistic control synthesis, all of the them in the framework of multi-agent systems. LÄS MER