Title :
Modelling, analysis and execution of robotic tasks using petri nets
Author :
Costelha, Hugo ; Lima, Pedro
Author_Institution :
Univ. Tecnica de Lisboa, Lisbon
fDate :
Oct. 29 2007-Nov. 2 2007
Abstract :
This paper introduces Petri net based models of robotic tasks, which can be used to analyse and synthesise task plans, taking into account a Petri net model that abstracts the relevant features from the robot environment as well. Logical analysis concerning deadlocks and resource conservation can be performed over the ordinary version of the model. A task plan modeled by a Petri net can be extracted from the generalised stochastic version of the model, representing the optimal plan given a probabilistic measure of uncertainty associated to the effects of its composing actions. The Petri net representing the model is suitable for being ran directly within the code, as well as for plan monitoring during execution time. Simulation results illustrating the methodology are presented for a robotic soccer scenario.
Keywords :
Petri nets; control system analysis; control system synthesis; mobile robots; multi-robot systems; probability; sport; stochastic processes; task analysis; Petri net model; generalised stochastic version; logical analysis; probabilistic measure; resource conservation; robotic soccer; robotic tasks; task plan modeling; Discrete event systems; Intelligent robots; Monitoring; Notice of Violation; Performance analysis; Petri nets; Power system modeling; State-space methods; Stochastic processes; USA Councils;
Conference_Titel :
Intelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
978-1-4244-0912-9
Electronic_ISBN :
978-1-4244-0912-9
DOI :
10.1109/IROS.2007.4399365