Abstract Cyber-Physical Production Systems (CPPSs) are in the focus of research, industry
and politics: By applying new IT and new computer science solutions, production systems …

This paper discusses the need for a well‐considered approach to reconciling environmental
theory with observations that has clear and compelling diagnostic power. This need is well …

With the advent of the Internet and the progressive development and consolidation of a wide
range of web standards and technologies as well as the advances in distributed artificial …

Electricity, water or air are some Industrial energy carriers which are struggling under the
prices of primary energy carriers. The European Union for example used more 20.000. 000 …

Finding actual causes of unmanned aerial vehicle (UAV) failures can be split into two main
tasks: building causal models and performing actual causality analysis (ACA) over them …

Autonomous robots are artifacts that comprise a significant number of heterogeneous
hardware and software components and interact with dynamic environments. Therefore …

Many AI applications rely on knowledge about a relevant real-world domain that is encoded
by means of some logical knowledge base (KB). The most essential benefit of logical KBs is …

Verification of hardware design code is crucial for the quality assurance of hardware
products. As an indispensable part of verification, localizing faults in the hardware design …

Recent achievements in formal verification techniques allow for fault detection even in large
real-world designs. Tool support for localizing the faulty statements is critical, because it …

The importance of safety and reliability in today's real-world complex hybrid systems, such
as process plants, led to the development of various anomaly detection and diagnosis …