The researchers of the IMDEA Software Institute, César Sánchez and Felipe Gorostiaga together with Gerardo Schneider (University of Gothenburg), Sebastian Zudaire and Sebastian Uchitel (both from Universidad de Buenos Aires) have presented the paper: “Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions” at IEEE International Conference on Robotics and Automation (ICRA 2021).

Temporal task planning guarantees a robot will succeed in its task as long as certain explicit and implicit assumptions about the robot’s operating environment, sensors, and capabilities hold. A robot executing a plan can silently fail to fulfill the task if the assumptions are violated at runtime. Monitoring assumption violations at runtime can flag silent failures and also provide mitigation and remediation opportunities. However, this requires means for describing assumptions combining temporal and quantitative data, automatic construction of correct monitors and ensuring a correct interplay between the planning execution and monitors.

“In this paper we propose combining temporal planning with stream runtime verification, which offers a high-level language to describe monitors together with guarantees on execution time and memory usage. We demonstrate our approach both in real and simulated flights for some typical mission scenarios.”