Publications

Export 663 results:
Sort by: Author Title [ Type (Asc)] Year
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
[1297] Mayordomo, E, Lutz JH, Fortnow L.  2012.  Inseparability and Strong Hypotheses for Disjoint NP Pairs. Theory of Computing Systems. 51:229-247.
[MayKCCCHD] Mayordomo, E.  2002.  A Kolmogorov complexity characterization of constructive Hausdorff dimension. Information Processing Letters. 84:1-3.
0 icon
02_May_IPL.ps
[MR-97] Merseguer, J, Romero J.  1997.  La herencia en el modelo orientado a objetos, del análisis a la implementación. :21-30.
[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.
[1556] Kloetzer, M, Mahulea C.  2015.  LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
[LutMayMSDHL] Lutz, JH, Mayordomo E.  1994.  Measure stochasticity and the density of hard languages. SIAM Journal on Computing. 23:762-779.
0 icon
94_LM_SIAMJoC.ps
[BC-TSMC-13] Bernardi, S, Campos J.  2013.  A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43(5):1167-1181.
[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.
[1481] Requeno, JI, Colom JM.  2013.  Model checking software for phylogenetic trees using distribution and database methods. Journal of Integrative Bioinformatics. 10(3) Abstract
[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.
[1525] Rodríguez, RJ, Bernardi S, Merseguer J.  2015.  Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
application/pdf icon
RMB-TCJ-14.pdf
[HerMay94] Hermo, M, Mayordomo E.  1994.  A note on polynomial size circuits with low resource bounded Kolmogorov complexity. Mathematical Systems Theory. 27:247-356.
0 icon
94_HM_MST.ps
[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.
0 icon
ADHS03_publicado.pdf
[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.
0 icon
98_RTS_JCSC.pdf
[1500] Fraca, E, Julvez J, Silva M.  2014.  On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. 12:3-19.
[CM-LNCS-06] Campos, J, Merseguer J.  2006.  On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
0 icon
CM-LNCS-06.pdf