Modelling and hierarchical diagnosis of timed discrete-event systems

References

• Blanke , M. , Kinnaert , M. , Lunze , J. and Staroswiecki , M. 2003 . Diagnosis and fault-tolerant control , Berlin : Springer-Verlag .
   Google Scholar
• Sampath , M. , Sengupta , R. , Lafortune , S. , Sinnamohideen , K. and Teneketzis , D. C. 1996 . Failure diagnosis using discrete-event models . IEEE Transactions on Control Systems Technology , 4 : 105 – 124 .
   Web of Science ®Google Scholar
• Hashtrudi Zad , S. , Kwong , R. H. and Wonham , W. M. . Fault diagnosis in timed discrete-event systems . In Proc. 38th IEEE Conference on Decision and Control . 7 – 10 December 1999 . pp. 1756 – 1761 . Phoenix
   Google Scholar
• Pandalai , D. N. and Holloway , L. E. 2000 . Template languages for fault monitoring of timed discrete event processes . IEEE Transactions on Automatic Control , 45 : 86 – 882 .
   Google Scholar
• Srinivasan , V. S. and Jafari , M. A. 1993 . Fault detection/monitoring using time petri nets . IEEE Transactions on Systems, Man and Cybernetics , 23 : 1155 – 1162 .
   Web of Science ®Google Scholar
• Lunze , J. 2000 . Diagnosis of quantized systems based on a timed discrete-event model . IEEE Transactions on Systems, Man and Cybernetics, Part A , 30 : 322 – 335 .
   PubMed Web of Science ®Google Scholar
• Mozetic , I. 1991 . Hierarchical model-based diagnosis . International Journal of Man-Machine Studies , 35 : 329 – 362 .
   Google Scholar
• Baroni , P. , Lamperti , G. , Pogliano , P. and Zanella , M. 2000 . Diagnosis of a class of distributed discrete-event systems . IEEE Transactions on Systems, Man and Cybernetics, Part A , 30 : 731 – 752 .
   Google Scholar
• Lamperti , G. and Zanella , M. 2003 . “ Diagnosis of active systems, principles and techniques ” . In Kluwer International Series on Engineering and Computer Science , Vol. 741 , Dordrecht : Kluwer Academic .
   Google Scholar
• Debouk , R. , Lafortune , S. and Teneketzis , D. C. 2000 . Coordinated decentralized protocols for failure diagnosis of discrete event systems . Discrete Event Dynam. Syst. , 10 : 33 – 86 .
   Web of Science ®Google Scholar
• Cassandras , C. and Lafortune , S. 1999 . Introduction to Discrete Event Systems , Boston : Kluwer Academic .
   Google Scholar
• Baccelli , F. , Cohen , G. , Olsder , G. J. and Quadrat , J. -P. 1992 . Synchronization and Linearity , Chichester : John Wiley .
   Google Scholar
• Cuninghame-Green , R. 1979 . Minimax algebra, volume 166 of Lecture Notes in Economics and Mathematical Systems , Berlin : Springer-Verlag .
   Google Scholar
• Alur , R. and Dill , D. 1994 . A theory of timed automata . Theoretical Computational Science , 126 : 183 – 235 .
   Web of Science ®Google Scholar
• Supavatanakul , P. , Falkenberg , C. and Lunze , J. . Identification of timed discrete-event model for diagnosis . In Proc. 14th International Workshop on Principles of Diagnosis . 11 – 14 June 2003 , Washington, DC.
   Google Scholar
• Schullerus , G. and Krebs , V. . Diagnosis of batch processes based on parameter estimation of discrete event models . In Proc. 6th European Control Conference . 4 – 7 September 2001 , Porto. pp. 1612 – 1617 .
   Google Scholar
• Menguy , E. , Boimond , J. -L. , Hardouin , L. and Ferrier , J. L. 2000 . A first step towards adaptive control for linear systems in max algebra . Discrete Event Dynamic Systems , 10 : 347 – 368 .
   Google Scholar
• Schullerus , G. 2004 . Identifikation Zeitbewerteter Ereignisdiskreter System , Düsseldorf : VDI Verlag . VDI Fortschritt-Berichte, Vol. 8
   Google Scholar
• Lunze , J. and Supavatanakul , P. . Diagnosis of discrete-event systems described by timed automata . In Proc. IFAC World Congress . 21 – 26 July 2002 , Barcelona.
   Google Scholar
• Supavatanakul , P. 2004 . Modelling and diagnosis of timed discrete-event systems Steuerungs- und Regelungstechnik , Aachen : Shaker Verlag .
   Google Scholar
• Lunze , J. 1995 . Künstliche Intelligenz für Ingenieure , 2nd edition , München : Oldenbourg Verlag .
   Google Scholar
• Hanisch , H. -M. 1992 . Petri-Netze in der Verfahrenstechnik , München : Oldenbourg Verlag .
   Google Scholar
• Bartys , M. 2002 . “ Specification of the actuators intended to use for benchmark definition ” . Available online at: http://diag.mchtr.pw.edu.pl/damadics (accessed 18 April 2006)
   Google Scholar