Actual students

PhD students

• Fernando Salanova: Learning-Based Intrusion Detection in Multi-Robot Systems.
• Roberto Navarro Castañeda (co-supervised with A. Ramirez): Deadlock avoidance in Discrete Event Systems.

Visiting PhD student

• Kexin Ren - visiting PhD student from Tiangong University, Tianjin, China.
• Siyu Liu - visiting PhD student from University of Le Havre, France.

Master students

Bachelor students

• Carlos Queralt Lafuente (co-supervision with F. Salanova): Implementación de algoritmos distribuidos en equipos de robots.
• Jose Miguel Marco Gan (co-supervision with C. Arzola): Comparativa de sistemas de control LQR con RL y aplicación a grúa torre.

Former students

PhD students

• Sofia Hustiu (co-supervised with O.Pastravanu), PhD thesis: "Temporal Logic Objectives in High-Level Path Planning: Discrete-Eevent-Based Cconceptual Framework", June 2025.
• Cesar Arzola (co-supervised with A. Ramirez), PhD thesis: "Controllability in timed continuous Petri nets: a structural approach", March 2024.
• Daniel Clavel Villagrasa (co-supervised with M. Silva), PhD thesis: "Methods and Formal Models for Healthcare Systems Management", November 2019.
• Xu Wang (co-supervised with M. Silva), PhD thesis: "Discrete Event System Tools for Fault Diagnosis and Collision Prevention", January 2017.
• Liewei Wang (co-supervised with M. Silva), PhD thesis: "On the minimum-time control of continuous Petri nets: centralized and decentralized perspectives", July 2013.

Visiting PhD students

• Peng Lyu (Shanghai Jiao Tong University, China), visiting PhD student working in Planning and decision-making for complex logical tasks.
• Wasim Ahmed Mohammed Ali (Politecnico di Bari, Italy), visiting PhD student working in Security of Intelligent Transportation Systems.
• Hanife Apaydin (Anadolu University, Turkey), visiting PhD student working in control of continuous Petri net.

Visiting Master students

• Theo Le Moigne (University Paris-Saclay): Optimizing Clinical Pathways by using Probabilistic Time Petri Net Approach
• Ioana Hustiu (Technical University of Iari, Romania): Distribution of LTL formulas.
• Eva Robillard (ENS Paris-Saclay, France): Multi-robot path planning.
• Aurore Blondin (ENS Paris-Saclay, France): Path planning for mobile robots using colour Petri nets, 2021.
• Romain Thibert (ENS Paris Saclay, France): High level path planning for mobile robots, 2020
• Georgiana-Gabriela Stefan (Technical University of Iasi, Romania): Operation Theater Tools for a Spanish Hospital, 2020.
• Ilaria Guarini (University of Salerno): Path-planning of multi-robot systems based on Petri net models.
• Ciro Iovine (University of Salerno): Modeling and analysis of healthcare systems based on clinical pathways, July 2018. [pdf]
• Diana Botez (Technical University of Iasi): Software Application for Operation Planning in a Surgery Department, September 2017. [pdf]
• Emanuele Alberto Vitolo (University of Salerno): Multi-robot Platform for Path-Planning and Control using High-Level Speciffications: Implementation and Experiments, Febrero 2017.

Master students

• Fernando Salanova (co-supervised with E. Montijano): Learning-Based Intrusion Detection in Multi-Robot Systems, Febero de 2026.
• Ligia Denisse Miranda Ojeda (co-supervised with J. Bernard): Modeling and Analysis of Wind Resource Using Time Series Decomposition Techniques and Basic Neural Networks.
• Pablo Fernandez (co-supervised with E. Montijano): Implementación de un control probabilístico de sistemas multirobots para cumplir objetivos de alto nivel en la plataforma Robotarium, Febrero 2024.
• Fernando Grima: Diseño de un sistema de producción en Factory I/O y control avanzado mediante Redes de Petri, Diciembre 2021.
• Jose Garcia Barreto (co-supervised with J. Ezpeleta): Diseño e implementacioón de un algoritmo que evite colisiones en un sistema muti-robot utilizando el Modified Banker's algorithm, Octubre 2020.
• Luis Parrilla Bel: software application for healthcare system management.
• Daniel Clavel Villagrasa (co-supervised with M. Silva): Desarrollo de un algoritmo basado en la pre-asignacion de buffers que permita la vivacidad de sistemas de red DSSP inicialmente no vivo, Junio 2016.
• Xu Wang (co-supervised with M. Silva): Estimación de estados en redes de Petri temporizadas, Septiembre 2011.

Bachelor students

