Diagnosability of discrete event systems and its applications
From MaRDI portal
Publication:1329141
DOI10.1007/BF01441211zbMath0800.93030OpenAlexW2037802202MaRDI QIDQ1329141
Publication date: 29 June 1994
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01441211
Related Items
Diagnosability of delay-deadline failures in fair real time discrete event models, A uniform approach to mixed-signal circuit test, Diagnosability of discrete event systems with modular structure, Minimal diagnosis and diagnosability of discrete-event systems modeled by automata, Observability and diagnosability of finite state systems: a unifying framework, Online minimization of sensor activation for supervisory control, Approximate predictability of pseudo-metric systems, \(N\)-diagnosability for active on-line diagnosis in discrete event systems, Supervisory control to maximize mean time to failure in discrete event systems, Distributed diagnosis of discrete-event systems under dynamic event observations, Robust diagnosis of discrete event systems against intermittent loss of observations, Diagnosis of timed patterns for discrete event systems by means of state isolation, Codiagnosability and coobservability under dynamic observations: transformation and verification, Secure Diagnosability of Hybrid Dynamical Systems, Diagnosis from scenarios, Privacy preserving minimal observability for composite transactional services, Minimal sensor activation and minimal communication in discrete-event systems, State Estimation and Fault Detection Using Petri Nets, A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems, Diagnosability analysis of patterns on bounded labeled prioritized Petri nets, Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems, Computation of minimal event bases that ensure diagnosability, Active fault tolerant control of discrete event systems using online diagnostics, Centralized modular diagnosis and the phenomenon of coupling, Generalized detectability for discrete event systems, Fairness of transitions in diagnosability of discrete event systems, Opacity of discrete event systems and its applications, State-based fault diagnosis of discrete-event systems with partially observable outputs, On-line monitoring of large Petri net models under partial observation, Diagnosability analysis of a class of hierarchical state machines, Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches, Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach, Analysis of strong and strong periodic detectability of bounded labeled Petri nets, Matrix approach to detectability of discrete event systems, Diagnosability verification using LTL model checking, Safe diagnosability for fault-tolerant supervision of discrete-event systems
Cites Work
