Codiagnosability and coobservability under dynamic observations: transformation and verification
type: Item
instance of: scholarly article
title: Codiagnosability and coobservability under dynamic observations: transformation and verification
zbMATH Open document ID: 1327.93269
author: Xiang Yin
author: Stéphane Lafortune
published in: Automatica
publication date: 2015-12-22T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93A14
Mathematics Subject Classification ID: 93B07
zbMATH DE Number: 6523649
zbMATH Keywords: discrete-event systems
zbMATH Keywords: fault diagnosis
zbMATH Keywords: supervisory control
zbMATH Keywords: diagnosability
zbMATH Keywords: observability
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.automatica.2015.08.023
OpenAlex ID: W1761337960
cites work: Robust diagnosis of discrete event systems against intermittent loss of observations
cites work: Introduction to Discrete Event Systems
cites work: The Complexity of Codiagnosability for Discrete Event and Timed Systems
cites work: Q3602752
cites work: Supervisory control of discrete-event processes with partial observations
cites work: Coordinated decentralized protocols for failure diagnosis of discrete event systems
cites work: Fault diagnosis in discrete-event systems: Framework and model reduction
cites work: Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
cites work: A polynomial algorithm for testing diagnosability of discrete-event systems
cites work: Diagnosability of discrete event systems and its applications
cites work: Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
cites work: On observability of discrete-event systems
cites work: Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
cites work: Maximal Solutions in Decentralized Supervisory Control
cites work: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
cites work: Minimal communication in a distributed discrete-event system
cites work: The computational complexity of decentralized discrete-event control problems
cites work: Think globally, act locally: decentralized supervisory control
cites work: Diagnosability of discrete-event systems
cites work: Minimal sensor activation and minimal communication in discrete-event systems
cites work: Control of discrete-event systems. Automata and Petri net perspectives
cites work: Global and local consistencies in distributed fault diagnosis for discrete-event systems
cites work: Active acquisition of information for diagnosis and supervisory control of discrete event systems
cites work: Undecidable problems of decentralized observation and control on regular languages
cites work: On Codiagnosability and Coobservability With Dynamic Observations
cites work: Optimal sensor activation for diagnosing discrete event systems
cites work: An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
cites work: Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
cites work: Diagnosis of discrete event systems using decentralized architectures
cites work: Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
cites work: Polynomial-time verification of diagnosability of partially observed discrete-event systems
DOI: 10.1016/J.AUTOMATICA.2015.08.023
description: scientific article; zbMATH DE number 6523649