ASPiC: An Acting System Based on Skill Petri Net Composition

Abstract : Acting systems aim at refining high-level actions into executable commands, while managing access to resources, possible failures, or any other unpredictable situation. Improving the trust on autonomous robots also requires to have a formal model of acting, and the capability to perform some analysis on this model. In this paper, we present ASPiC, an acting system based on the modeling of robot's skills using a specific control-flow Petri net model. The skills can then be combined using well-defined operators to build a complete plan that refines a high-level action. Some properties are guaranteed by construction, while others can be verified on the resulting plan model. ASPiC is finally applied to an area protection mission by an autonomous surface vehicle.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02083310
Contributor : Frédéric Davesne <>
Submitted on : Thursday, March 28, 2019 - 9:28:30 PM
Last modification on : Friday, April 5, 2019 - 1:24:37 AM

Identifiers

Citation

Charles Lesire, Franck Pommereau. ASPiC: An Acting System Based on Skill Petri Net Composition. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain. pp.6952--6958, ⟨10.1109/IROS.2018.8594328⟩. ⟨hal-02083310⟩

Share

Metrics

Record views

20