Predictability of event occurrences in partially-observed discrete-event systems
From MaRDI portal
Publication:1012718
DOI10.1016/j.automatica.2008.06.022zbMath1158.93366OpenAlexW2041545457MaRDI QIDQ1012718
Sahika Genc, Stéphane Lafortune
Publication date: 22 April 2009
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2008.06.022
Related Items (20)
Decentralized fault prognosis of discrete event systems with guaranteed performance bound ⋮ What topology tells us about diagnosability in partial order semantics ⋮ Robust predictability of stochastic discrete-event systems and a polynomial-time verification ⋮ Fault prognosis of timed stochastic discrete event systems with bounded estimation error ⋮ Approximate predictability of pseudo-metric systems ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ Predictability of fuzzy discrete event systems ⋮ Assumption-based runtime verification ⋮ Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ I-S detectability of partially-observed discrete event systems: a novel matrix-based method ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ On Fault Predictability in Stochastic Discrete Event Systems ⋮ A general approach for optimizing dynamic sensor activation for discrete event systems ⋮ Faults prognosis using partially observed stochastic Petri nets: an incremental approach ⋮ Predictability of event occurrences in partially-observed discrete-event systems ⋮ Relative predictability of failure event occurrences and its opacity-based test algorithm ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach ⋮ Robust prognosability for a set of partially observed discrete event systems
Uses Software
Cites Work
- Unnamed Item
- Predictability of event occurrences in partially-observed discrete-event systems
- The predictability of discrete event systems
- Active diagnosis of discrete-event systems
- Diagnosability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
This page was built for publication: Predictability of event occurrences in partially-observed discrete-event systems
