Pages that link to "Item:Q4978656"
From MaRDI portal
The following pages link to Decentralized Prognosis of Failures in Discrete Event Systems (Q4978656):
Displaying 20 items.
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound (Q286345) (← 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)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Diagnosability verification using LTL model checking (Q2081084) (← links)
- Robust predictability of stochastic discrete-event systems and a polynomial-time verification (Q2165974) (← 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)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
- Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)
- Robust and nonlinear control literature survey (No. 17) (Q2928320) (← links)
- A Canonical Contraction for Safe Petri Nets (Q3452474) (← 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)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)
- Reliable fuzzy prognosability of decentralized fuzzy discrete-event systems and verification algorithm (Q6492621) (← links)
