Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
type: Item
instance of: scholarly article
title: Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
zbMATH Open document ID: 1386.93194
author: Leonardo Bermeo Clavijo
author: J. C. Basilio
published in: Discrete Event Dynamic Systems
publication date: 2017-12-18T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6819728
zbMATH Keywords: discrete-event systems
zbMATH Keywords: automaton
zbMATH Keywords: language diagnosability verification
zbMATH Keywords: scientific computation
describes a project that uses: car
describes a project that uses: carData
describes a project that uses: REGAL
MaRDI profile type: Publication
full work available at URL: s10626-017-0260-y
OpenAlex ID: W2742187848
cites work: Enumeration and generation with a string automata representation
cites work: Q3077339
cites work: Enumeration and random generation of accessible automata
cites work: Probability and Random Processes for Electrical and Computer Engineers
cites work: A polynomial algorithm for testing diagnosability of discrete-event systems
cites work: On a structural property in the state complexity of projected regular languages
cites work: On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata
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: Q3727828
cites work: Q4763563
cites work: Diagnosability of discrete-event systems
cites work: Polynomial-time verification of diagnosability of partially observed discrete-event systems
DOI: 10.1007/S10626-017-0260-Y
description: scientific article; zbMATH DE number 6819728