Sökning: "automaton"

Visar resultat 16 - 20 av 39 uppsatser innehållade ordet automaton.

  1. 16. A Language-Recognition Approach to Unit Testing Message-Passing Systems

    Master-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Författare :Ifeanyi Ubah; [2017]
    Nyckelord :Unit testing; Message-passing; Verification;

    Sammanfattning : This thesis addresses the problem of unit testing components in message-passing systems. A message-passing system is one that comprises components communicating with each other solely via the exchange of messages. LÄS MER

  3. 17. Phonotactic Structures in Swedish : A Data-Driven Approach

    Magister-uppsats, Stockholms universitet/Institutionen för lingvistik

    Författare :Felix Hultin; [2017]
    Nyckelord :Phonotactics; computational phonology; trie; finite automata; pattern matching; regular languages; Fonotax; beräkningsbar fonologi; trie; ändlig automat; mönstermatchning; reguljära språk;

    Sammanfattning : Ever since Bengt Sigurd laid out the first comprehensive description of Swedish phonotactics in 1965, it has been the main point of reference within the field. This thesis attempts a new approach, by presenting a computational and statistical model of Swedish phonotactics, which can be built by any corpus of IPA phonetic script. LÄS MER

  4. 18. Trajectory Generation under Metric Interval Temporal Logic Specifications

    Master-uppsats, KTH/Reglerteknik

    Författare :Daniel Müller; [2017]
    Nyckelord :;

    Sammanfattning : Metric interval temporal logic (MITL) provides a tool to formulate high level tasks in an easyway. This allows to specify behaviour of a dynamical system in a given environment which liesbeyond the scope of simple stabilization. Finding an input of the system which satises the MITLformula, demands new techniques and algorithms. LÄS MER

  5. 19. A Discrete Büchi Automata Distance for Formal Methods Based Control

    Master-uppsats, KTH/Reglerteknik

    Författare :Garrett Thomas; [2017]
    Nyckelord :;

    Sammanfattning : Formal methods are valuable design validation techniques which ensure thecorrectness of hardware and software design. Recently, the formal methodstechnique of model checking using temporal logics has shown great promisein the field of control and task planning synthesis, as it allows for the formulationof complex tasks and provides an automatic and exhaustive search of allpossible paths. LÄS MER

  7. 20. LTL Motion Planning with Collision Avoidance for A Team of Quadrotors

    Master-uppsats, KTH/Skolan för elektro- och systemteknik (EES)

    Författare :Ziwei Xu; [2016]
    Nyckelord :Finite transition system FTS ; Linear Temporal Logic LTL formula; Büchi automaton BA ; Optimal path; Robotic operating system ROS ;

    Sammanfattning : Linear Temporal Logic (LTL), as one of the temporal logic, can generate a fully automated correct-by-design controller synthesis approach for single or multiple autonomous vehicles, under much more complex missions than the traditional point-to-point navigation.In this master thesis, a framework which combines model- checking-based robot motion planning with action planning is proposed based on LTL for-mulas. LÄS MER