3 papers
cs.RO2021
Assured Mission Adaptation of UAVs
Sebastián Zudaire, Leandro Nahabedian, Sebastián Uchitel
The design of systems that can change their behaviour to account for scenarios that were not foreseen at design time remains an open challenge. In this paper we propose an approach…
cs.RO2020
Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions
Tomás Liendro, Sebastián Zudaire
Robotic research over the last decades have lead us to different architectures to automatically synthesise discrete event controllers and implement these motion and task plans in r…
cs.RO2020
Iterator-Based Temporal Logic Task Planning
Sebastián Zudaire, Martín Garrett, Sebastián Uchitel
Temporal logic task planning for robotic systems suffers from state explosion when specifications involve large numbers of discrete locations. We provide a novel approach, particul…