Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Overview of fault diagnosis methods for discrete event systems
J Zaytoon, S Lafortune - Annual Reviews in Control, 2013 - Elsevier
Abstract Fault diagnosis of Discrete Event Systems has become an active research area in
recent years. The research activity in this area is driven by the needs of many different …
recent years. The research activity in this area is driven by the needs of many different …
On the history of diagnosability and opacity in discrete event systems
This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …
development of a theory of event diagnosis for discrete event systems modeled by finite …
[КНИГА][B] Introduction to discrete event systems
CG Cassandras, S Lafortune - 2008 - Springer
After going through all the previous chapters, it would be natural for readers to conclude that
DES are inherently complex and hard to analyze, regardless of the modeling framework …
DES are inherently complex and hard to analyze, regardless of the modeling framework …
[КНИГА][B] Introduction to diagnosis and fault-tolerant control
Introduction to Diagnosis and Fault-Tolerant Control | SpringerLink Skip to main content
Advertisement Springer Nature Link Account Menu Find a journal Publish with us Track your …
Advertisement Springer Nature Link Account Menu Find a journal Publish with us Track your …
Polynomial time verification of decentralized diagnosability of discrete event systems
The first step in the diagnosis of failure occurrences in discrete event systems is the
verification of the system diagnosability. Several works have addressed this problem using …
verification of the system diagnosability. Several works have addressed this problem using …
Decentralized diagnosis by Petri nets and integer linear programming
This paper proposes a novel decentralized on-line fault diagnosis approach based on the
solution of some integer linear programming problems for discrete event systems in a Petri …
solution of some integer linear programming problems for discrete event systems in a Petri …
Decentralised LTL monitoring
Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …
Robust diagnosis of discrete event systems against intermittent loss of observations
In the usual approaches to fault diagnosis of discrete event systems it is assumed that not
only all sensors work properly but also all information reported by sensors always reaches …
only all sensors work properly but also all information reported by sensors always reaches …
Decentralised LTL monitoring
A Bauer, Y Falcone - Formal Methods in System Design, 2016 - Springer
Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …
Robust diagnosis of discrete-event systems against permanent loss of observations
We consider the problem of diagnosing the occurrence of a certain unobservable event of
interest, the fault event, in the operation of a partially-observed discrete-event system subject …
interest, the fault event, in the operation of a partially-observed discrete-event system subject …