Work

Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets

Year: 2023

Type: conference-paper

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.

Source: Proceedings - IEEE International Conference on Robotics and Automation/Proceedings

DOI: 10.1109/icra48891.2023.10160434

Authors: Baptiste Pelletier, Charles Lesire, Christophe Grand, David Doose, Mathieu Rognant

Institutions: Office National d'Études et de Recherches Aérospatiales, Université de Toulouse, Département Traitement de l’Information et Systèmes

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Région Occitanie Pyrénées-Méditerranée

OpenAlex ID: W4383172012

FWCI: 3.714

Cites: 33

Cited by: 14

Related to: 9