ICRA 2023poster11 citations
Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets
Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant
Abstract
This work presents a novel approach for the online supervision of robotic systems assembled from multiple complex components with skillset-based architectures, using Petri nets (PN). Predictive runtime verification is performed, which warns the system user about actions that would lead to the violation of safety specifications, using online model-checking tools on the system PNs.
BibTeX
@inproceedings{icra2023_predictiveruntim,
title = {Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets},
author = {Baptiste Pelletier and Charles Lesire and Christophe Grand and David Doose and Mathieu Rognant},
booktitle = {ICRA 2023},
year = {2023}
}