Computation of minimal diagnosis bases of discrete-event systems using verifiers
type: Item
instance of: scholarly article
title: Computation of minimal diagnosis bases of discrete-event systems using verifiers
zbMATH Open document ID: 1355.93120
author: Leonardo P. M. Santoro
author: M. V. Moreira
author: J. C. Basilio
published in: Automatica
publication date: 2017-02-16T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B11
Mathematics Subject Classification ID: 93B40
zbMATH DE Number: 6685174
zbMATH Keywords: discrete-event systems
zbMATH Keywords: fault diagnosis
zbMATH Keywords: minimal diagnosis bases
zbMATH Keywords: verifiers
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.automatica.2016.11.026
OpenAlex ID: W2573493234
cites work: Computation of minimal event bases that ensure diagnosability
cites work: A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
cites work: Optimal sensor selection for ensuring diagnosability in labeled Petri nets
cites work: A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
cites work: Robust diagnosis of discrete-event systems against permanent loss of observations
cites work: Introduction to Discrete Event Systems
cites work: Q3602752
cites work: Diagnosability of discrete event systems with modular structure
cites work: Q3619846
cites work: Coordinated decentralized protocols for failure diagnosis of discrete event systems
cites work: On an optimization problem in sensor selection
cites work: A polynomial algorithm for testing diagnosability of discrete-event systems
cites work: Optimal sensor selection for discrete-event systems with partial observation
cites work: Finding All the Elementary Circuits of a Directed Graph
cites work: “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal
cites work: Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
cites work: Active diagnosis of discrete-event systems
cites work: Diagnosability of discrete-event systems
cites work: Polynomial-time verification of diagnosability of partially observed discrete-event systems
cites work: Fault diagnosis in discrete-event systems: Framework and model reduction
DOI: 10.1016/J.AUTOMATICA.2016.11.026
Recommended article: Minimal diagnosis and diagnosability of discrete-event systems modeled by automata
Recommended article: Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
Recommended article: Polynomial-time verification of diagnosability of partially observed discrete-event systems
Recommended article: Q4574716
Recommended article: Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study
Recommended article: Computation of minimal event bases that ensure diagnosability
Recommended article: Abstraction-based verification of codiagnosability for discrete event systems
Recommended article: Verification complexity of a class of observational properties for modular discrete events systems
Recommended article: Verification of safe diagnosability of stochastic discrete-event systems
Recommended article: Verification of robust diagnosability for partially observed discrete event systems
description: scientific article; zbMATH DE number 6685174