Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults (Q3777458)

From MaRDI portal





scientific article; zbMATH DE number 4039301
Language Label Description Also known as
default for all languages
No label defined
    English
    Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults
    scientific article; zbMATH DE number 4039301

      Statements

      Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults (English)
      0 references
      1987
      0 references
      branch-and-bound algorithm
      0 references
      undetectable output faults
      0 references
      fault-detection
      0 references
      finite-state machine
      0 references
      probabilistic machine
      0 references
      optimal abstraction
      0 references
      observer
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references