Pages that link to "Item:Q1012718"
From MaRDI portal
The following pages link to Predictability of event occurrences in partially-observed discrete-event systems (Q1012718):
Displayed 20 items.
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound (Q286345) (← links)
- What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
- Predictability of event occurrences in partially-observed discrete-event systems (Q1012718) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Predictability of fuzzy discrete event systems (Q1686853) (← links)
- Faults prognosis using partially observed stochastic Petri nets: an incremental approach (Q1788693) (← links)
- Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach (Q2060855) (← links)
- Robust predictability of stochastic discrete-event systems and a polynomial-time verification (Q2165974) (← links)
- Approximate predictability of pseudo-metric systems (Q2178224) (← links)
- A general approach for optimizing dynamic sensor activation for discrete event systems (Q2280709) (← links)
- Robust prognosability for a set of partially observed discrete event systems (Q2342521) (← links)
- Fault prognosis of timed stochastic discrete event systems with bounded estimation error (Q2409123) (← links)
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method (Q2687822) (← links)
- Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)
- Relative predictability of failure event occurrences and its opacity-based test algorithm (Q4967673) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- On Fault Predictability in Stochastic Discrete Event Systems (Q5416975) (← links)
- Assumption-based runtime verification (Q6102167) (← links)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)