A monitoring approach for discrete event systems based on a time petri net model

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 16, Issue , 2005, Pages 331-336

  Ghazel, Mohamed ^a   Toguyéni, Armand ^a   Bigand, Michel ^a  

^a ECOLE CENTRALE DE LILLE   (France)

Author keywords

Diagnosis; Discret event system; Monitoring; Time; Time petri nets

Indexed keywords

DIAGNOSIS; MONITORING; PETRI NETS;

DISCRET EVENT SYSTEM; MONITORING APPROACH; MONITORING PROCESS; TEMPORAL CONSTRAINTS; TIME; TIME PETRI NETS;

DISCRETE EVENT SIMULATION;

EID: 79960723036     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20050703-6-cz-1902.00339     Document Type: Conference Paper

References (9)

1. Aspvall, B. and Y. Shiloach (1980). A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality. SIAM Journal on computing 9, 827-845.
2. Berthomieu, B. and M. Menasche (1982). A state enumeration approach for analysing time petri nets. Proceedings of applications and theory of Petri nets (ATPN'82) pp. 27-56.
3. Diaz, M. and al. (2001). Les réseaux de Petri, modèles fondamentaux. Hermès. Paris.
4. Lafortune, S. and M. Sampath (2000). Discrete event systems approach to failure diagnosis: Theory and applications. 11ème International Workshop on Principles of Diagnosis.
5. Merlin, P. (1974). A study of the recoverability of computer system. PhD thesis, university of Californie.
6. Roux, J. L. and B. Berthomieu (1986). Verification of a local area network protocol with tina: A software package for petri nets. Proceedings of the 7 workshop on applications and theory of Petri nets pp. 183-205.
7. Sampath, R., K. Sinnamohideen, S. Lafortune and D. Teneketzis (1996). Failure diagnosis using discrete event models. IEEE Transactions on Systems Technology 4, 105-124.
8. Toguyéni, A., E. Craye and J. C. Gentina (1997). Time and reasoning for on-line diagnosis of failures in flexible manufacturing systems. Proceeding of 15th IMACS World Congress on Scientific Computation, Modeling, and Applied Mathematics, Berlin, Germany 6, 709-714.
9. Ushio, T., I. Onishi and K. Okuda (1998). Fault detection based on petri net models with faulty behaviors. Proceeding of IEEE International Conference on Systems, Man, and Cybernetics pp. 113-118.