A formalism for the composition of concurrent robot behaviors
Loading...
Penn collection
Departmental Papers (ESE)
General Robotics, Automation, Sensing and Perception Laboratory
Kod*lab
General Robotics, Automation, Sensing and Perception Laboratory
Kod*lab
Degree type
Discipline
Subject
GRASP
Kodlab
Kodlab
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Klavins, Eric
Contributor
Abstract
We introduce tools which help one to compose concurrent, hybrid control programs for a class of distributed robotic systems, assuming a palette of controllers for individual tasks is already constructed. These tools, which combine the backchaining of continuous robot behaviors with Petri nets, expand on successful work in sequential composition of robot behaviors. We apply these ideas to the design and verification of a robotic bucket brigade and to simple, distributed assembly tasks as found in automated factories.
Advisor
Date of presentation
2000-04-24
Conference name
Departmental Papers (ESE)
Conference dates
2023-05-17T02:16:27.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Comments
Copyright 2000 IEEE. Reprinted from Proceedings of the IEEE International Conference on Robotics and Automation, Volume 4, 2000, pages 3395-3402. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it. NOTE: At the time of publication, author Daniel Koditschek was affiliated with the University of Michigan. Currently, he is a faculty member in the Department of Electrical and Systems Engineering at the University of Pennsylvania.