Publications

Export 8 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Title is H  [Clear All Filters]
2017
[1563] Parrilla, L, García J, Albareda J, Mahulea C.  2017.  HEAT: A Tool to Develop, Analyze and Monitor Clinical Pathways. ICNSC'2017: 14th IEEE International Conference on Networking, Sensing and Control. Abstract
2015
[1531] Fraca, E, Julvez J, Silva M.  2015.  Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. 16
2013
[1490] Silva, M.  2013.  Half a century after Carl Adam Petri's PhD thesis: a perspective on the field. Annual Reviews in Control. 37(2):191-219.
2010
[1268] Vázquez, CR, Sutarto HY, Boel R, Silva M.  2010.  Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
application/pdf icon
Hybrid_Petri_net_model_of_a_traffic_intersection_submitted.pdf
2009
[1226] Vázquez, CR, Silva M.  2009.  Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
application/pdf icon
Draft_Hybrid_Approximations_of_Markovian_Petri_Nets.pdf
1984
[RP-84-05] Pardos, P, Silva M.  1984.  Hacia la definición de un sistema de programación y control de robots. :139-146.
1982
[RP-82-04] Silva, M.  1982.  Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :51-57.
1980
[RP-80-04] Silva, M.  1980.  Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :14-33.