Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets.
Baptiste PelletierCharles LesireChristophe GrandDavid DooseMathieu RognantPublished in: ICRA (2023)
Keyphrases
- robotic systems
- petri net
- petri net model
- colored petri nets
- concurrent systems
- mobile robot
- control architecture
- discrete event systems
- manufacturing systems
- vision system
- stochastic petri net
- service composition
- object manipulation
- ims ld
- production process
- model checking
- imitation learning
- state machines
- fuzzy petri net
- low cost
- reinforcement learning
- web services