Sökning: "STL"

Visar resultat 1 - 5 av 39 uppsatser innehållade ordet STL.

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

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

    Författare :Axel Abrahamsson; Lukas Granqvist; [2023]
    Nyckelord :;

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

  3. 2. Anomaly Detection of Time Series Caused by International Revenue Share Fraud : Additive Model and Autoencoder Applications

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

    Författare :Lingxiao Wang; [2023]
    Nyckelord :Fraud detection; Anomaly detection; Machine learning; Bedrägeriupptäckt; Anomalidetektering; Maskininlärning;

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

  4. 3. "Man måste plocka russinen ur kakan" : En intervjustudie om lärares uppfattningar och erfarenheter av arbete med Skriva sig till lärande.

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Institutionen för pedagogik, didaktik och utbildningsstudier

    Författare :Hilda Jakobsson; Anders Jonsson; [2023]
    Nyckelord :STL; STL-modellen; Skriva sig till lärande; WTL; Write to learn; kamratåterkoppling; intervju; ramfaktorteori.;

    Sammanfattning : .... LÄS MER

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

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

    Uppsats för yrkesexamina på avancerad nivå, Örebro universitet/Institutionen för naturvetenskap och teknik

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

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