Publications

Ltl-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets

AuthID
P-002-ZXT

Author(s)

Lacerda, B

Lima, PU

Document Type

Proceedings Paper

Year published

2011

Published

in 2011 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS in IEEE International Conference on Intelligent Robots and Systems, ISSN: 2153-0858

Pages: 3081-3086 (6)

Conference

Ieee/Rsj International Conference on Intelligent Robots and Systems, Date: SEP 25-30, 2011, Location: San Francisco, CA, Sponsors: IEEE, Robot Soc Japan (RSJ), BOSCH, HONDA, KUKA, SRI Int, ABB, Willow Garage, ALDEBARAN, Google, INTUITIVE Surg, SCHUNK, IEEE Ind Elect Soc (IES), Soc Instrument & Control Engineers (SICE), New Technol Fdn (NTF), IEEE Robot & Automat Soc (RAS), Inst Control, Robto & Syst (ICROS)

Indexing