Projects

Here is a list of current and past projects developed by this group.
Formal models and methods for healthcare systems management
DPI2014-57252-R
Ministry of Science of Spain
Cristian Mahulea
01/2015 - 12/2017
Discrete Event Systems tools for planning and control of teams of mobile robots
NSFC 6155011023
National Natural Science Foundation of China (NSFC)
Cristian Mahulea
01/2016 - 12/2017
Una metodología de análisis guiada por el modelado para sistemas empotrados distribuidos con supervivencia crítica
TIN2011-24932
Ministerio de Ciencia e Innovación
Simona Bernardi
01/2012 - 12/2014
BASMATI: Minería en datos biológicos y sociales: Algoritmos, Teoría e Implementaciones.
TIN2011-27479-C04-01
Spanish government
Elvira Mayordomo
01/2012 - 12/2014
Análisis y control de grandes sistemas de eventos discretos distribuidos
DPI2010-20413
Ministerio de Ciencia e Innovación
Manuel Silva
09/2010 - 09/2013
SESAAME: SEcuencias Simbólicas: Análisis, Aprendizaje, Minería y Evolución
TIN2008-06582-C03-02
Ministerio de Ciencia e Innovación (Spanish government)
Elvira Mayordomo
01/2009 - 12/2011
DISC, Distributed Supervisory Control of Complex Plants
Specific Targeted Research Project (EU)
Manuel Silva
09/2008 - 09/2011
Técnicas formales de análisis y diseño de sistemas de eventos discretos e híbridos. Aplicación a sistemas logísticos y de tiempo real.
DPI2006-15390
Manuel Silva
10/2006 - 09/2009
ZARAMIT: Sistema informático para DNA mitocondrial humano y su estudio evolutivo
PM063/2007
Departamento de Ciencia, Tecnología y Universidad (Aragón government)
Elvira Mayordomo
10/2007 - 09/2009
Observabilidad y observadores para modelos de sistemas de eventos discretos y sus relajaciones fluidas.
Acción integrada Hispano-Italiana (Nº HI2006-01490)
Universidad de Zaragoza
Laura Recalde
01/2007 - 01/2009