English
Related papers

Related papers: Diagnosable-by-Design Model-Driven Development for…

200 papers

Cyber-attacks on Industrial Automation and Control Systems (IACS) are rising in numbers and sophistication. Embedded controller devices such as Programmable Logic Controllers (PLCs), which are central to controlling physical processes, must…

Cryptography and Security · Computer Science 2021-04-20 Awais Tanveer , Roopak Sinha , Stephen G. MacDonell

Cybersecurity of Industrial Control Systems (ICS) is drawing significant concerns as data communication increasingly leverages wireless networks. A lot of data-driven methods were developed for detecting cyberattacks, but few are focused on…

Machine Learning · Computer Science 2020-09-28 Dan Li , Paritosh Ramanan , Nagi Gebraeel , Kamran Paynabar

The performance of fault diagnosis systems is highly affected by data quality in cyber-physical power systems. These systems generate massive amounts of data that overburden the system with excessive computational costs. Another issue is…

Machine Learning · Computer Science 2024-09-04 Hossein Hassani , Ehsan Hallaji , Roozbeh Razavi-Far , Mehrdad Saif

A majority of recent advancements related to the fault diagnosis of electrical motors are based on the assumption that training and testing data are drawn from the same distribution. However, the data distribution can vary across different…

Systems and Control · Electrical Eng. & Systems 2023-08-01 Sriram Anbalagan , Deepesh Agarwal , Balasubramaniam Natarajan , Babji Srinivasan

This paper presents a solution for applying IEC 61499 function blocks along with IEC 61850 specifications in modeling and implementing control applications for substations automation. The IEC 61499 artifacts are used for structuring the…

Software Engineering · Computer Science 2015-08-31 Valentin Vlad , Cezar D. Popa , Corneliu O. Turcu , Corneliu Buzduga

This article introduces a model-driven engineering (MDE) integrated development environment (IDE) for Data-Intensive Cloud Applications (DIA) with iterative quality enhancements. As part of the H2020 DICE project (ICT-9-2014, id 644869), a…

Software Engineering · Computer Science 2017-09-20 Marc Gil , Christophe Joubert , Ismael Torres

Model-based reasoning is a central concept in current research into intelligent diagnostic systems. It is based on the assumption that sources of incorrect behavior in technical devices can be located and identified via the existence of a…

Software Engineering · Computer Science 2007-05-23 Cristinel Mateis , Markus Stumptner , Dominik Wieland , Franz Wotawa

The working conditions of large-scale industrial systems are very complex. Once a failure occurs, it will affect industrial production, cause property damage, and even endanger the workers' lives. Therefore, it is important to control the…

Artificial Intelligence · Computer Science 2022-03-29 Bu XuSong , Nie Hao , Zhang Zhan , Zhang Qin

We demonstrate an end-to-end framework to improve the resilience of man-made systems to unforeseen events. The framework is based on a physics-based digital twin model and three modules tasked with real-time fault diagnosis, prognostics and…

Artificial Intelligence · Computer Science 2022-09-01 Ion Matei , Wiktor Piotrowski , Alexandre Perez , Johan de Kleer , Jorge Tierno , Wendy Mungovan , Vance Turnewitsch

Quantum computing (QC) and deep learning techniques have attracted widespread attention in the recent years. This paper proposes QC-based deep learning methods for fault diagnosis that exploit their unique capabilities to overcome the…

Quantum Physics · Physics 2020-10-15 Akshay Ajagekar , Fengqi You

Recent progress in fault detection and identification increasingly relies on sophisticated techniques for fault detection, applied through either centralized or distributed approaches. Instead of increasing the sophistication of the fault…

Systems and Control · Electrical Eng. & Systems 2025-07-29 Enrique Luna Villagomez , Vladimir Mahalec

Clinical guidance systems have been widely adopted to help medical staffs to avoid preventable medical errors such as delay in diagnosis, treatment or untended deviations from best practice guidelines. However, because patient condition…

Computers and Society · Computer Science 2016-10-24 Maryam Rahmaniheris , Yu Jiang , Lui Sha

Programmable Logic Controllers (PLCs) execute critical control software that drives Industrial Automation and Control Systems (IACS). PLCs can become easy targets for cyber-adversaries as they are resource-constrained and are usually built…

Cryptography and Security · Computer Science 2021-01-07 Awais Tanveer , Roopak Sinha , Stephen G. MacDonell , Paulo Leitao , Valeriy Vyatkin

The problem considered in this paper is the online diagnosis of Automated Production Systems with sensors and actuators delivering discrete binary signals that can be modeled as Discrete Event Systems. Even though there are numerous…

Machine Learning · Computer Science 2022-10-26 R Saddem , D Baptiste

Latency-insensitive design mitigates increasing interconnect delay and enables productive component reuse in complex digital systems. This design style has been adopted in high-level design flows because untimed functional blocks connected…

Logic in Computer Science · Computer Science 2021-02-19 Steve Dai , Alicia Klinefelter , Haoxing Ren , Rangharajan Venkatesan , Ben Keller , Nathaniel Pinckney , Brucek Khailany

In this paper a novel approach to co-design controller and attack detector for nonlinear cyber-physical systems affected by false data injection (FDI) attack is proposed. We augment the model predictive controller with an additional…

Systems and Control · Electrical Eng. & Systems 2022-07-19 Mohammadreza Chamanbaz , Fabrizio Dabbene , Roland Bouffanais

Fault-tolerant distributed algorithms are central for building reliable spatially distributed systems. Unfortunately, the lack of a canonical precise framework for fault-tolerant algorithms is an obstacle for both verification and…

Formal Languages and Automata Theory · Computer Science 2012-10-16 Annu John , Igor Konnov , Ulrich Schmid , Helmut Veith , Josef Widder

Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems, craves for more powerful tools, which are now becoming…

Software Engineering · Computer Science 2021-02-09 Alexander Weiss , Smitha Gautham , Athira Varma Jayakumar , Carl Elks , D. Richard Kuhn , Raghu N. Kacker , Thomas B. Preusser

The implementation of strategies for fault detection and diagnosis on rotating electrical machines is crucial for the reliability and safety of modern industrial systems. The contribution of this work is a methodology that combines…

Systems and Control · Electrical Eng. & Systems 2023-06-19 María Barroso , José M. Bossio , Carlos M. Alaíz , Ángela Fernández

Intelligent fault diagnosis has become an indispensable technique for ensuring machinery reliability. However, existing methods suffer significant performance decline in real-world scenarios where models are tested under unseen working…

Artificial Intelligence · Computer Science 2026-01-01 Pengcheng Xia , Yixiang Huang , Chengjin Qin , Chengliang Liu