Publications

Export 319 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: Author is M. Silva  [Clear All Filters]
Conference Paper
[RP-89-07] Martínez, J, Silva M.  1989.  A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
[RP-83-06] Silva, M.  1983.  La enseñanza de la Informática en la E.T.S. Ingenieros Industriales de la Universidad de Zaragoza. :165-186.
[RP-84-09] Martínez, J, Silva M.  1984.  A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. :72-77.
[199] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
0 icon
93_TCS_ECC.ps
[1364] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
[RP-89-08] Silva, M.  1989.  Logical controllers. :157-166bis.
[RP-86-07] Murata, T, Silva M.  1986.  Maximun firing deviation and fair relations in Petri nets. :1008-1010.
[RP-80-05] Silva, M.  1980.  Memoria de actividades del Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :111-116.
[RP-89-13] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF.  1989.  Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
[RP-90-08] Best, E, Silva M.  1990.  Minimal Deadlocks in Free Choice nets.
[1281] Wang, L, Mahulea C, Julvez J, Silva M.  2010.  Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1464] Wang, L, Mahulea C, Silva M.  2013.  Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
[1547] Wang, X, Mahulea C, Silva M.  2014.  Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
[RP-87-05] Muro, P, Silva M.  1987.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
[1362] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[ZRS-ECC99] Zimmermann, A, Rodríguez D, Silva M.  1999.  Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing.
0 icon
99_ZRS_ECC.ps
[RP-84-04] Martínez, J, Silva M.  1984.  Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
[RP-93-14] Muro, P, Silva M.  1993.  Modular composition of intelligent control policies for FMS models. :405-410.
[RP-90-09] Esparza, J, Silva M.  1990.  Modular Synthesis of Free Choice Nets.
[RP-89-11] Tardós, Silva M.  1989.  Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
[1254] Seatzu, C, Cabasino MP, Mahulea C, Silva M.  2009.  New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
[IPMARESI08] Mahulea, C, Recalde L, Silva M.  2008.  Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems.
[1250] Mahulea, C, Seatzu C, Cabasino MP, Recalde L, Silva M.  2009.  Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[PJCS-96c] Pérez-Jiménez, CJ, Campos J, Silva M.  1996.  On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems. :201-207.
0 icon
96_PJCS_c.ps
[PJCS-95] Pérez-Jiménez, CJ, Campos J, Silva M.  1995.  On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. :156-171.
0 icon
95_PJCS.ps