Essays about: "Signal temporal logic"

Showing result 1 - 5 of 14 essays containing the words Signal temporal logic.

  1. 1. Multi-Robot Motion Planning Under High-Level Task Specifications

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Axel Abrahamsson; Lukas Granqvist; [2023]
    Keywords : ;

    Abstract : This bachelor thesis explores the use of Signal Temporal Logic (STL) and ControlBarrier Functions (CBFs) to address the challenges associated with multi-robot motionplanning under high-level task specifications. STL is a formalism used to specify temporalproperties of signals, while CBFs are used to enforce safety constraints. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Yixiao Zhang; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE

  4. 3. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Arvid Bergman Thörn; [2023]
    Keywords : Business Process Management; Imperative modelling; Declarative constraints; Conformance checking; Process querying; Process Mining;

    Abstract : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. READ MORE

  5. 4. Controlling Autonomous Baker Robot Using Signal Temporal Logic and Control Barrier Functions

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Gustav Bernpaintner; Marcus Allen; [2022]
    Keywords : autonomous systems; signal temporal logic; control barrier function; quadratic programming;

    Abstract : Autonomous systems are slowly moving into the mainstream with things like self driving cars and autonomous robots in storage facilities already in use today. The aim of this project is to simulate a virtual bakery with a baker-robot (agent)that is able to complete recipes within strict deadlines. READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Cecilia Brage; Johanna Johansson; [2021]
    Keywords : autonomous robots; autonomous systems; signal temporal logic; control barrier function; formation control; collision avoidance; formal methods;

    Abstract : 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. READ MORE