Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[MCM-JJCC-00] Evaluating Performance on Mobile Agents Software Design. :291-307.
.
2000.
[1454] Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
.
2014.
[BuhMay97] An excursion to the Kolmogorov random strings. Journal of Computer and System Sciences. 54:393-399.
.
1997.
[BuhMay95] An excursion to the Kolmogorov random strings. :197-203.
.
1995.
[1309] Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
.
2009.
[MC-SERP03] Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
.
2003.
[TricasMartinez95SMC] An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
.
1995.
.
1995.
[RP-89-02] Fair control of discrete event systems via Petri nets. :19-23.
.
1989.
[1252] Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
.
2009.
[1465] Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
.
2013.
[1452] Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
.
2012.
[1282] Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
.
2010.
[1486] Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
.
2012.
[DaLaLuMaFSD] Finite state dimension. Theoretical Computer Science. 310:1-33.
.
2004.
[DaLaLuMaFSDb] Finite state dimension. 2076:1028-1039.
.
2001.
.
1990.
[1360] A first collection of challenging problems: A Flexible Manufacturing System. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990.
.
1990.
[RP-90-05] Flexible manufacturing system.
.
1990.
[1445] Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
.
2011.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.
[RP-92-09] Formal specification and validation in production plants. :64-73.
.
1992.
[HiLuMa05] The fractal geometry of complexity classes. SIGACT News. 36:24-38.
.
2005.
[1548] From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
.
2014. .
2004.