Avancerad sökning

Visar resultat 1 - 5 av 20 uppsatser som matchar ovanstående sökkriterier.

  1. 1. Model Checked Reinforcement Learning For Multi-Agent Planning

    Kandidat-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Erik Wetterholm; [2023]
    Nyckelord :MALTA; UPPAAL; UPPAAL STRATEGO; TImed Games; Q-Learning; Timed Automata; Timed Games;

    Sammanfattning : Autonomous systems, or agents as they sometimes are called can be anything from drones, self-driving cars, or autonomous construction equipment. The systems are often given tasks of accomplishing missions in a group or more. This may require that they can work within the same area without colliding or disturbing other agents' tasks. LÄS MER

  3. 2. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING

    Magister-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Blerta Vuthaj; [2023]
    Nyckelord :;

    Sammanfattning : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. LÄS MER

  4. 3. Reasoning about Moving Target Defense in Attack Modeling Formalisms

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

    Författare :Gabriel Ballot; [2022]
    Nyckelord :Timed Model checking; Cyber Security; Threat Modeling; Moving Target Defense; Tidsinställd modellkontroll; Cybersäkerhet; Hotmodellering; Moving Target Defense;

    Sammanfattning : Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This frequent change is costly and leads to a trade-off between misleading the attacker and disrupting the quality of service. LÄS MER

  5. 4. A Modeling Language for Timed Automata

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

    Författare :Ernst Widerberg; [2021]
    Nyckelord :;

    Sammanfattning : This work details the design and implementation of a modeling language for timed automata. The primary intended use of the language TML is as an interface to controller synthesis system m2mc, which is being developed in a current KTH/Chalmers research project. LÄS MER

  7. 5. A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Vasja Çollaku; Paolo Shestani; [2019]
    Nyckelord :UPPAAL; EAST-ADL; Simulink; MetaEdit ; Timed Automata; Brake-by-Wire; Model-Driven Development; Model Checking;

    Sammanfattning : Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. LÄS MER