dc.contributor.author | Karaman, Sertac | |
dc.contributor.author | Rasmussen, Steven | |
dc.contributor.author | Kingston, Derek | |
dc.contributor.author | Frazzoli, Emilio | |
dc.date.accessioned | 2010-10-19T20:06:21Z | |
dc.date.available | 2010-10-19T20:06:21Z | |
dc.date.issued | 2009-07 | |
dc.identifier.isbn | 978-1-4244-4523-3 | |
dc.identifier.issn | 0743-1619 | |
dc.identifier.other | INSPEC Accession Number: 10775880 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/59413 | |
dc.description.abstract | Formal languages have recently come under attention as a powerful tool to describe in a precise and rigorous way mission specifications (i.e., mission objectives and constraints) for robotic systems, and to design planning and control algorithms that provably achieve the specifications. In this paper, we consider Process Algebras as a mission specification language for teams of UAVs. The main advantage of the proposed approach is that Process Algebra specifications are amenable to efficient planning algorithms. In particular, a tree-search algorithm is presented that computes a feasible plan in polynomial time. Branch-and-bound techniques are used to compute an optimal plan if computation time is available. Several mission specification examples are presented, and results from a numerical simulation are discussed. | en_US |
dc.description.sponsorship | United States. Air Force Office of Scientific Research (Grant #FA9550-07-1-0528) | en_US |
dc.language.iso | en_US | |
dc.relation.isversionof | http://dx.doi.org/10.1109/ACC.2009.5160520 | en_US |
dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en_US |
dc.source | IEEE | en_US |
dc.title | Specification and Planning of UAV Missions: A Process Algebra Approach | en_US |
dc.type | Article | en_US |
dc.identifier.citation | Karaman, S. et al. “Specification and planning of UAV missions: a Process Algebra approach.” American Control Conference, 2009. ACC '09. 2009. 1442-1447. Web. | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Mechanical Engineering | en_US |
dc.contributor.approver | Frazzoli, Emilio | |
dc.contributor.mitauthor | Karaman, Sertac | |
dc.contributor.mitauthor | Frazzoli, Emilio | |
dc.relation.journal | American Control Conference, 2009. ACC '09. | en_US |
dc.eprint.version | Final published version | en_US |
dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |
dspace.orderedauthors | Karaman, Sertac; Rasmussen, Steven; Kingston, Derek; Frazzoli, Emilio | en |
dc.identifier.orcid | https://orcid.org/0000-0002-0505-1400 | |
dc.identifier.orcid | https://orcid.org/0000-0002-2225-7275 | |
mit.license | PUBLISHER_POLICY | en_US |
mit.metadata.status | Complete | |