A polynomial algorithm for testing diagnosability of discrete-event systems

From MaRDI portal
Publication:4540472

DOI10.1109/9.940942zbMath1008.93053OpenAlexW2147774669MaRDI QIDQ4540472

Vigyan Chandra, Shengbing Jiang, Zhongdong Huang, Ratnesh Kumar

Publication date: 21 July 2002

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

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




Related Items (66)

Decentralized fault prognosis of discrete event systems with guaranteed performance boundAccurate approximate diagnosis of (controllable) stochastic systemsEvent counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delaysPrognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspectiveDiagnosability of fair transition systemsVerification of robust diagnosability for partially observed discrete event systemsMinimal diagnosis and diagnosability of discrete-event systems modeled by automataAn improved approach for verifying delayed detectability of discrete-event systemsInitial-state detectability and initial-state opacity of unambiguous weighted automataA general framework for diagnosis of discrete event systems subject to sensor failuresMarking diagnosability verification in labeled Petri netsDiagnosability enforcement in labeled Petri nets using supervisory controlOnline minimization of sensor activation for supervisory controlDiagnosability of intermittent sensor faults in discrete event systemsVerification complexity of a class of observational properties for modular discrete events systemsDecentralized diagnosis of discrete event systems subject to permanent sensor failuresPredictability of fuzzy discrete event systemsEmpirical studies in the size of diagnosers and verifiers for diagnosability analysisPolynomial-time verification of diagnosability of fuzzy discrete event systemsSupervisory control to maximize mean time to failure in discrete event systemsDistributed diagnosis of discrete-event systems under dynamic event observationsDecentralized diagnosis of fuzzy discrete-event systemsRobust diagnosis of discrete event systems against intermittent loss of observationsDisjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictabilityDetectability in stochastic discrete event systemsGames for synthesis of controllers with partial observation.Codiagnosability and coobservability under dynamic observations: transformation and verificationProbabilistic verification of diagnosability for a certain class of timed stochastic systemsA language-based diagnosis framework for permanent and intermittent faultsA new algorithm for testing diagnosability of fuzzy discrete event systemsDiagnosability of Discrete Faults with Uncertain ObservationsAbstractions Refinement for Hybrid Systems Diagnosability AnalysisUnnamed ItemDetection and mitigation of classes of attacks in supervisory control systemsDiagnosis and degradation control for probabilistic systemsSelective monitoringDetection of unmodelled anomalous behaviours via localized controllers for condition systemsTrajectory detectability of discrete-event systemsDiagnosis of Deep Discrete-Event SystemsCodiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applicationsActive acquisition of information for diagnosis and supervisory control of discrete event systemsComputation of minimal diagnosis bases of discrete-event systems using verifiersA Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event SystemsComputation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisionsDiagnosability analysis of patterns on bounded labeled prioritized Petri netsDiagnosis of behaviors of interest in partially-observed discrete-event systemsFailure diagnosis for distributed stochastic discrete event systemsA discrete event systems approach to network fault management: detection and diagnosis of faultsAbstraction-based failure diagnosis for discrete event systemsComputation of minimal event bases that ensure diagnosabilityMulti-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systemsDiagnosability analysis of hybrid systems cast in a discrete-event frameworkGeneralized detectability for discrete event systemsState-based fault diagnosis of discrete-event systems with partially observable outputsOn-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier netsA tale of two diagnoses in probabilistic systemsDiagnosability of repairable faultsDiagnosability of discrete event systems subject to permanent sensor failuresIntermittent fault diagnosability of discrete event systems: an overview of automaton-based approachesSymbolic Execution Based Model Checking of Open Systems with Unbounded VariablesAnalysis of strong and strong periodic detectability of bounded labeled Petri netsDiscrete-Event Systems Fault DiagnosisDiagnosability verification using LTL model checkingDiagnosis and opacity problems for infinite state systems modeled by recursive tile systemsRobustly distributed diagnosis of discrete-event systems and its application to alipay transaction systemsDesign of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system




This page was built for publication: A polynomial algorithm for testing diagnosability of discrete-event systems