Sökning: "Cecilia Brage"

Hittade 1 uppsats innehållade orden Cecilia Brage.

  1. 1. Multi-Robot Motion Planning With Control Barrier Functions for Signal Temporal Logic Tasks

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

    Författare :Cecilia Brage; Johanna Johansson; [2021]
    Nyckelord :autonomous robots; autonomous systems; signal temporal logic; control barrier function; formation control; collision avoidance; formal methods;

    Sammanfattning : Autonomous robots have the potential to accomplisha wide variety of assignments. For this to work in reality, therobots need to be able to perform specific tasks while safety forboth them and their environment is ensured. LÄS MER