Sökning: "Signaltemporallogik"

Hittade 1 uppsats innehållade ordet Signaltemporallogik.

  1. 1. Multi-robot coordination and planning with human-in-the-loop under STL specifications : Centralized and distributed frameworks

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Yixiao Zhang; [2023]
    Nyckelord :Multi-agent systems; Human-in-the-loop systems; Signal temporal logic; Cooperative control; ROS Implementation; Multi-agent-system; Människa-i-loop-system; Signaltemporallogik; Samarbetande styrning; ROS-implementering;

    Sammanfattning : Recent urbanization and industrialization have brought tremendous pressure and challenges to modern autonomous systems. When considering multiple complex tasks, cooperation and coordination between multiple agents can improve efficiency in a system. LÄS MER