Multiple vehicles mission coordination using Petri nets

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2010, Pages 3531-3536

  Palomeras, Narcís ^a   Ridao, Pere ^a   Silvestre, Carlos ^a   El fakdi, Andres ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK FREE; DECENTRALISED; MULTI-VEHICLES; MUTUAL EXCLUSIONS; SYNCHRONISATION; VEHICLE MISSION;

GRAPH THEORY; PETRI NETS; ROBOTICS;

VEHICLES;

EID: 77955817996     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2010.5509552     Document Type: Conference Paper

References (9)

1. N. Palomeras, P. Ridao, M. Carreras, and C. Silvestre, "Towards a mission control language for auvs," 17th IFAC World Congress, 2008.
2. -, "Using petri nets to specify and execute missions for autonomous underwater vehicles," IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 4439-4444, Oct 2009.
3. J. King, R. Pretty, and R. Gosine, "Coordinated execution of tasks in a multiagent environment," Systems, Man and Cybernetics, Part A, IEEE Transactions on, vol. 33, no. 5, pp. 615-619, 2003.
4. J. Moody and P. Antsaklis, "Petri net supervisors for discrete event systems," Thesis, p. 282, Sep 1998.
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. F. Lin and W. Wonham, "Decentralized control and coordination of discrete-event systems with partial observation," Automatic Control, IEEE Transactions on, vol. 35, no. 12, pp. 1330-1337, Dec 1990.
7. M. Iordache and P. Antsaklis, "Decentralized supervision of petri nets," Automatic Control, IEEE Transactions on, vol. 51, no. 2, pp. 376-381, Feb 2006.
8. -, "Synthesis of supervisors enforcing general linear vector constraints in petri nets," American Control Conference, 2002. Proceedings of the 2002, vol. 1, pp. 154-159 vol.1, Apr 2002.
9. 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.