Diagnosability of discrete-event systems
From MaRDI portal
Publication:4852346
DOI10.1109/9.412626zbMath0839.93072OpenAlexW1985787415MaRDI QIDQ4852346
Kasim Sinnamohideen, Meera Sampath, Stéphane Lafortune, Demosthenis Teneketzis, Raja Sengupta
Publication date: 30 October 1995
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/9463da61f5ec3a558253efa651f2715c9ff40e1f
Reliability, availability, maintenance, inspection in operations research (90B25) Estimation and detection in stochastic control theory (93E10) General systems (93A10)
Related Items (only showing first 100 items - show all)
Manufacturing system design with optimal diagnosability ⋮ Diagnosability of delay-deadline failures in fair real time discrete event models ⋮ Optimal sensor selection for ensuring diagnosability in labeled Petri nets ⋮ Verification of opacity and diagnosability for pushdown systems ⋮ A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization ⋮ Verification of robust diagnosability for partially observed discrete event systems ⋮ Minimal diagnosis and diagnosability of discrete-event systems modeled by automata ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ A general framework for diagnosis of discrete event systems subject to sensor failures ⋮ Marking diagnosability verification in labeled Petri nets ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach ⋮ Fault prognosis of timed stochastic discrete event systems with bounded estimation error ⋮ Observability and diagnosability of finite state systems: a unifying framework ⋮ Online minimization of sensor activation for supervisory control ⋮ Diagnosability of intermittent sensor faults in discrete event systems ⋮ Correctability of fault-tolerant stochastic discrete-event systems ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification ⋮ Supervisory control to maximize mean time to failure in discrete event systems ⋮ Distributed diagnosis of discrete-event systems under dynamic event observations ⋮ Assumption-based runtime verification ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Diagnosis of timed patterns for discrete event systems by means of state isolation ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ A language-based diagnosis framework for permanent and intermittent faults ⋮ Diagnosability of fault patterns with labeled stochastic Petri nets ⋮ Secure Diagnosability of Hybrid Dynamical Systems ⋮ Diagnosability of Discrete Faults with Uncertain Observations ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Hybrid Bond-Graph Possible Conflicts for Hybrid Systems Fault Diagnosis ⋮ Diagnosis of Hybrid Dynamic Systems Based on the Behavior Automaton Abstraction ⋮ Unnamed Item ⋮ Fault-tolerant continuous flow systems modelling ⋮ Detection of unmodelled anomalous behaviours via localized controllers for condition systems ⋮ Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems ⋮ Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques ⋮ A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks ⋮ Investigating the solution space for online iterative explanation in goal reasoning agents ⋮ Diagnosis of Deep Discrete-Event Systems ⋮ Some contributions with Petri nets for the modelling, analysis and control of HDS ⋮ Active acquisition of information for diagnosis and supervisory control of discrete event systems ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ Partial order techniques for distributed discrete event systems: why you cannot avoid using them ⋮ Diagnosability of fuzzy discrete event systems ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ A GENERAL NOTION OF UNIFORM STRATEGIES ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems ⋮ A discrete event systems approach to network fault management: detection and diagnosis of faults ⋮ On Fault Predictability in Stochastic Discrete Event Systems ⋮ Diagnosability analysis of hybrid systems cast in a discrete-event framework ⋮ State observability and condition observability for a class of interacting discrete event systems ⋮ Study of the diagnosability of automated production systems based on functional graphs ⋮ A representation for coordination fault detection in large-scale multi-agent systems ⋮ Generalised projections in finite state automata and decidability of state determinacy ⋮ Logical models of discrete even systems: a comparative exposition ⋮ A tale of two diagnoses in probabilistic systems ⋮ State estimation of max-plus automata with unobservable events ⋮ Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems ⋮ Discrete event system identification with the aim of fault detection ⋮ Diagnosability of discrete event systems subject to permanent sensor failures ⋮ Relative predictability of failure event occurrences and its opacity-based test algorithm ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Discrete-Event Systems Fault Diagnosis ⋮ Diagnosis and Automata ⋮ Diagnosis of Petri Nets ⋮ The On-Line Diagnosis of Time Petri Nets ⋮ Fault-tolerant cooperative tasking for multi-agent systems ⋮ Set-membership parity space hybrid system diagnosis ⋮ Safe diagnosability for fault-tolerant supervision of discrete-event systems ⋮ Observable liveness of Petri nets ⋮ FDI(R) for satellites: How to deal with high availability and robustness in the space domain? ⋮ Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems ⋮ Verification of safe diagnosability of stochastic discrete-event systems ⋮ Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system ⋮ Fault diagnosis for a class of nonlinear uncertain hybrid systems ⋮ \(K\)-loss robust codiagnosability of discrete-event systems ⋮ \(k\)-memory-embedded insertion mechanism for opacity enforcement ⋮ A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata ⋮ Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays ⋮ Fault diagnosis in discrete event systems modeled by partially observed Petri nets ⋮ Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective ⋮ Optimal constructions for active diagnosis ⋮ On controlled mode discernibility for nonlinear hybrid systems with unknown exogenous input ⋮ Diagnosability of discrete event systems with modular structure ⋮ Diagnosability of fair transition systems ⋮ Safe supervisory control under observability failure ⋮ What topology tells us about diagnosability in partial order semantics ⋮ Fault diagnosis in discrete time hybrid systems -- a case study ⋮ Robust predictability of stochastic discrete-event systems and a polynomial-time verification ⋮ Stochastic DES fault diagnosis with coloured interpreted Petri nets ⋮ SetExp: a method of transformation of timed automata into finite state automata ⋮ Comparative analysis of related notions of opacity in centralized and coordinated architectures ⋮ Approximate predictability of pseudo-metric systems
This page was built for publication: Diagnosability of discrete-event systems
