Toward A Quantitative Method for Assuring Coordinated Autonomy

Sagar Chaki, John M. Dolan, and Joseph Andrew Giampapa
tech. report CMU-RI-TR-13-12, Robotics Institute, Carnegie Mellon University, July, 2013


Download
  • Adobe portable document format (pdf) (3MB)
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Abstract
One of the biggest obstacles to the procurement and deploy- ment of coordinated autonomous systems is the diculty of assuring them, that is, to set and manage their performance expectations. This article introduces a reliability engineering assurance approach based on probabilistic model checking. It also introduces two models to guide and extend the reliability engineering approach: (1) a characterization of the range of autonomous coordination phenomena and (2) phases of a coordi- nated mission. Two instances of the models are implemented as discrete time Markov chains (DTMC). Results from in-progress validation experiments with robots are reported, as well.

Keywords
quantitative assurance method, coordinated autonomy, human- agent-robot teams, reliability engineering, probabilistic model checking

Notes
Sponsor: Department of Defense
Number of pages: 24

Text Reference
Sagar Chaki, John M. Dolan, and Joseph Andrew Giampapa, "Toward A Quantitative Method for Assuring Coordinated Autonomy," tech. report CMU-RI-TR-13-12, Robotics Institute, Carnegie Mellon University, July, 2013

BibTeX Reference
@techreport{Dolan_2013_7444,
   author = "Sagar Chaki and John M Dolan and Joseph Andrew Giampapa",
   title = "Toward A Quantitative Method for Assuring Coordinated Autonomy",
   booktitle = "",
   institution = "Robotics Institute",
   month = "July",
   year = "2013",
   number= "CMU-RI-TR-13-12",
   address= "Pittsburgh, PA",
}