Publications

Export 293 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is M. Silva  [Clear All Filters]
Report
[PJCS-RR69-2005] Pérez-Jiménez, CJ, Campos J, Silva M.  2005.  Approximate Throughput Computation of Stochastic Weighted T-Systems.
[1234] Silva, M.  2009.  Continuous and Hybrid Petri Nets: The GISED perspective.
application/pdf icon
MISi09.pdf
[1315] Vázquez, CR, van Schuppen JH, Silva M.  2011.  Modular/Coordinated control for TCPNs. Internal Report, GISED, DIIS, Universidad de Zaragoza.
application/pdf icon
v3_A_modular-coordinated_control_for_TCPN.pdf
[TRMaGiReSeSi07] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2008.  Optimal model predictive control of Timed Continuous Petri nets.
Journal Article
[1279] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[247] Campos, J, Colom JM, Jungnitz H, Silva M.  1994.  Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Transactions on Software Engineering. 20(7):526-535.
0 icon
94_CCJS_TSE.ps
[RP-92-13] Sánchez, B, Silva M.  1992.  Approximate throughput computation of stochastic marked graphs. Journal of Parallel and distributed computing. 15:282-295.
[PJCS-TSCM07] Pérez-Jiménez, CJ, Campos J, Silva M.  2007.  Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
[1278] Kloetzer, M, Mahulea C, Belta C, Silva M.  2010.  An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[RP-92-12] Silva, M, Murata T.  1992.  B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. Journal of Computer and System Sciences. 44:447-477.
[1257] Mahulea, C, Recalde L, Silva M.  2009.  Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
[RP-85-04] Silva, M, David R.  1985.  Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
[204] Teruel, E, Colom JM, Silva M.  1997.  Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. 27(1):73-83.
0 icon
97_TCS_SMC.ps
[1288] Recalde, L, Haddad S, Silva M.  2010.  Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
[ARJuReSi06] Julvez, J, Recalde L, Silva M.  2006.  Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
[RP-86-01] Villarroel, JL, Silva M.  1986.  Diseño de un sistema didáctico de programación y control. :97-108.
[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.
0 icon
93_CS_PE.ps
[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.
0 icon
91_CCS_TSE.ps
[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):984.
[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.
[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.
[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):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.