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

References

• Alur , R , Henzinger , TA and Ho , PH . 1996 . Automatic Symbolic Verification of Embedded Systems . IEEE Transactions on Software Engineering , 22 : 181 – 201 .
   Web of Science ®Google Scholar
• Alur , R , Courcoubetis , C , Halbwachs , N , Henzinger , TA , Ho , P-H , Nicollin , X , Olivero , A , Sifakis , J and Yovine , S . 1995 . The Algorithmic Analysis of Hybrid Systems . Theoretical Computer Science , 138 : 3 – 34 .
   Web of Science ®Google Scholar
• Bavishi , S and Chong , E . 1994 . Automated Fault Diagnosis using a Discrete Event Systems Framework . IEEE International Symposium on Intelligent Control , : 213 – 218 .
   Google Scholar
• Benveniste , A , Fabre , E , Haar , S and Jard , C . 2003 . Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach . IEEE Transactions on Automatic Control , 48 : 714 – 727 .
   Web of Science ®Google Scholar
• Bhowal , P , Sarkar , D , Mukhopadhyay , S and Basu , A . 2007 . Fault Diagnosis in Discrete Time Hybrid Systems–A Case Study . Information Science , 177 : 1290 – 1308 .
   Google Scholar
• Biswas , S , Sarkar , D , Bhowal , P and Mukhopadhyay , S . 2007 . Diagnosis of Delay-deadline Failures in Real Time Discrete Event Models . ISA Transactions , June : 569 – 582 .
   PubMedGoogle Scholar
• Biswas , S , Sarkar , D , Mukhopadhyay , S and Patra , A . 2008 . Diagnosability Analysis of Fair Discrete Event Systems . Asian Journal of Control , 10 : 651 – 665 .
   Google Scholar
• Biswas , S , Sarkar , D , Mukhopadhyay , S and Patra , A . 2010 . Fairness of Transitions in Diagnosability of Discrete Event Systems . Journal of Discrete Event Dynamic Systems , DOI: 10.1007/s10626-009-0077-4
   PubMedGoogle Scholar
• Boel, R.K., and Jiroveanu, G. (2004), ‘Distributed Contextual Diagnosis for Very Large Systems’, in International Workshop on Discrete Event Systems, Reims, France, pp. 343–348.
   Google Scholar
• Boubour, R., Jard, C., Aghasaryan, A., Fabre, E., and Benveniste, A. (1997), ‘A Petri Net Approach to Fault Detection and Diagnosis in Distributed Systems (PArt 1 and Part 2)’, in Conference on Decision and Control, pp. 720–731.
   Google Scholar
• Brandin , BA and Wonham , WM . 1994 . Supervisory Control of Timed Discrete Event Systems . IEEE Transactions on Automatic Control , 39 : 329 – 342 .
   Web of Science ®Google Scholar
• Clarke , EM , Grumberg , O and Peled , D . 2000 . Model Checking , Cambridge, MA : The MIT Press .
   Google Scholar
• Debouk, R. (2000), ‘Failure Diagnosis of Decentralised Discrete Event Systems’, Ph.D. dissertation, Electrical Engineering and Computer Science Department, University of Michigan, Ann Arbor, MI.
   Google Scholar
• Frehse , G . 2005 . PhAVer: Algorithmic Verification of Hybrid Systems Past Hytech . International Workshop on Hybrid Systems: Computation and Control , : 258 – 273 .
   Google Scholar
• Giua, A. (1997), ‘Petri Net State Estimators Based on Event Observation’, in International Conference on Decision and Control, pp. 4086–4091.
   Google Scholar
• Hadjicostis , CN and Verghese , GC . 1999 . Monitoring Discrete Event Systems Using Petri Net Embeddings . Application and Theory of Petri Nets (Series Lecture Notes in Computer Science) , : 188 – 207 .
   Google Scholar
• Hamscher , W , Console , L and de Kleer , J . 1992 . Readings in Model-based Diagnosis , San Mateo : Morgan Kaufmann Publishers .
   Google Scholar
• Hillston , J . 1996 . A Compositional Approach to Performance Modelling , New York : Cambridge University Press .
   Google Scholar
• Huth , M and Ryan , M . 2004 . Logic in Computer Science: Modelling and Reasoning About Systems , Cambridge, , UK : Cambridge University Press .
   Google Scholar
• Jiang, S., and Kumar, R. (2002), ‘Failure Diagnosis of Discrete Event Systems with Linear-Time Temporal Logic Fault Specificatioans’, in Proceedings of the 2002 American Control Conference, pp. 128–133.
   Google Scholar
• Kupferman, O., and Vardi, Y.M. (1996), ‘Verification of Fair Transition Systems’, in International Conference on Computer Aided Verification, pp. 372–382.
   Google Scholar
• Lafortune, S., Teneketzis, D., Sampath, M., Sengupta, R., and Sinnamohideen, K. (2001), ‘Failure Diagnosis of Dynamic Systems: an Approach Based on Discrete Event Systems’, in American Control Conference, pp. 2058–2071.
   Google Scholar
• Lamperti , G and Zanella , M . 1999 . Diagnosis of Discrete Event Systems Integrating Synchronous and Asynchronous Behavior . 9th International Workshop on Principles of Diagnosis , : 129 – 139 .
   Google Scholar
• Lin , F . 1994 . Diagnosability of Discrete Event Systems and Its Application . Discrete Event Dynamical Systems: Theory and Application , 4 : 197 – 212 .
   Google Scholar
• Nuutila , E and Soisalon-Soininen , E . 1994 . On Finding the Strongly Connected Components in a Directed Graph . Information Processing Letters , 49 : 9 – 14 .
   Google Scholar
• Ostroff , JS . 1990 . Deciding Properties of Timed Transition Models . IEEE Transactions on Parallel and Distributed Systems , 1 : 170 – 183 .
   Google Scholar
• Ostroff , JS and Wonham , WM . 1990 . A Framework for Real-time Discrete Event Control . IEEE Transactions on Automatic Control , 35 : 386 – 397 .
   Web of Science ®Google Scholar
• Sampath , M , Sengupta , R , Lafortune , S , Sinnamohideen , K and Teneketzis , DC . 1995 . Diagnosability of Discrete-event Systems . IEEE Transactions on Automatic Control , 40 : 1555 – 1575 .
   Web of Science ®Google Scholar
• Sampath , M , Sengupta , R , Lafortune , S , Sinnamohideen , K and Teneketzis , DC . 1996 . Failure Diagnosis Using Discrete-event Models . IEEE Transactions on Control Systems Technology , 4 : 105 – 124 .
   Web of Science ®Google Scholar
• Yoo , TS and Lafortune , S . 2002 . Polynomial-time Verification of Diagnosability of Partially Observed Discrete-event Systems . IEEE Transactions Automatic Control , 47 : 1491 – 1495 .
   Web of Science ®Google Scholar
• Zad , SH , Kwong , RH and Wonham , WM . 2003 . Fault Diagnosis in Discrete-event Systems: Framework and Model Reduction . IEEE Transactions on Automatic Control , 48 : 1199 – 1212 .
   Web of Science ®Google Scholar
• Zad , SH , Kwong , RH and Wonham , WM . 2005 . Fault Diagnosis in Discrete-event Systems: Incorporating Timing Information . IEEE Transactions on Automatic Control , 50 : 1010 – 1015 .
   Google Scholar