Diagnosability of delay-deadline failures in fair real time discrete event models

DOI10.1080/00207720903244089zbMath1200.93097OpenAlexW1975958713MaRDI QIDQ3161644

Santosh Biswas, Dipankar Sarkar, Siddhartha Mukhopadhyay

Publication date: 15 October 2010

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207720903244089

zbMATH Keywords

fairnessdiscrete event systemsfailure diagnosisreal time systems

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)

Related Items (2)

Probabilistic optimisation of checkpoint intervals for real-time multi-tasks ⋮ Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system

Uses Software

• PHAVer

Cites Work

• The algorithmic analysis of hybrid systems
• Fault diagnosis in discrete time hybrid systems -- a case study
• On finding the strongly connected components in a directed graph
• Diagnosability of discrete event systems and its applications
• A framework for real-time discrete event control
• Supervisory control of timed discrete-event systems
• Logic in Computer Science
• Diagnosability of discrete-event systems
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Fault diagnosis in discrete-event systems: incorporating timing information
• A Compositional Approach to Performance Modelling

This page was built for publication: Diagnosability of delay-deadline failures in fair real time discrete event models