[КНИГА][B] Introduction to diagnosis and fault-tolerant control

M Blanke, M Kinnaert, J Lunze, M Staroswiecki… - 2016 - Springer
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 …

Multi-dimensional modeling and abnormality handling of digital twin shop floor

B **ao, Q Qi, F Tao - Journal of Industrial Information Integration, 2023 - Elsevier
Digital twin is an enabling technology of smart manufacturing. The core of the manufacturing
is the shop floor, where the digital twin shop floor (DTS) is applied to facilitate its …

Analysis and control for resilience of discrete event systems: Fault diagnosis, opacity and cyber security

JC Basilio, CN Hadjicostis, R Su - Foundations and Trends® …, 2021 - nowpublishers.com
Abstract System resilience captures the ability of the system to withstand a major disruption
within acceptable performance degradation and to recover within an acceptable time frame …

A new approach for diagnosability analysis of Petri nets using verifier nets

MP Cabasino, A Giua, S Lafortune… - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the
standard notion of diagnosability of languages, requiring that every occurrence of an …

An efficient approach for online diagnosis of discrete event systems

F Basile, P Chiacchio… - IEEE Transactions on …, 2009 - ieeexplore.ieee.org
A novel approach to fault diagnosis of discrete event systems is presented in this paper. The
standard approach is based on the offline computation of the set of fault events that may …

Online fault diagnosis of discrete event systems. A Petri net-based approach

A Ramírez-Treviño, E Ruiz-Beltrán… - IEEE Transactions …, 2007 - ieeexplore.ieee.org
This paper is concerned with an online model-based fault diagnosis of discrete event
systems. The model of the system is built using the interpreted Petri nets (IPN) formalism …

On-line fault detection in discrete event systems by Petri nets and integer linear programming

M Dotoli, MP Fanti, AM Mangini, W Ukovich - Automatica, 2009 - Elsevier
The paper addresses the fault detection problem for discrete event systems in a Petri Net
(PN) framework. Assuming that the structure of the PN model and the initial marking are …

Distributed diagnosis of place-bordered Petri nets

S Genc, S Lafortune - IEEE Transactions on automation …, 2007 - ieeexplore.ieee.org
This paper studies online fault detection and isolation of modular dynamic systems modeled
as sets of place-bordered Petri nets. The common places among the set of Petri nets …

Diagnosability of discrete event systems with modular structure

O Contant, S Lafortune, D Teneketzis - Discrete Event Dynamic Systems, 2006 - Springer
The diagnosis of unobservable faults in large and complex discrete event systems modeled
by parallel composition of automata is considered. A modular approach is developed for …

Distributed monitoring of concurrent and asynchronous systems

E Fabre, A Benveniste, S Haar, C Jard - Discrete Event Dynamic Systems, 2005 - Springer
In this paper we study the diagnosis of distributed asynchronous systems with concurrency.
Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our …