Essays about: "finite automaton"

Showing result 1 - 5 of 13 essays containing the words finite automaton.

  1. 1. Linear dynamic logic on finite traces in business process management : a compositional approach

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Mathias Hedqvist; [2022]
    Keywords : linear dynamic logic on finite traces; ldlf; linear temporal logic on finite traces; ltlf; business process management; bpm;

    Abstract : One way of modeling workflows in business process management (BPM) is by using a declarative approach, that is, instead of imperatively specifying what needs to be done, and in what order, one can specify constraints on what is allowed. The result is a more flexible model as everything that does not violate the specified constraints is allowed. READ MORE

  3. 2. Automatically Learning Register Automata from MATLAB Code : A case study in autonomous driving

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Marco Dei Rossi; [2021]
    Keywords : Automata learning; SL*; Register automata; RALib; Lateral State Manager; Automata learning; SL*; Register automata; RALib; LSM; Automata learning; SL*; Register automata; RALib; LSM;

    Abstract : The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. READ MORE

  4. 3. Verification of Formal Requirements through Tracing

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Jorrit Olthuis; [2020]
    Keywords : ;

    Abstract : Software development in the railway application is governed by strict standards which aim to ensure safety. It is for example highly recommended to use formal methods when specifying requirements. Moreover, it is mandatory to have certain roles be fulfilled by different people. A common technique is developing software tests for the requirements. READ MORE

  5. 4. Multi agent control with LTL specifications and abstraction with input memories

    University essay from KTH/Reglerteknik

    Author : Paul Rousse; [2017]
    Keywords : ;

    Abstract : Formal controller synthesis methods with temporal logic specications tryto guarantee the correctness of given specications with a system that mighthave complex behaviour. Most often, discrete abstractions of a continuoussystem are used in order to reduce the size of the problem. READ MORE

  6. 5. Phonotactic Structures in Swedish : A Data-Driven Approach

    University essay from Stockholms universitet/Institutionen för lingvistik

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

    Abstract : 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. READ MORE