Avancerad sökning

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

  1. 1. Probabilistic guarantees in model-checking with Time Petri Nets

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

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

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

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

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

  7. 5. A Mutation Analysis Framework for Simulink Models

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

    Författare :Henrik Runge; [2018]
    Nyckelord :mutation; testing; simulink; mutant;

    Sammanfattning : Mutation analysis is a fault-based method used for introducing small changes into a program, producing mutants based on mutation operators, classes of commonly occurring faults. Mutation analysis has been used in the last couple of decades for evaluating how good test cases produced by software testing are at detecting faults. LÄS MER