Search for dissertations about: "Valur Einarsson"

Found 2 swedish dissertations containing the words Valur Einarsson.

  2. 1. Model Checking Methods for Mode Switching Systems

    Author : Valur Einarsson; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis deals with modeling and analysis of a special class of hybrid systems, i.e., systems displaying behavior of both continuous and discrete nature. READ MORE

  4. 2. On Verification of Switched Systems using Abstractions

    Author : Valur Einarsson; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis deals with modeling and analysis of a special class of hybrid systems, i.e., systems displaying behavior of both continuous and discrete nature. READ MORE