Sökning: "Dan Lawesson"

Hittade 2 avhandlingar innehållade orden Dan Lawesson.

1. 1. An Approach to Diagnosability Analysis for Interacting Finite State Systems

   Författare :Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; Computer science; Datalogi;

   Sammanfattning : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. LÄS MER

3. 2. Towards Behavioral Model Fault Isolation for Object Oriented Control Systems

   Författare :Dan Lawesson; Ulf Nilsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Unified Modeling Language UML ; Maskinelement Servomekanismer Automation; Computer science; Datavetenskap;

   Sammanfattning : We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. LÄS MER