[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Sampath et al., 1998 - Google Patents

Active diagnosis of discrete-event systems

Sampath et al., 1998

View PDF
Document ID
9616152044298380917
Author
Sampath M
Lafortune S
Teneketzis D
Publication year
Publication venue
IEEE transactions on automatic control

External Links

Snippet

The need for accurate and timely diagnosis of system failures and the advantages of automated diagnostic systems are well appreciated. However, diagnosability considerations are often not explicitly taken into account in the system design. In particular, design of the …
Continue reading at web.eecs.umich.edu (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3185—Reconfiguring for testing, e.g. LSSD, partitioning
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
    • G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
    • G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model

Similar Documents

Publication Publication Date Title
Sampath et al. Active diagnosis of discrete-event systems
Zad et al. Fault diagnosis in discrete-event systems: Framework and model reduction
Jiang et al. Failure diagnosis of discrete-event systems with linear-time temporal logic specifications
Contant et al. Diagnosis of intermittent faults
Jiang et al. Optimal sensor selection for discrete-event systems with partial observation
Qiu et al. Decentralized failure diagnosis of discrete event systems
Paoli et al. Safe diagnosability for fault-tolerant supervision of discrete-event systems
En-Nouaary et al. Timed test cases generation based on state characterization technique
Lunze et al. State observation and diagnosis of discrete-event systems described by stochastic automata
Grastien et al. Conflict-based diagnosis of discrete event systems: theory and practice
Wang et al. Whodunit? causal analysis for counterexamples
Singh et al. Software reliability early prediction in architectural design phase: Overview and Limitations
Blundell et al. Assume-guarantee testing
Yoo et al. On the computational complexity of some problems arising in partially-observed discrete-event systems
Cassandras et al. Languages and automata
Xiao et al. Robust fault prognosis of discrete-event systems against loss of observations
Fang et al. Diagnosis of board-level functional failures under uncertainty using Dempster–Shafer theory
EP2153240B1 (en) Troubleshooting temporal behavior in "combinational" circuits
Abramovici A maximal resolution guided-probe testing algorithm
Chockler et al. Easier and more informative vacuity checks
Huang Diagnosability in concurrent probabilistic systems
Jha et al. Localizing transient faults using dynamic bayesian networks
Cavalcanti et al. A note on traces refinement and the conf relation in the Unifying Theories of Programming
Menzies et al. How many tests are enough
Ribot et al. Design requirements for the diagnosability of distributed discrete event systems