Search for dissertations about: "Albert Benveniste"

Found 1 swedish dissertation containing the words Albert Benveniste.

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

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

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