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 boundWhat topology tells us about diagnosability in partial order semanticsRobust predictability of stochastic discrete-event systems and a polynomial-time verificationFault prognosis of timed stochastic discrete event systems with bounded estimation errorApproximate predictability of pseudo-metric systemsVerification complexity of a class of observational properties for modular discrete events systemsPredictability of fuzzy discrete event systemsAssumption-based runtime verificationDisjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictabilityOnline prognosis of stochastic discrete event systems with guaranteed performance boundI-S detectability of partially-observed discrete event systems: a novel matrix-based methodA Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event SystemsOn Fault Predictability in Stochastic Discrete Event SystemsA general approach for optimizing dynamic sensor activation for discrete event systemsFaults prognosis using partially observed stochastic Petri nets: an incremental approachPredictability of event occurrences in partially-observed discrete-event systemsRelative predictability of failure event occurrences and its opacity-based test algorithmAbstraction-Based Verification and Synthesis for Prognosis of Discrete Event SystemsThree kinds of coprognosability for partially-observed discrete event systems via a matrix approachRobust prognosability for a set of partially observed discrete event systems


Uses Software


Cites Work


This page was built for publication: Predictability of event occurrences in partially-observed discrete-event systems