• Pablo Sancho Berdiez: Implementación de algoritmos distribuidos en equipos de robots, Septiembre de 2025.
• Sergio Martinez (co-supervised with L. Castán and J. Falcón): Mineria de datos en sistemas de salud, Septiembre de 2025.
• Miguel Aréjula (co-supervised with J. Merseguer): Diseño e implementación de un sistema web para la optimización de vías clínicas mediante métodos formales, Julio de 2025.
• Pablo Gascón Durán (co-supervised with G. Sacramento): Programación de un PLC para ensayos de motores y detección preventiva de fallos, Septiembrie de 2024.
• Marcos Vázquez (co-supervised with L. Castán and J. Falcón): Diseño de una nueva vía clínica para la rotura del ligamento cruzado anterior, Septiembrie de 2024
• Daniel Sanz (co-supervised with D. Ubide and J. Albareda): Minería de procesos en el sistema de gestión de la salud, Junio de 2023.
• Eduardo Barbieri Atienza (co-supervised with B. Sánchez Tabuenca): Modelado cinemático de un yugo escocés mediante Solidworks y Matlab/Simulink, Diciembre de 2022.
• Josué García Ramo (co-supervised with C. Gracia): Mejora de un robot móvil para la implementación de algoritmos de control distribuidos, Diciembre de 2022.
• Sergio Beltrán García: Planificación de trayectorias de equipos de robots en entornos desconocidos, Octubre de 2022.
• Paloma Balmori (co-supervised with J. Ezpeleta): Reorganización y mejoras de una plataforma multirobot, Febrero de 2022.
• Pedro Cabello (co-supervised with E. Montijano): Implementación de algoritmos de partición en celdas para la planificación de trayectorias de robots móviles, Diciembre de 2021.
• Isabel Carrizo Ruiz (co-supervised with E. Montijano): Cálculo optimizado de puntos intermedios en la planificación de rutas, Octubre de 2021.
• Ariadna Elena Chavarría (co-supervised with E. Montijano): Simulador en ROS de una plataforma de robots móviles, Octubre de 2021.
• Daniel Roche García (co-supervised with J. Ezpeleta): Rediseño de una Plataforma de robots móviles, Julio de 2021.
• Jaime Calvo Baigorri: Automatización de un proceso de fabricación en Factory I/O controlado a través de Unity Pro, Julio de 2021.
• Luis Domingo (co-supervised with E. Montijano): Planificación de trayectorias de sistemas multi-robot mediante el algoritmo prioritized sweeping, Febrero de 2021.
• Sergio Lázaro Martí: Automatización de una estación Virtual en Factory I/O a través de comunicación MODBUS y Matlab, Diciembre de 2020.
• David Ubide Alaiz (co-supervised with J. Albareda): Minería de procesos en el contexto médico: Análisis de algoritmos a través de Healthcare System Specifications, Octubre, 2020.
• Lorenzo Cano: Diseño y evaluación de algoritmos de planificación de trayectorias en sistemas multirobot, Julio de 2020.
• Juan Fernando Lechón Mollat: Implementación y evaluación de algoritmos de descomposición en celdas para planificación de trayectorias, Octubre de 2019.
• Alberto Montalbán Guillén: Análisis, evaluación y posibles mejoras de una herramienta de gestión hospitalaria para la programación de pacientes quirúrgicos, Septiembre 2019.
• Fernando Grima (co-supervised with J.R. Asensio): Desarrollo de una planta virtual en Factory I/O y control mediante PLC, Septiembre 2019.
• Jose Luis Calvo: Planificación del movimiento basada en diagramas de Voronoi para equipos de robots móviles, Febrero 2019.
• Mathias Saury (co-supervised with E. Montijano): Planificación de trayectorias de sistemas multi-robot en entornos desconocidos, Febrero 2019.
• Miguel Novellón Yeste (co-supervised with J. Albareda): Búsqueda de indicadores médicos mediante el análisis de datos y mejora de los modelos matemáticos existentes aplicados a vías clínicas, Diciembre 2018.
• Diego Llorente (co-supervised with J.L. Villarroel): Control digital de sistemas continuos en un plataforma de bajo coste, Diciembre 2017.
• Ismael Moreno Varea (co-supervised with J. Albareda): Modelado y análisis del sistema de salud basado en vías clínicas, Diciembre 2017.
• Diego Sangüesa Pérez: Implementación de algoritmo de control Pure Pursuit en robots móviles ARDUINO y comparación con otros algoritmos existentes, Octubre 2017.
• Alberto San Miguel Tello (co-supervised with J. Civera): Aprendizaje por refuerzo y planificación en un sistema multirobot, July 2017.
• Alberto Toral Mateo (co-supervised with A. Bonet): Implantación en línea de robot colaborativo para el control de roscas, Febrero 2017.
• Jose Garcia Barreto (co-supervised with J. Albareda): Gestión hospitalaria utilizando el modelado, análisis y optimización de las vías y guías clínicas, December 2016.
• Javier Oroz Joven: Diseño e implementación de un método para evitar las colisiones en sistemas multi-robot, December 2016.