Publications

Export 356 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
S
[1532] Gómez-Martínez, E, Linaje M, Sanchez-Figueroa F, Iglesias-Pérez A, Preciado JC, González-Cabero R, Merseguer J.  2015.  A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
application/pdf icon
ASRM_r1.pdf
[RP-92-26] Silva, M, Muro P.  1992.  Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
[ICReTeSi96] Recalde, L, Teruel E, Silva M.  1996.  SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
0 icon
96_RTS_ICATPN.ps
R
[RP-86-05] Silva, M, Roy A.  1986.  Robot programming and robot vision. :11-29.
[RP-84-03] Pardos, P, Silva M.  1984.  A robot programming and control system. :92-97.
[RP-92-06] Sánchez, B, Silva M.  1992.  Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. :1000-1005.
[C-MATCH23-98] Campos, J.  1998.  Response Time Approximation for Stochastic Marked Graphs. :797-817.
[AmbMay97] Ambos-Spies, K, Mayordomo E.  1997.  Resource Bounded Measure and Randomness. :1-47.
0 icon
97_ASM_LNPAM.ps
[IPJiJuReSi04] Jimenez, E, Julvez J, Recalde L, Silva M.  2004.  Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
0 icon
final_SMC04.pdf
[RP-80-07] Silva, M.  1980.  Redes de Petri y validación de sistemas con actividades concurrentes. :xx.
[RP-90-12] Valette, R, Silva M.  1990.  A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
[RP-81-03] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
[RP-81-05] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri binarias. :265-275.
[RP-82-01] Silva, M, Velilla S.  1982.  Realización cableada de redes de Petri binarias. 6:151-155.
Q
[RP-93-03] Silva, M, Watanabe T.  1993.  Qualitative analysis of periodic schedules for deterministically timed Petri net systems. IEICE Transactions.
P
[IPGIMARESESI08] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2008.  Properties of continuous Petri nets controlled via model predictive control.
[CCS-Kyoto-89] Campos, J, Chiola G, Silva M.  1989.  Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
0 icon
89_CCS_Kyoto.ps
[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.
0 icon
92_CCCS_CAS.ps
[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.
0 icon
91_CCS_TAC.ps
[1335] Colom, JM, Silva M, Teruel E.  2002.  Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[1340] Colom, JM, Silva M, Teruel E.  1998.  Properties. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :41-63.
[RP-82-07] Silva, M, Velilla S.  1982.  Programmable logic controllers and Petri nets: A comparative study. :29-34.
0 icon
PLC_and_PN82.pdf
[RP-83-02] Silva, M, Velilla S.  1983.  Programmable logic controllers and Petri nets: A comparative study. :83-88.
[ARMoHaSeSi05] Moreaux, P, Haddad S, Sereno M, Silva M.  2005.  Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
0 icon
science.pdf
[1325] [Anonymous].  2005.  Proceedings of the Workshop on Control of Hybrid and Discrete Event Systems.