On fault detection and diagnosis in robotic systems
The use of robots in our daily lives is increasing. Different types of robots perform different
tasks that are too dangerous or too dull to be done by humans. These sophisticated …
tasks that are too dangerous or too dull to be done by humans. These sophisticated …
TABOR: A graphical model-based approach for anomaly detection in industrial control systems
Industrial Control Systems (ICS) such as water and power are critical to any society. Process
anomaly detection mechanisms have been proposed to protect such systems to minimize …
anomaly detection mechanisms have been proposed to protect such systems to minimize …
On the diagnosis of cyber-physical production systems
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 …
and politics: By applying new IT and new computer science solutions, production systems …
Verification for machine learning, autonomy, and neural networks survey
This survey presents an overview of verification techniques for autonomous systems, with a
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …
[PDF][PDF] Data-Driven Monitoring of Cyber-Physical Systems Leveraging on Big Data and the Internet-of-Things for Diagnosis and Control.
The majority of projects dealing with monitoring and diagnosis of Cyber Physical Systems
(CPSs) relies on models created by human experts. But these models are rarely available …
(CPSs) relies on models created by human experts. But these models are rarely available …
System modeling based on machine learning for anomaly detection and predictive maintenance in industrial plants
B Kroll, D Schaffranek, S Schriegel… - Proceedings of the …, 2014 - ieeexplore.ieee.org
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 …
prices of primary energy carriers. The European Union for example used more 20.000. 000 …
Big data analysis of manufacturing processes
The high complexity of manufacturing processes and the continuously growing amount of
data lead to excessive demands on the users with respect to process monitoring, data …
data lead to excessive demands on the users with respect to process monitoring, data …
[PDF][PDF] Why It is Hard to Find AI in SMEs: A Survey from the Practice and How to Promote It.
A Bunte, F Richter, R Diovisalvi - ICAART (2), 2021 - scitepress.org
AI seems to be an important aspect of Industry 4.0, which was introduced about 10 years
ago. The main results of interviews about AI with 411 people from 68 companies have been …
ago. The main results of interviews about AI with 411 people from 68 companies have been …
Timed k-tail: Automatic inference of timed automata
Accurate and up-to-date models describing the behavior of software systems are seldom
available in practice. To address this issue, software engineers may use specification mining …
available in practice. To address this issue, software engineers may use specification mining …
A framework for identification and validation of affine hybrid automata from input-output traces
Automata-based modeling of hybrid and cyber-physical systems (CPS) is an important
formal abstraction amenable to algorithmic analysis of its dynamic behaviors, such as in …
formal abstraction amenable to algorithmic analysis of its dynamic behaviors, such as in …