Dependable, Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments

Download
pdf

Abstract:

 This project focuses on fundamental theory studies so to enable a scalable, correct-by-construction formal design of multi-robot systems that can guarantee the accomplishment of high-level team missions through automatic synthesis of local coordination mechanisms and control laws.

  • coordination
  • Formal design
  • Hybrid control
  • University of Denver
  • University of Notre Dame
  • CPS Domains
  • Control
  • Robotics
  • Education
  • Foundations
  • National CPS PI Meeting 2015
  • 2015
  • Abstract
  • Poster
  • Academia
  • 2015 CPS PI MTG Videos, Posters, and Abstracts
Submitted by Hai Lin on