Model-based fault diagnosis and prognosis of dynamic systems: A review

T Ekanayake, D Dewasurendra, S Abeyratne, L Ma… - Procedia …, 2019 - Elsevier
In maintenance of engineering systems, condition monitoring, fault diagnosis and fault
prognosis constitute some of the principal tasks. With the increase of the number of …

Safe diagnosability for fault-tolerant supervision of discrete-event systems

A Paoli, S Lafortune - Automatica, 2005 - Elsevier
The problem of achieving fault-tolerant supervision of discrete-event systems is considered
from the viewpoint of safe and timely diagnosis of unobservable faults. To this end, the new …

Intrusion detection in controlled discrete event systems

D Thorsley, D Teneketzis - … of the 45th IEEE Conference on …, 2006 - ieeexplore.ieee.org
The constituent controllers in a supervisory control system may sometimes fail as a result of
an intruder interfering with the feedback performance of the system. The intrusion may allow …

Detectability of networked discrete event systems

Y Sasi, F Lin - Discrete Event Dynamic Systems, 2018 - Springer
Detectability of discrete event systems, defined as the ability to determine the current and
subsequent states, is very important in diagnosis, control, and many other applications. So …

Improving automation software dependability: A role for formal methods?

TL Johnson - Control engineering practice, 2007 - Elsevier
The growth of manufacturing control software from simple NC and PLC-based systems to
concurrent networked systems incorporating PCs, PLCs, CNCs, and enterprise databases …

Petri-net based approach to configure online fault diagnosis systems for batch processes

YC Chen, ML Yeh, CL Hong… - Industrial & engineering …, 2010 - ACS Publications
Online fault diagnosis is a task of critical importance for maintaining a high level of
operational safety in many chemical plants. The Petri-net models are adopted in this work for …

[PDF][PDF] Fault Detection and Fault Tolerant Control for Distributed Systems

A Paoli - A General Framework" Ph. D thesis, 2003 - xdocs.pub
Automated systems are vulnerable to faults such as defects in sensors or in actuators and
failures in controllers or in control loop, which can cause un-desired reactions and …

[图书][B] Knowledge-based decision support systems for production optimization and quality improvement in the electronics industry

S Gebus - 2006 - oulurepo.oulu.fi
For the past few years, electronics manufacturing may have been the victim of its own
success. Unlike in heavier industries, rationalization is a concept that was unknown in the …

[PDF][PDF] Structure Theory of Petri Nets to deal with Diagnosability of Automated Manufacturing Systems.

A Djaker, L Sekhri - Electrotehnica, Electronica, Automatica, 2016 - eea-journal.ro
This paper presents a method for studying diagnosability of Automated Manufacturing
Systems (AMS) using structure theory of Petri nets. AMS are assumed to be modeled as …

Synthesis of Command Attackers for Cyber-Physical Systems

Y Li, L He, X Wang, H Su - 2023 China Automation Congress …, 2023 - ieeexplore.ieee.org
This paper investigates the security of commands in cyber-physical systems at the
supervisory control layer from an attacker's perspective. With observation capabilities …