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):
Displaying 25 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)
- The predictability of discrete event systems (Q3033354) (← links)
- Dynamics and predictions in the co-event interpretation (Q3637471) (← links)
- Predictions of large events on a spring-block model (Q4390186) (← 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)
- Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques (Q6491085) (← links)
- Reliable fuzzy prognosability of decentralized fuzzy discrete-event systems and verification algorithm (Q6492621) (← links)
