scientific article; zbMATH DE number 7266483
From MaRDI portal
Publication:5129489
Recommendations
- Safe diagnosability of timed discrete-event systems
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Polynomial-time verification of safe diagnosability of discrete-event systems
- Verification of safe diagnosability of stochastic discrete-event systems
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
Cited in
(6)- scientific article; zbMATH DE number 1515850 (Why is no real title available?)
- Safe diagnosability of timed discrete-event systems
- Diagnosis of timed patterns for discrete event systems by means of state isolation
- Verification of safe diagnosability of stochastic discrete-event systems
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Polynomial-time verification of safe diagnosability of discrete-event systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5129489)