Research Projects
2008 -- 2011: "Distributed Supervisory
Control of Large Plants" (DISC), European Union, FP7-ICT2007-2.
2006 -- 2009: "Formal techniques for
analysis and design of discrete event systems. Application to logistic and
real-time Systems", Ministerio de Educación y Ciencia, Spain,
DPI2006-1539.
Grants
2007 -- 2011: For phD Studies, Ministerio de Educación y Ciencia, Spain, FPI-BES-2007-17573.
2004 -- 2006: For M. Sc. Studies, Consejo Nacional de Ciencia y Tecnología,
Mexico, no. 190626.