Publications

Export 319 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is M. Silva  [Clear All Filters]
2006
[IPMaGiReSeSi06] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2006.  On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
[IPReMaSi06] Recalde, L, Mahulea C, Silva M.  2006.  Improving analysis and simulation of continuous Petri Nets. :7–12.
[IPHaReSi06] Haddad, S, Recalde L, Silva M.  2006.  On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
0 icon
TRHaReSi06.pdf
[IPXuReSi06] Xu, J, Recalde L, Silva M.  2006.  Tracking control of join-free timed continuous Petri net systems.
[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.
2005
[IPMaReSi05] Mahulea, C, Recalde L, Silva M.  2005.  Optimal Observability for Continuous Petri Nets. :CDROM.
[PJCS-RR69-2005] Pérez-Jiménez, CJ, Campos J, Silva M.  2005.  Approximate Throughput Computation of Stochastic Weighted T-Systems.
[IPMaRaReSi05] Mahulea, C, Ramirez A, Recalde L, Silva M.  2005.  Steady state control, zero valued poles and token conservation laws in continuous net systems.
[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
[ARJuReSi05] Julvez, J, Recalde L, Silva M.  2005.  Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
0 icon
perf_publicado.pdf
[IPSiRe05] Silva, M, Recalde L.  2005.  Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
0 icon
icatpn05.pdf
[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
2004
[IPJuJiReSi04a] Julvez, J, Jimenez E, Recalde L, Silva M.  2004.  On Observability in Timed Continuous Petri Net Systems. :60-69.
0 icon
qest04.pdf
[RZS-04] Rodríguez, D, Zimmermann A, Silva M.  2004.  Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
0 icon
RZS-04.pdf
[ICReSiEzTe04] Recalde, L, Silva M, Ezpeleta J, Teruel E.  2004.  Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
0 icon
examples_tour.pdf
[IPJuJiReSi04b] Julvez, J, Jimenez E, Recalde L, Silva M.  2004.  Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.
0 icon
smc04.pdf
[IPJuBeReSi04] Julvez, J, Bemporad A, Recalde L, Silva M.  2004.  Event-driven optimal control of continuous Petri nets. :69-74.
[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
[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
2003
[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
[IPSiRe03b] Silva, M, Recalde L.  2003.  Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
0 icon
001IC.ps
[IPJuReSi03a] Julvez, J, Recalde L, Silva M.  2003.  On reachability in autonomous continuous Petri net systems.
0 icon
icatpn2003.pdf
2002
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
0 icon
02_MBCD_WODES.pdf
[1327] [Anonymous].  2002.  International Workshop on Discrete Event Systems (WODES'02).
[1334] Colom, JM, Teruel E, Silva M, Haddad S.  2002.  Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.