For more than 30 years, multiple research groups have worked on the automation of hazard
and operability (HAZOP) studies, or more specifically on the hazard identification process …

This paper presents an overview of graphical methods used for robust Fault Detection and
Isolation (FDI) that can be employed for monitorability and diagnosability analysis and/or …

Although the importance of knowledge sharing among designers has been widely
recognized, knowledge about functionality in the conceptual design phase is hard to capture …

It has been recognized that design knowledge is scattered around technology and target
domains. One of the two major reasons for it is that different frameworks (viewpoints) for …

In conceptual design of engineering devices, a designer decomposes a required function
into sub-functions, so-called functional decomposition, using a kind of functional knowledge …

Consistency-based diagnosis is one of the most widely used approaches to model-based
diagnosis within the artificial intelligence community. It is usually carried out through an …

Control and memory divergence between threads in the same execution bundle, or warp,
can significantly throttle the performance of GPU applications. We exploit the observation …

Physical system behavior follows the general principles of conservation of energy and
continuity of power, but may exhibit nonlinearities that result from small, parasitic effects, or …

A set of models developed by Chittaro for fault diagnosis is extended to represent more
complex engineering systems. A novel methodology for qualitative reasoning about …

This book is about model-based diagnosis of a class of discrete-event systems called active
systems. Roughly, model-based diagnosis is the task of finding out the faulty components of …