← Search

Mathieu Rognant

2 accepted papers

2023

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

ICRA 2023poster

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 violat…

Cited by 11SourceScholar
2017

Adaptive input shaper design for flexible robot manipulators

IROS 2017poster

Input shaping techniques for vibration control of flexible structures received many interest due to its simplicity and efficiency proven in various practical cases. This paper proposes an adaptation of those techniques by addressing two main specificities of robot manipulators. As a first contributi…

Cited by 12SourceScholar