Publications

Export 323 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
A B C D E F G H I J K L [M] N O P Q R S T U V W X Y Z   [Show ALL]
F
[HiLuMa05] Hitchcock, JM, Lutz JH, Mayordomo E.  2005.  The fractal geometry of complexity classes. SIGACT News. 36:24-38.
[RP-92-09] Ezpeleta, J, Martínez J.  1992.  Formal specification and validation in production plants. :64-73.
[IPKLMA08] Kloetzer, M, Mahulea C, Belta C, Recalde L, Silva M.  2008.  Formal analysis of timed continuous Petri net.
[1445] Silva, M, Mahulea C.  2011.  Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
[RP-90-05] Martínez, J, Ezpeleta J.  1990.  Flexible manufacturing system.
[RP-90-03] Martínez, J, Silva M.  1990.  A first collection of challenging problems: A flexible manufacturing system.
[1360] Colom, JM, Esparza J, Martínez J, Silva M.  1990.  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.
[DaLaLuMaFSD] Dai, JJ, Lathrop JI, Lutz JH, Mayordomo E.  2004.  Finite state dimension. Theoretical Computer Science. 310:1-33.
[DaLaLuMaFSDb] Dai, JJ, Lathrop JI, Lutz JH, Mayordomo E.  2001.  Finite state dimension. 2076:1028-1039.
[1486] Rodríguez, RJ, Trubiani C, Merseguer J.  2012.  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).
[1282] Cabasino, MP, Seatzu C, Mahulea C, Silva M.  2010.  Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
[1452] Mahulea, C, Seatzu C, Cabasino MP, Silva M.  2012.  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.
[1465] Wang, X, Mahulea C, Silva M.  2013.  Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
[1252] Seatzu, C, Mahulea C, Cabasino MP, Silva M.  2009.  Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
[RP-89-02] Murata, T, Silva M.  1989.  Fair control of discrete event systems via Petri nets. :19-23.
E
[TricasMartinez95SMC] Tricas, F, Martínez J.  1995.  An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[RP-95-21] Tricas, F, Martínez J.  1995.  An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
[MC-SERP03] Merseguer, J, Campos J.  2003.  Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
[1309] Mayordomo, E, Blanco R.  2009.  Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
[BuhMay97] Buhrman, H, Mayordomo E.  1997.  An excursion to the Kolmogorov random strings. Journal of Computer and System Sciences. 54:393-399.
[BuhMay95] Buhrman, H, Mayordomo E.  1995.  An excursion to the Kolmogorov random strings. :197-203.
[1454] Julvez, J, DiCairano S, Bemporad A, Mahulea C.  2014.  Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
[MCM-JJCC-00] Merseguer, J, Campos J, Mena E.  2000.  Evaluating Performance on Mobile Agents Software Design. :291-307.
[RP-84-06] Martínez, J, Silva M.  1984.  Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
[PMM-QoSA11a] Perez-Palacin, D, Mirandola R, Merseguer J.  2011.  Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.