Sökning: "tillståndsmaskiner"

Visar resultat 1 - 5 av 19 uppsatser innehållade ordet tillståndsmaskiner.

  1. 1. Avoiding local minima with Genetic programming of Behavior Trees

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

    Författare :Zhanpeng Xie; [2022]
    Nyckelord :Genetic Programming; Behavior Trees; Optimization; Autonomous Agents; Simulation; Genetiskprogrammering; beteendeträd; optimering; autonomaagenter; simulering;

    Sammanfattning : Behavior Trees (BTs) are a reactive policy representation that has gained popularity in recent years, especially in the robotics domain. Among the learning methods for BTs, Genetic Programming (GP) is an effective method for learning a good BT. One drawback of GP is that it is likely to get stuck in local minima. LÄS MER

  3. 2. Tactical control of unmanned aerial vehicle swarms for military reconnaissance

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Isak Maxstad; [2021]
    Nyckelord :swarm; UAV; unmanned aerial vehicles; behaviour trees; swarm control; drones; tactical control; reconnaissance; svärm; drönare; styrning; beteendeträd; taktisk styrning; spaning;

    Sammanfattning : The use of unmanned aerial vehicles (UAVs) is well established in the military sector with great advantages in modern warfare. The concept of using UAV swarms has been discussed over two decades, but is now seeing its first real system used by the Israel defence forces. LÄS MER

  4. 3. Implementation and evaluation of bounded invariant model checking for a subset of Stateflow

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

    Författare :Gustav Ung; [2021]
    Nyckelord :Formal methods; Bounded Model Checking; Stateflow; SLDV; Formella metoder; Begränsad modellprovning; Stateflow; SLDV;

    Sammanfattning : Stateflowmodels are used for describing logic and implementing state machines in modern safety-critical software. However, the complete Stateflowmodelling language is hard to formally define, therefore a subset relevant for industrial models has been developed in previous works. LÄS MER

  5. 4. Plant Model Generator from Digital Twin for Purpose of Formal Verification

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Johannes Håkansson; [2021]
    Nyckelord :Digital twin; Plant verification; Model checking; Functional properties;

    Sammanfattning : This master thesis will cover a way to automatically generate a formal model for plant verification from plant traces. The solution will be developed from trace data, stemming from a model of a digital twin of a physical plant. LÄS MER

  7. 5. Software Reuse in Game Development : Creating Building Blocks for Prototyping

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

    Författare :Rickard Björklund; [2019]
    Nyckelord :;

    Sammanfattning : As games and the technologies used by them have become more advanced, the cost of producing games have increased. Today, the latest AAA titles are the results of hundreds or as many as thousands of people working full-time for years, and even developing a prototype requires a large investment. LÄS MER