Sökning: "Valur Einarsson"

Hittade 2 avhandlingar innehållade orden Valur Einarsson.

  1. 1. Model Checking Methods for Mode Switching Systems

    Författare :Valur Einarsson; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : 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. LÄS MER

  3. 2. On Verification of Switched Systems using Abstractions

    Författare :Valur Einarsson; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : 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. LÄS MER