Probabilistic fault detection in finite-state machines based on state occupancy measurements

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2002, Pages 3994-3999

  Hadjicostis, Christoforos N ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE AUTOMATA; MATHEMATICAL MODELS; PROBABILITY; SET THEORY; STATISTICAL METHODS;

FINITE STATE MACHINES; STATE OCCUPANCY MEASUREMENTS; STATE TRANSITION MECHANISM;

FAILURE ANALYSIS;

EID: 0036994458     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya, "Supervisory control of discrete-event processes with partial observations," IEEE Transactions on Automatic Control, vol. 33, pp. 249-260, March 1988.
2. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Transactions on Automatic Control, vol. 40, pp. 1555-1575, September 1995.
3. M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete-event systems," IEEE Transactions on Automatic Control, vol. 43, pp. 908-929, July 1998.
4. M. Silva and S. Velilla, "Error detection and correction in Petri net models of discrete events control systems," in Proceedings of ISCAS 1985, the IEEE Int. Symp. on Circuits and Systems, pp. 921-924, 1985.
5. C. N. Hadjicostis and G. C. Verghese, "Monitoring discrete event systems using Petri net embeddings," in Application and Theory of Petri Nets 1999, no. 1639 in Lecture Notes in Computer Science, pp. 188-208, 1999.
6. A. Bouloutas, G. W. Hart, and M. Schwartz, "Simple finite state fault detectors for communication networks," IEEE Transactions on Communications, vol. 40, pp. 477-479, March 1992.
7. C. Wang and M. Schwartz, "Fault detection with multiple observers," IEEE/ACM Transactions on Networking, vol. 1, pp. 48-55, January 1993.
8. A. Benveniste, E. Fabre, C. Jard, and S. Haar, "Diagnosis of asynchronous discrete event systems, a net unfolding approach," Tech. Rep. RR-4181, IRISA, France, May 2001.
9. A. Aghasaryaiu, E. Fabre, A. Benveniste, R. Boubour, and C. Jard. "Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets," Discrete Event Dynamic Systems: Theory and Applications, vol. 8, pp. 203-231, June 1998.
10. A. Bouloutas, G. W. Hart, and M. Schwartz, "Two extensions of the Viterbi algorithm," IEEE Transactions on Information Theory, vol. 37, pp. 430-436, March 1991.
11. P. Bremaud, Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues. New York: Springer-Verlag, 1999.
12. P. W. Glynn and D. Ormoneit, "Hoeffding's inequality for uniformly ergodic Markov chains," Statistics and Probability Letters, vol. 56, pp. 143-146, 2002.
13. C. N. Hadjicostis, "Stochastic testing of finite state machines," in Proceedings of ACC 2001, the 2001 American Control Conference, pp. 4568-4573, 2001.