Monitoring discrete event systems using Petri net embeddings

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1639, Issue , 1999, Pages 188-207

  Hadjicostis, Christoforos N ^a   Verghese, George C ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT DETECTION; PETRI NETS;

CONSISTENCY CHECKS; EMBEDDINGS; MONITORING AND CONTROL; ORIGINAL SYSTEMS; PETRI NET MODELS;

DISCRETE EVENT SIMULATION;

EID: 84958982586     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48745-X_12     Document Type: Conference Paper

References (15)

1. P. E. Beckmann, Fault-Tolerant Computation Using Algebraic Homomorphisms. PhD thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1992.
2. C. N. Hadjicostis, “Fault-Tolerant Computation in Semigroups and Semirings,” M. Eng. thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1995.
3. T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, pp. 541-580, April 1989.
4. F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat, Synchronization and Linearity. New York: Wiley, 1992.
5. C. G. Cassandras, S. Lafortune, and G. J. Olsder, Trends in Control: A European Prospective. London: Springer-Verlag, 1995.
6. C. G. Cassandras, Discrete Event Systems. Boston: Aksen Associates, 1993.
7. V. Y. Fedorov and V. O. Chukanov, “Analysis of the fault tolerance of complex systems by extensions of Petri nets,” Automation and Remote Control, vol. 53, no. 2, pp. 271-280, 1992.
8. J. Sifakis, “Realization of fault-tolerant systems by coding Petri nets,” Journal of Design Automation and Fault-Tolerant Computing, vol. 3, pp. 93-107, April 1979.
9. M. Silva and S. Velilla, “Error detection and correction on Petri net models of discrete events control systems,” in Proceedings of the ISCAS, pp. 921-924, 1985.
10. S. B. Wicker, Error Control Systems. Englewood Cliffs, New Jersey: Prentice Hall, 1995.
11. C. N. Hadjicostis, Coding Approaches to Fault Tolerance in Dynamic Systems. PhD thesis, EECS Department, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1999.
12. C. N. Hadjicostis and G. C. Verghese, “Structured redundancy for fault tolerance in state-space models and Petri nets,” Kybernetika. To appear.
13. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, “Feedback control of Petri net based on place invariants,” Automatica, vol. 32, no. 1, pp. 15-28, 1996.
14. J. O. Moody and P. J. Antsaklis, “Supervisory control using computationally efficient linear techniques: a tutorial introduction,” in Proceedings of 5th Mediterranean Conference on Control and Systems, (Cyprus), July 1997.
15. P. J. Ramadge and W. M. Wonham, “The control of discrete event systems,” Proceedings of the IEEE, vol. 77, pp. 81-97, 1989.