Publications

Export 65 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is V  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U [V] W X Y Z   [Show ALL]
I
[RP-93-57] Silva, M, Vernadat F.  1993.  Introducing Petri Nets.
[1069] Briz, JL, Colom JM.  1994.  Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
H
[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
[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
E
[RP-85-11] Silva, M, Velilla S.  1985.  Error detection and correction on Petri net models of discrete control systems. :921-924.
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  2013.  Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
application/pdf icon
ress12_dam.pdf
D
[RP-86-01] Villarroel, JL, Silva M.  1986.  Diseño de un sistema didáctico de programación y control. :97-108.
[RP-84-07] Velilla, S, Silva M.  1984.  Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
[RP-84-08] Silva, M, Velilla S.  1984.  Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
C
[1498] Vazquez, CR, Ramirez-Treviño A, Silva M.  2013.  Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
[1492] Mahulea, C, Julvez J, Vazquez CR, Silva M.  2013.  Continuous Petri Nets: Observability and Diagnosis. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:387-406.
[1493] Julvez, J, Vazquez CR, Mahulea C, Silva M.  2013.  Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
[RP-81-04] Silva, M, Velilla S.  1981.  Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
A
[1443] Julvez, J, Vazquez CR, Mahulea C.  2011.  Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[RP-86-12] Velilla, S, Roy A.  1986.  Almacenamiento de imágenes en un computador PDP-11/34. :67-76.