Using Petri nets to specify and execute missions for autonomous underwater vehicles

2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2009

Volumn , Issue , 2009, Pages 4439-4444

  Palomeras, Narcís ^a   Ridao, Pere ^a   Carreras, Marc ^a   Silvestre, Carlos ^b  

^a UNIVERSITY OF GIRONA   (Spain)

^b INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS VEHICLES; IMPERATIVE PROGRAMMING LANGUAGES; MISSION CONTROL; MISSION CONTROL SYSTEMS; MISSION EXECUTION; TIME PETRI NETS;

GRAPH THEORY; INTELLIGENT ROBOTS; LINGUISTICS; PETRI NETS; SUBMERSIBLE MOTORS; SUBMERSIBLES; UNDERWATER BALLISTICS; UNDERWATER EQUIPMENT; UNDERWATER STRUCTURES; WATER CRAFT;

AUTONOMOUS UNDERWATER VEHICLES;

EID: 76249132331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IROS.2009.5354045     Document Type: Conference Paper

References (9)

1. F. Wang, K. Kyriakopoulos, A. Tsolkas, and G. Saridis, Systems, Man and Cybernetics, IEEE Transactions on, vol. 21, no. 4, pp. 777 - 789, Jul 1991.
2. P. Oliveira, A. Pascoal, V. Silva, and C. Silvestre, "Mission control of the marius auv: System design, implementation, and sea trials," International Journal of Systems Science, Jan 1998.
3. M. Barbier and J. Lemaire, "Procedures planner for an a.u.v." 12th international symposium on Unnmanned Untethered Submersible Technology, p. 8, 2001.
4. M. Caccia, P. Coletta, G. Bruzzone, and G. Veruggio, "Execution control of robotic tasks: a petri net-based approach," Control Engineering Practice, vol. 13, no. 8, pp. 959-971, 2005.
5. V. Ziparo and L. Iocchi, "Petri net plans," Proc. of ATPN/ACSD Fourth International Workshop on Modelling of Objects, Components, and Agents, 2006.
6. H. Costelha and P. Lima, "Modelling, analysis and execution of multi-robot tasks using petri nets," Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, Jan 2008.
7. N. Palomeras, P. Ridao, M. Carreras, and C. Silvestre, "Towards a mission control language for auvs," 17th IFAC World Congress, 2008.
8. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Automated synthesis of deadlock prevention supervisors using petri nets," Technical Report of the ISIS Group at the University of Notre Dame, p. 56, Jul 2002.
9. D. Ribas, N. Palomeras, P. Ridao, M. Carreras, and E. Hernandez, "Ictineuauv wins the first sauc-e competition," Robotics and Automation, 2007 IEEE International Conference on, pp. 151 - 156, Mar 2007.