Publications

Export 356 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is S  [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
[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.
[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
[IPJuBeReSi04] Julvez, J, Bemporad A, Recalde L, Silva M.  2004.  Event-driven optimal control of continuous Petri nets. :69-74.
[RP-79-02] Silva, M.  1979.  Evaluation des performances des applications temps réel de type logique. :152-157.
[RP-79-03] Silva, M.  1979.  Evaluación de funciones lógicas: Generación óptima de código a partir de un grafo de decisiones binarias. :628-636.
[RP-84-06] Martínez, J, Silva M.  1984.  Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
[RP-85-11] Silva, M, Velilla S.  1985.  Error detection and correction on Petri net models of discrete control systems. :921-924.
[CCS-TSE-91] Campos, J, Chiola G, Silva M.  1991.  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
[CS-PE-93] Campos, J, Silva M.  1993.  Embedded Product Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Performance Evaluation. 18:3-19.
[ZRS-EKA2001] Zimmermann, A, Rodríguez D, Silva M.  2001.  Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen.
[1253] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2009.  An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
D
[1504] Wang, L, Mahulea C, Silva M.  2013.  Distributed Model Predictive Control of Timed Continuous Petri nets. 52nd IEEE Conference on Decision and Control (CDC'2013).
[RP-86-01] Villarroel, JL, Silva M.  1986.  Diseño de un sistema didáctico de programación y control. :97-108.
[RP-80-10] Silva, M.  1980.  Diseño de un modelo de instalación automática de fabricación construida con estructuras mecánicas programables y controlada por ordenador. :414-424.
[RP-84-07] Velilla, S, Silva M.  1984.  Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
[1070] Briz, JL, Colom JM, Silva M.  1994.  Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994 IEEE International Conference on System, Man and Cybernetics. 2:1671-1676.
[1539] Wang, X, Mahulea C, Silva M.  2015.  Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
[RP-84-08] Silva, M, Velilla S.  1984.  Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
[1374] Serna, F, Catalán C, Blesa A, Rams JM.  2010.  Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
[IPJuJiReSi04b] Julvez, J, Jimenez E, Recalde L, Silva M.  2004.  Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.