Publications

Export 356 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is S  [Clear All Filters]
2002
[ARSiRe02] Silva, M, Recalde L.  2002.  Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
0 icon
02_SR_TSMC.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.
[1335] Colom, JM, Silva M, Teruel E.  2002.  Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[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
[BDM-WOSP-02] Bernardi, S, Donatelli S, Merseguer J.  2002.  From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
0 icon
02_BDM_WOSP.ps
2003
[IPSiRe03b] Silva, M, Recalde L.  2003.  Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
0 icon
001IC.ps
[IPGiJuSe03] Giua, A, Julvez J, Seatzu C.  2003.  Marking Estimation of Petri Nets based on Partial Observation. :-.
0 icon
ACC2003.pdf
[IPJuReSi03a] Julvez, J, Recalde L, Silva M.  2003.  On reachability in autonomous continuous Petri net systems.
0 icon
icatpn2003.pdf
[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
[IPCoGiSeJu03] Corona, D, Giua A, Seatzu C, Julvez J.  2003.  Observers for nondeterministic l-free labeled Petri nets.
0 icon
etfa2003.pdf
2004
[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
[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
[IPJuJiReSi04a] Julvez, J, Jimenez E, Recalde L, Silva M.  2004.  On Observability in Timed Continuous Petri Net Systems. :60-69.
0 icon
qest04.pdf
2005
[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
[1325] [Anonymous].  2005.  Proceedings of the Workshop on Control of Hybrid and Discrete Event 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.
[IPMaReSi05] Mahulea, C, Recalde L, Silva M.  2005.  Optimal Observability for Continuous Petri Nets. :CDROM.