Actual students

PhD students

• Cesar Arzola (co-supervised with A. Ramirez), Controllability in timed continuous Petri nets: A structural approach, expected degree March 2024.
• Sofia Hustiu (co-supervised with M. Kloetzer), Multirobot path planning in dynamical environments, expected degree September 2024.

Master students

• Theo Le Moigne (University Paris-Saclay): Optimizing Clinical Pathways by using Probabilistic Time Petri Net Approach
• Pablo Fernandez: Implementación de un control probabilístico de sistemas multirobots para cumplir objetivos de alto nivel en la plataforma Robotarium

Bachelor students

• Marcos Vazquez: Minería de procesos aplicado a la gestión hospitalaría

Former students

PhD students

• 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

• 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

• 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 Grima: Diseño de un sistema de producción en Factory I/O y control avanzado mediante Redes de Petri.
• 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

• 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.