Predictability of Sequence Patterns in Discrete Event Systems

Buss, 1991, On the predictability of coupled automata: an allegory about chaos, Complex Systems, 5, 525 Cao, 1989, The predictability of discrete event systems, IEEE Trans. Automatic Control, 34, 1168, 10.1109/9.40745 C. Chase and P. J. Ramadge. Predictability of a class of one-dimensional supervised systems. In Proceedings of the Fifth IEEE International Symposium on Intelligent Control, September 1990. S. K. Das, F. Sarkar, K. Basu, and S. Madhavapeddy. Parallel discrete event simulation in star networks with application to telecommunications. In MSCOTS '95: Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pages 66-71, Washington, DC, USA, 1995. IEEE Computer Society. ISBN 0-8186-6902-0. Declerck, 1998, Predictability and control synthesis in time deviant graphs H.K. Fadel and L.E. Holloway. Using SPC and template monitoring method for fault detection and prediction in discrete event manufacturing systems. In Proceedings of the 1999 IEEE International Symposium on Intelligent Control/Intelligent Systems and Semiotics, pages 150-155, September 1999. P. H. Feiler, B. Lewis, and S. Vestal. Improving predictability in embedded real-time systems, December 2000. Genc, 2006, Predictability in discrete-event systems under partial observation S. Genc and S. Lafortune. Diagnosis of patterns in partially-observed discrete-event systems. In 45th IEEE Conference on Decision and Control, San Diego, CA, December 2006b. Q. He, M. Ammar, G. Riley, and R. Fujimoto. Exploiting the predictability of tcp's steady-state behavior to speed up network simulation. In 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pages 101-108, 2002. T. Jéron, H. Marchand, S. Genc, and S. Lafortune. Predictability of sequence patterns in discrete event systems. Technical Report 1834, Irisa, March 2007. Jiang, 2004, Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications, IEEE Transactions on Automatic Control, 49, 934, 10.1109/TAC.2004.829616 Jiang, 2001, A polynomial time algorithm for diagnosability of discrete event systems, IEEE Transactions on Automatic Control, 46, 1318, 10.1109/9.940942 Jéron, 2006, Supervision patterns in discrete event systems diagnosis M. Musolesi and C. Mascolo. Evaluating context information predictability for autonomic communication. In American Control Conference, Minneapolis, Minnesota USA, June 2006. L. Ricker, S. Lafortune, and S. Genc. DESUMA: A tool integrating GIDDES and UMDES. In Software Tools, 8th International Workshop on Discrete-Event Systems, July 2006. Yoo, 2002, Polynomial-time verification of diagnosability of partially-observed discrete-event systems, IEEE Trans. on Automatic Control, 47, 1491, 10.1109/TAC.2002.802763