Publications

Export 356 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Paper
[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.
[IPCoGiSeJu03] Corona, D, Giua A, Seatzu C, Julvez J.  2003.  Observers for nondeterministic l-free labeled Petri nets.
0 icon
etfa2003.pdf
[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
[IPJiJuReSi05] Jimenez, E, Julvez J, Recalde L, Silva M.  2005.  On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
0 icon
distribuida.pdf
[IPVaRaReSi08] Vázquez, CR, Ramirez A, Recalde L, Silva M.  2008.  On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
0 icon
Controllability draft.pdf
[IPJuReSi02] Julvez, J, Recalde L, Silva M.  2002.  On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
0 icon
cdc2002.pdf
[1446] Cabasino, MP, Giua A, Mahulea C, Seatzu C.  2011.  On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
[IPSiRe03] Silva, M, Recalde L.  2003.  On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
0 icon
adhs03.ps
[1540] Clavel, D, Mahulea C, Silva M.  2016.  On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
[IPJuJiReSi04a] Julvez, J, Jimenez E, Recalde L, Silva M.  2004.  On Observability in Timed Continuous Petri Net Systems. :60-69.
0 icon
qest04.pdf
[RCS-Atlanta-93] Ramirez, A, Campos J, Silva M.  1993.  On Optimal Scheduling in DEDS. :821-826.
0 icon
93_RCS_Atlanta.ps