A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata

Cabral, Felipe G.; Moreira, Marcos V.; Diene, Oumar; Basilio, João Carlos

doi:10.1109/tac.2014.2332238

Cited by 49 publications

(15 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Petri nets as a mathematical tool has been used to handle many problems [51]- [60] in DESs. Others use finite state automata to model and analyze CPS, such as [61], [62]. Thorsley and Teneketzis [22] studied the intrusion detection of network attacks under DES framework and how to mitigate the damage caused by attacks.…”

Section: Defense Strategiesmentioning

confidence: 99%

A Survey of Network Attacks on Cyber-Physical Systems

et al. 2020

View full text Add to dashboard Cite

A cyber-physical system (CPS) typically consists of the plant, sensors, actuators, the controller and a communication network. The communication network connects the individual components to achieve the computing and communication in the CPS. It also makes the CPS vulnerable to network attacks. How to deal with the network attacks in CPSs has become a research hotspot. This paper surveys the types of network attacks in CPSs, the intrusion detection methods and the attack defense strategies. The future research directions of CPSs network security are also presented.INDEX TERMS Cyber-physical systems, network attacks, intrusion detection, defense strategies.

show abstract

Section: Defense Strategiesmentioning

confidence: 99%

A Survey of Network Attacks on Cyber-Physical Systems

et al. 2020

View full text Add to dashboard Cite

show abstract

“…The problem of fault diagnosis, i.e., the detection and isolation of faults, has received considerable attention from the scientific community over the last years. In [27], a discrete-event approach for fault diagnosis is introduced, and since then, several works have been proposed for fault detection and isolation, and also for the verification of diagnosability of the system, i.e., the capability of identifying the occurrence of a fault event within a bounded number of event occurrences [11,22,20,8,9,7,6,5,28]. In all these works, it is assumed that the complete system behavior is known, i.e., the system behavior before and after the occurrence of fault events.…”

Section: Introductionmentioning

confidence: 99%

Fault diagnosis based on identified discrete-event models

Moreira

Lesage

2019

Control Engineering Practice

View full text Add to dashboard Cite

Fault diagnosis of Discrete-Event Systems consists of detecting and isolating the occurrence of faults within a bounded number of event occurrences. Recently, a new model for discrete-event system identification with the aim of fault detection, called Deterministic Automaton with Outputs and Conditional Transitions (DAOCT), has been proposed in the literature. The model is computed from observed fault-free paths, and represents the fault-free system behavior. In order to obtain compact models, loops are introduced in the model, which implies that sequences that are not observed can be generated leading to an exceeding language. This exceeding language is associated with possible non-detectable faults, and must be reduced in order to use the model for fault detection. After detecting the fault occurrence, its isolation is carried out by analyzing residuals. In this paper, we present a fault diagnosis scheme based on the DAOCT model. We show that the proposed fault diagnosis scheme is more efficient than other approaches proposed in the literature, in the sense that the exceeding language can be drastically reduced, reducing the number of non-detectable fault occurrences, and, in some cases, reducing also the delay for fault diagnosis. A practical example, consisting of a plant simulated by using a 3D simulation software controlled by a Programmable Logic Controller, is used to illustrate the results of the paper.

show abstract

“…Several works presented in the literature address the problem of fault diagnosis of Discrete Event Systems (DES) (Sampath et al, 1995;Qiu and Kumar, 2006;Moreira et al, 2011;Cabral et al, 2015). The fault diagnosis consists of identifying the occurrence of an unobservable fault event within a bounded number of event occurrences, based on the observation of the system events.…”

Section: Introductionmentioning

confidence: 99%

“…In the majority of the works proposed in the literature (Sampath et al, 1995;Moreira et al, 2011;Cabral et al, 2015;Debouk et al, 2000;Contant et al, 2006;Qiu and Kumar, 2006;Jiang et al, 2001;Kilic, 2008;Zad et al, 2005), the event observations are static in the sense that they do not depend on the trace executed by the system or its current state. However, in some cases, the observation of the system events are dynamic, i.e., their observations depend on the transition or the trace executed by the system (Thorsley and Teneketzis, 2007;Cassez and Tripakis, 2008;Wang et al, 2010a,b).…”

Section: Introductionmentioning

confidence: 99%

A New Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations

Silveira

Moreira

2019

Anais Do 14º Simpósio Brasileiro De Automação Inteligente

Self Cite

View full text Add to dashboard Cite

In this work, a new algorithm for verifying the codiagnosticability of the language of a discrete event system (DES) with dynamic observations is proposed. The new algorithm is an extension of a recently proposed algorithm for the verification of the codiagnosability of DES with static observations. The computational complexity of the proposed algorithm is compared with the complexity of other algorithms presented in the literature.

show abstract

A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata

Cited by 49 publications

References 28 publications

A Survey of Network Attacks on Cyber-Physical Systems

A Survey of Network Attacks on Cyber-Physical Systems

Fault diagnosis based on identified discrete-event models

A New Algorithm for the Verification of Codiagnosability of Discrete Event Systems With Dynamic Observations

Contact Info

Product

Resources

About