Fernando Salanova

PhD Researcher · Robotics & Discrete Event Systems

University of Zaragoza

Ropert Group — SUR Lab (Scene Understanding and Robotics Lab)

I am a PhD student in Robotics at the University of Zaragoza, working within the Ropert research group at the SUR Lab (Scene Understanding and Robotics Lab). My research sits at the intersection of formal methods and autonomous systems, with a focus on discrete event systems, multi-robot task planning, and anomaly detection for robot fleets operating in complex environments.

✉️ Contact me 💻 GitHub 📄 Publications

Research Interests

Discrete Event Systems

Modelling, analysis, and control of reactive systems using automata, Petri nets, and supervisory control theory applied to multi-robot scenarios.

Multi-Robot Planning

Task allocation, motion planning, and coordination strategies for heterogeneous robot teams working in shared, dynamic environments.

Anomaly Detection

Detection of unexpected events and failure modes in robot execution using formal models, machine learning, computer vision and online monitoring techniques.