Pages that link to "Item:Q5267079"
From MaRDI portal
The following pages link to Polynomial-time verification of diagnosability of partially observed discrete-event systems (Q5267079):
Displaying 18 items.
- Disjunctive fault prediction of decentralized discrete event systems: verification, predictor design and K-copredictability (Q2682315) (← links)
- Diagnosability of discrete event systems subject to permanent sensor failures (Q2799301) (← links)
- Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
- Verification of safe diagnosability of stochastic discrete-event systems (Q5027364) (← links)
- Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system (Q5027572) (← links)
- Secure Diagnosability of Hybrid Dynamical Systems (Q5117251) (← links)
- Diagnosability of Discrete Faults with Uncertain Observations (Q5117253) (← links)
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis (Q5117254) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Discrete-Event Systems Fault Diagnosis (Q5237329) (← links)
- Diagnosis and Automata (Q5496923) (← links)
- Supervisory control to maximize mean time to failure in discrete event systems (Q6080670) (← links)
- Distributed diagnosis of discrete-event systems under dynamic event observations (Q6082773) (← links)
- Diagnosis of timed patterns for discrete event systems by means of state isolation (Q6110300) (← links)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems (Q6174049) (← links)
- A language-based diagnosis framework for permanent and intermittent faults (Q6175604) (← links)
- Diagnosability of fault patterns with labeled stochastic Petri nets (Q6190046) (← links)
