On the predictability of coupled automata: an allegory about chaos, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science, pp.525-539, 1991. ,
DOI : 10.1109/FSCS.1990.89601
The predictability of discrete event systems, IEEE Transactions on Automatic Control, vol.34, issue.11, pp.1168-1171, 1989. ,
DOI : 10.1109/9.40745
Predictability of a class of supervised one-dimensional systems, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990, 1990. ,
DOI : 10.1109/ISIC.1990.128529
Parallel discrete event simulation in star networks with application to telecommunications, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, pp.66-71, 1995. ,
DOI : 10.1109/MASCOT.1995.378708
Predictability and control synthesis in time deviant graphs, Workshop on Discrete-Event Systems, 1998. ,
Using SPC and template monitoring method for fault detection and prediction in discrete event manufacturing systems, Proceedings of the 1999 IEEE International Symposium on Intelligent Control Intelligent Systems and Semiotics (Cat. No.99CH37014), pp.150-155, 1999. ,
DOI : 10.1109/ISIC.1999.796646
Improving predictability in embedded real-time systems, 2000. ,
PREDICTABILITY IN DISCRETE-EVENT SYSTEMS UNDER PARTIAL OBSERVATION 1, IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2006. ,
DOI : 10.3182/20060829-4-CN-2909.00243
Diagnosis of Patterns in Partially-Observed Discrete-Event Systems, Proceedings of the 45th IEEE Conference on Decision and Control, 2006. ,
DOI : 10.1109/CDC.2006.377450
Exploiting the predictability of TCP's steady-state behavior to speed up network simulation, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pp.101-108, 2002. ,
DOI : 10.1109/MASCOT.2002.1167066
Predictability of Sequence Patterns in Discrete Event Systems, IFAC Proceedings Volumes, vol.41, issue.2, 2007. ,
DOI : 10.3182/20080706-5-KR-1001.00091
Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004. ,
DOI : 10.1109/TAC.2004.829616
A polynomial algorithm for testing diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.46, issue.8, pp.1318-1321, 2001. ,
DOI : 10.1109/9.940942
Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.1678440
Evaluating Context Information Predictability for Autonomic Communication, 2006 International Symposium on a World of Wireless, Mobile and Multimedia Networks(WoWMoM'06), 2006. ,
DOI : 10.1109/WOWMOM.2006.41
DESUMA: A Tool Integrating GIDDES and UMDES, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.382402
Polynomial-time verification of diagnosability of partially-observed discrete-event systems, IEEE Trans. on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002. ,