Sökning: "säkerhetskritisk"

Visar resultat 1 - 5 av 16 uppsatser innehållade ordet säkerhetskritisk.

  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. Syntax-Based Dependency Discovery : Extracting Dependencies Between Integration Test Cases for Passive Testing

    M1-uppsats, KTH/Hälsoinformatik och logistik

    Författare :David Halldoff; Martin Sten; [2023]
    Nyckelord :Software testing; passive testing; integration testing; test case; dependency discovery; guarded assertion; automotive; safety-critical; Mjukvarutestning; passiv testning; integrationstestning; testfall; beroendeupptäckt; fordon; säkerhetskritisk;

    Sammanfattning : Modern-day vehicles consist of numerous electronic computing devices with accompanying software. Since vehicles are generally classified as safety-critical systems, rigorous testing strategies have to be deployed to ensure correct operation of the embedded software. LÄS MER

  4. 3. Safety-Critical Teleoperation with Time-Varying Delays : MPC-CBF-based approaches for obstacle avoidance

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

    Författare :Riccardo Periotto; [2023]
    Nyckelord :Robust Control Barrier Functions RCBFs ; Model Predictive Control MPC ; Obstacle Avoidance; Time-Varying Delays; Teleoperation; Robust Control Barrier Functions RCBFs ; Model Predictive Control MPC ; Obstacle Avoidance; Time-Varying Delays; Teleoperation;

    Sammanfattning : The thesis focuses on the design of a control strategy for safety-critical remote teleoperation. The main goal is to make the controlled system track the desired velocity specified by a human operator while avoiding obstacles despite communication delays. LÄS MER

  5. 4. Non-Bayesian Out-of-Distribution Detection Applied to CNN Architectures for Human Activity Recognition

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

    Författare :Serghei Socolovschi; [2022]
    Nyckelord :Human Activity Recognition; Deep Learning; Time Series; Uncertainty Estimation; Outofdistribution Detection; Convolutional Neural Network; Human Activity Recognition; Deep Learning; Tidsserie; Uppskattning av Osäkerheten; Outofdistribution Detection; Convolutional Neural Network;

    Sammanfattning : Human Activity Recognition (HAR) field studies the application of artificial intelligence methods for the identification of activities performed by people. Many applications of HAR in healthcare and sports require the safety-critical performance of the predictive models. LÄS MER

  7. 5. FIRE SAFETY AND EVACUATION SECURITY IN WIND TURBINES

    Uppsats för yrkesexamina på grundnivå, Luleå tekniska universitet/Institutionen för samhällsbyggnad och naturresurser

    Författare :Oskar Nyström; [2021]
    Nyckelord :Brand; vindkraft; säkerhet; utrymning; höghöjdsarbete;

    Sammanfattning : I denna rapport sammanställs information om brandsäkerhet och utrymningssäkerhet i vindkraftverk för att dra slutsatser om hur säkerheten skulle kunna förbättras. Orsaken till att detta anses vara ett intressant område för studier är att det är en bransch som snabbt växer och som är extraordinärt ur en utrymningssynpunkt på grund av höjden på dagens kraftverk. LÄS MER