Essays about: "Johannes Håkansson"

Found 1 essay containing the words Johannes Håkansson.

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

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Johannes Håkansson; [2021]
    Keywords : Digital twin; Plant verification; Model checking; Functional properties;

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