Funded Projects

• 12.2022 - 11.2024: "VALIDATOR: Evaluation and optimization of clinical pathways using formal methods", Ministry of Science and Innovation of Spain, TED2021-130449B-I00. (PI: C. Mahulea and J. Albareda)
• 09.2022 - 08.2025: "iSUMA: Improving Scene Understanding with multiple sensor Modalities and Active perception", Ministry of Science and Innovation of Spain, PID2021-125514NB-I00. (PI: A. Murillo and E. Montijano)
• 01.2019 - 01.2023: "DISCERNERS: Distributed high-level scene reasoning with teams of heterogeneous robots", US Department of the Navy, Grant: N629091912027. (PI: E. Montijano)
• 01.2015 - 02.2018: "Formal models and methods for healthcare systems management", Ministry of Science of Spain, DPI2014-57252-R. (PI: C. Mahulea)
• 01.2016 - 12.2017: "Discrete Event Systems tools for planning and control of teams of mobile robots", National Natural Science Foundation of China (NSFC), Grant: 6155011023. (PI: C. Mahulea)
• 10.2010 - 09.2013: "Analysis and Control of Large Scale Distributed Discrete Event Systems", Ministry of Science of Spain, DPI2010-20413. (PI: M. Silva)
• 10.2010 - 09.2012: "Modeling and Verification of Critical Software Systems", ARAID and University of Zaragoza. (PI: J. Julvez)
• 09.2008 - 08.2011: "Distributed Supervisory Control of Large Plants", European Union, FP7-ICT2007-2. (PI: M. Silva)
• 01.2007 - 12.2008: "Observability and observers design for discrete event systems and their fluid approximations", Integrated Action Italy-Spain, HI2006-0149. (PI: L. Recalde)
• 10.2006 - 09.2009: "Formal techniques for analysis and design of discrete event systems. Application to logistic and real-time Systems", Ministry of Science of Spain, DPI2006-1539. (PI: M. Silva)
• 03.2004 - 11.2006: "Continuous and Hybrid Petri nets: Modeling, analysis and synthesis", Ministry of Science of Spain, DPI2003-06376. (PI: M. Silva)