Publications

Export 356 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Paper
[ZRS-EKA2001] Zimmermann, A, Rodríguez D, Silva M.  2001.  Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen.
[RP-85-11] Silva, M, Velilla S.  1985.  Error detection and correction on Petri net models of discrete control systems. :921-924.
[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-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-79-02] Silva, M.  1979.  Evaluation des performances des applications temps réel de type logique. :152-157.
[RP-89-02] Murata, T, Silva M.  1989.  Fair control of discrete event systems via Petri nets. :19-23.
[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).
[1465] Wang, X, Mahulea C, Silva M.  2013.  Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
[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.
[RP-90-03] Martínez, J, Silva M.  1990.  A first collection of challenging problems: A flexible manufacturing system.
[1445] Silva, M, Mahulea C.  2011.  Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
[IPKLMA08] Kloetzer, M, Mahulea C, Belta C, Recalde L, Silva M.  2008.  Formal analysis of timed continuous Petri net.
[IPJiReSi01] Jimenez, E, Recalde L, Silva M.  2001.  Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
[1548] Silva, M, Mahulea C.  2014.  From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
[BDM-WOSP-02] Bernardi, S, Donatelli S, Merseguer J.  2002.  From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[252] Campos, J, Colom JM, Jungnitz H, Silva M.  1993.  A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :138-147.
[RP-88-07] Martínez, J, Silva M.  1988.  GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
[RP-89-17] Martínez, J, Silva M.  1989.  GRAMAN: a graphic system for manufacturing system design. :311-316.
[RP-84-05] Pardos, P, Silva M.  1984.  Hacia la definición de un sistema de programación y control de robots. :139-146.
[RP-80-04] Silva, M.  1980.  Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :14-33.
[1268] Vázquez, CR, Sutarto HY, Boel R, Silva M.  2010.  Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
[1226] Vázquez, CR, Silva M.  2009.  Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
[1373] Catalán, C, Serna F, Blesa A, Rams JM.  2010.  IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
[1342] García-Vallés, F, Colom JM.  1999.  Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[1402] Signes-Pont, MT, García-Chamizo JM, de-Miguel-Casado G, Mora-Mora H.  2006.  Improvement of Image Transform Calculation Based on a Weighted Primitive. International Conference on Image Analysis and Recognition 2006.