Sökning: "STL."
Visar resultat 1 - 5 av 39 uppsatser innehållade ordet STL..
1. Multi-Robot Motion Planning Under High-Level Task Specifications
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
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)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
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 utbildningsstudierSammanfattning : .... LÄS MER
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)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
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 teknikSammanfattning : 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