Publications

Export 319 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is M. Silva  [Clear All Filters]
Journal Article
[RP-82-04] Silva, M.  1982.  Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :51-57.
[1490] Silva, M.  2013.  Half a century after Carl Adam Petri's PhD thesis: a perspective on the field. Annual Reviews in Control. 37(2):191-219.
[1531] Fraca, E, Julvez J, Silva M.  2015.  Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. 16
[RP-83-03] Martínez, J, Silva M.  1983.  Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
[RP-83-04] Silva, M.  1983.  Lenguajes de programación para robots industriales (Parte I). :35-48.
[RP-84-02] Silva, M.  1984.  Lenguajes de programación para robots industriales (Parte II). :39-53.
[1434] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
[1453] Wang, L, Mahulea C, Julvez J, Silva M.  2013.  Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
[ARReTeSi97] Recalde, L, Teruel E, Silva M.  1998.  Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[RP-86-02] Martínez, J, Silva M.  1986.  Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. :185-195.
[1258] Mahulea, C, Recalde L, Silva M.  2010.  Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
[ARSiRe04] Silva, M, Recalde L.  2004.  On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
[1450] Silva, M, Julvez J, Vazquez CR, Mahulea C.  2011.  On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
[ARReTeSi98] Recalde, L, Teruel E, Silva M.  1998.  On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
[1500] Fraca, E, Julvez J, Silva M.  2014.  On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. 12:3-19.
[1502] Wang, L, Mahulea C, Julvez J, Silva M.  2014.  ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
[ARMAGIRESESI08] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2008.  Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
[ARSiRe02] Silva, M, Recalde L.  2002.  Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
[1057] Silva, M, Colom JM.  1993.  Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):1-11.
[ARReSi00] Recalde, L, Silva M.  2001.  Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
[RP-92-31] Esparza, J, Silva M.  1992.  A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
[ARMoHaSeSi05] Moreaux, P, Haddad S, Sereno M, Silva M.  2005.  Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
[CCS-TAC-91] Campos, J, Chiola G, Silva M.  1991.  Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Transactions on Automatic Control. 36:1368-1382.
[258] Campos, J, Chiola G, Colom JM, Silva M.  1992.  Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
[RP-93-03] Silva, M, Watanabe T.  1993.  Qualitative analysis of periodic schedules for deterministically timed Petri net systems. IEICE Transactions.