Systems
Design, formal verification, dependability assessment, implementation and validation by means of fault injection of highly-dependable real-time distributed embedded systems. Fault tolerance mechanisms for the Controller Area Network (CAN) and the FTT-Ethernet protocols.Robotics
Design, construction and deployment of mobile robots, including AUVs and UAVs. Multi-robot communications and task assignment in complex scenarios. Innovative simultaneous localization and mapping (SLAM) techniques for robot navigation and 3D reconstruction.
Vision
Algorithms for image processing, visual navigation and scene reconstruction. Monocular and stereo vision systems. Advanced multisensory systems for aerial, terrestrial and underwater robots.