Global and local consistencies in distributed fault diagnosis for discrete-event systems

DOI10.1109/TAC.2005.860291zbMath1365.93303OpenAlexW2100968350MaRDI QIDQ5274234

Publication date: 12 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2005.860291

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Adaptive control of robotic systems with unknown actuator nonlinearities and control directions, Hierarchical fault diagnosis for discrete-event systems under global consistency, Adaptive dynamic surface error constrained control for MIMO systems with backlash-like hysteresis via prediction error technique, Fault diagnosis in discrete time hybrid systems -- a case study, Minimal diagnosis and diagnosability of discrete-event systems modeled by automata, Asymptotic tracking control of uncertain nonlinear systems with unknown actuator nonlinearity and unknown gain signs, Design of decentralized critical observers for networks of finite state machines: a formal method approach, Decentralized fault free model approach for fault detection and isolation of discrete event systems, Decentralized diagnosis of discrete event systems subject to permanent sensor failures, Codiagnosability and coobservability under dynamic observations: transformation and verification, A language-based diagnosis framework for permanent and intermittent faults, A new algorithm for testing diagnosability of fuzzy discrete event systems, Diagnosability of Discrete Faults with Uncertain Observations, Natural projection as partial model checking, Robust adaptive control for a class of perturbed strict-feedback non-linear systems with unknown Prandtl-Ishlinskii hysteresis, Diagnosis of Deep Discrete-Event Systems, An event-based distributed diagnosis framework using structural model decomposition, Operator-based robust control for nonlinear systems with Prandtl–Ishlinskii hysteresis, Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions, A distributed approach for fault detection and diagnosis based on time Petri nets, Nonconflict check by using sequential automaton abstractions based on weak observation equivalence, Abstraction-based verification of codiagnosability for discrete event systems, State-based fault diagnosis of discrete-event systems with partially observable outputs, Zero-error tracking control of uncertain nonlinear systems in the presence of actuator hysteresis, Implementation of inference-based diagnosis: computing delay bound and ambiguity levels, Decentralised adaptive output feedback control for interconnected nonlinear systems preceded by unknown hysteresis, Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems, Robust adaptive tracking control of MIMO nonlinear systems in the presence of actuator hysteresis, Discrete-Event Systems Fault Diagnosis, Adaptive control of system involving complex hysteretic nonlinearities: a generalised Prandtl–Ishlinskii modelling approach, Diagnosability verification using LTL model checking, Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems, Adaptive control for a class of nonlinear time-delay systems preceded by unknown hysteresis, Verification of safe diagnosability of stochastic discrete-event systems, Prescribed performance global stable adaptive neural dynamic surface consensus tracking control of stochastic multi-agent systems with hysteresis inputs and nonlinear dynamics

Cites Work