Nothing Special   »   [go: up one dir, main page]

Carvalho et al., 2011 - Google Patents

Generalized robust diagnosability of discrete event systems

Carvalho et al., 2011

View PDF
Document ID
6130298843177936774
Author
Carvalho L
Moreira M
Basilio J
Publication year
Publication venue
IFAC Proceedings Volumes

External Links

Snippet

We address the problem of robust diagnosability of discrete event systems described by a class of automata, where each automaton in the class generates a distinct language. We introduce a new definition which generalizes all previous definitions of robust diagnosability; …
Continue reading at www.nt.ntnu.no (PDF) (other versions)

Classifications

    • 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
    • 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
    • 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
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • 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
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors

Similar Documents

Publication Publication Date Title
Jiang et al. Failure diagnosis of discrete-event systems with linear-time temporal logic specifications
Qiu et al. Decentralized failure diagnosis of discrete event systems
Moreira et al. Polynomial time verification of decentralized diagnosability of discrete event systems
Carvalho et al. Generalized robust diagnosability of discrete event systems
Basilio et al. Robust codiagnosability of discrete event systems
Tomola et al. Robust disjunctive-codiagnosability of discrete-event systems against permanent loss of observations
Qiu et al. Distributed diagnosis under bounded-delay communication of immediately forwarded local observations
Viana et al. Codiagnosability analysis of discrete-event systems modeled by weighted automata
Jiang et al. Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications
Lefebvre et al. Stochastic Petri net identification for the fault detection and isolation of discrete event systems
Takai et al. A generalized framework for inference-based diagnosis of discrete event systems capturing both disjunctive and conjunctive decision-making
Cabral et al. Online fault diagnosis of modular discrete-event systems
de MC Machado et al. Event-based automaton model for identification of discrete-event systems for fault detection
Panteli et al. Intersection based decentralized diagnosis: Implementation and verification
Pencolé et al. A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services.
Alves et al. State estimation and detectability of networked discrete event systems with multi-channel communication networks
Boroday et al. Can a model checker generate tests for non-deterministic systems?
Bhattacharyya et al. A discrete event systems approach to network fault management: detection and diagnosis of faults
Carvalho et al. Robust diagnosability of discrete event systems subject to intermittent sensor failures
Viana et al. Computation of the maximum time for failure diagnosis of discrete-event systems
Hou et al. A new approach for verification of delay co-observability of discrete-event systems
Li et al. Robust diagnosability analysis of discrete event systems using labeled Petri nets
Li et al. Polynomial time verification of modular diagnosability of discrete event systems
Grastien et al. Discrete-event systems fault diagnosis
Takai et al. Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems