Essays about: "STL"

Showing result 1 - 5 of 26 essays containing the word STL.

  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. Anomaly Detection of Time Series Caused by International Revenue Share Fraud : Additive Model and Autoencoder Applications

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

    Author : Lingxiao Wang; [2023]
    Keywords : Fraud detection; Anomaly detection; Machine learning; Bedrägeriupptäckt; Anomalidetektering; Maskininlärning;

    Abstract : In this paper, we compare the performance of two methods to find the attempts at fraud from the data provided by Sinch (formerly CLX Communications, which is a telecommunications and cloud communications platform as a service (PaaS) company). We consider the problem as finding the anomaly in a time series signal, where we ignore the duration of a single call or other features and only care about the total volume of calls in a certain period. READ MORE

  4. 3. 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

  5. 4. From Topology Optimized Concept to Detailed Design via Implicit-based Geometries and Non-linear Finite Element Analysis

    University essay from Örebro universitet/Institutionen för naturvetenskap och teknik

    Author : Jonatan Gripenberth; [2023]
    Keywords : Topologioptimiering; Implicita kroppar; Arbetsflöde; Icke-linjär finita element analys;

    Abstract : A workflow to go from topology optimized concept to a detailed design was created in this thesis. This was done through the use of Implicit-based geometries and Non-linear finite element analysis. READ MORE

  6. 5. 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