Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q692378
ReferenceBot (talk | contribs)
Changed an Item
(6 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: João Carlos Basilio / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: car / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: carData / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: REGAL / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10626-017-0260-y / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2742187848 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Enumeration and generation with a string automata representation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3077339 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Enumeration and random generation of accessible automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probability and Random Processes for Electrical and Computer Engineers / rank
 
Normal rank
Property / cites work
 
Property / cites work: A polynomial algorithm for testing diagnosability of discrete-event systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a structural property in the state complexity of projected regular languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3727828 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4763563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diagnosability of discrete-event systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial-time verification of diagnosability of partially observed discrete-event systems / rank
 
Normal rank

Revision as of 20:42, 14 July 2024

scientific article
Language Label Description Also known as
English
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
scientific article

    Statements

    Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (English)
    0 references
    18 December 2017
    0 references
    discrete-event systems
    0 references
    automaton
    0 references
    language diagnosability verification
    0 references
    scientific computation
    0 references
    0 references
    0 references
    0 references

    Identifiers