Publications

Export 319 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is M. Silva  [Clear All Filters]
Conference Paper
[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.
0 icon
01_JRS_ETFA.pdf
[1548] Silva, M, Mahulea C.  2014.  From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
[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.
0 icon
93_CCJS_Toulouse.ps
[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.
application/pdf icon
Hybrid_Petri_net_model_of_a_traffic_intersection_submitted.pdf
[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.
application/pdf icon
Draft_Hybrid_Approximations_of_Markovian_Petri_Nets.pdf
[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.
[IPReMaSi06] Recalde, L, Mahulea C, Silva M.  2006.  Improving analysis and simulation of continuous Petri Nets. :7–12.
[1005] Colom, JM, Silva M.  1989.  Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
[263] Campos, J, Colom JM, Silva M.  1991.  Improving Throughput Upper Bounds for Net Based Models. IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems. 1:573-582.
[1001] Leu, D, Silva M, Colom JM, Murata T.  1988.  Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[1280] Apaydin-Ozkan, H, Mahulea C, Julvez J, Silva M.  2010.  An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.