Formal synthesis of collaborative protocols for joint learning and control
Abstract
The objective of this project is to develop methods and tools for the formal specification and automated synthesis of protocols for collaborative control and learning for provably trustworthy operation of teams of autonomous systems in dynamic, uncertain and unknown environments. The project will incorporate learning modules into correct-by-construction control protocol synthesis by adopting quantitative performance and confidence measures, e.g., probably approximate correctness coupled with rich specifications capable of encoding stochastic vs.worst-case variability and adversarial vs. cooperative interactions along with temporal as well as logical modalities. It is partitioned into three thrusts: (i) Establishing a mathematically sound formalism---and developing algorithms based on this formalism---for joint control and learning in unknown stochastic environments. (ii) Extending the formalism to environments with nondeterministic as well as stochastic components. (iii) Developing algorithmic support for distributed and collaborative joint learning and reactive control. Demonstrations in simulation environments and optionally in academic-scale testbeds will help validate the results.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jan 12, 2017
- Source ID
- W911NF1610001
Entities
People
- Ufuk Topcu
Organizations
- Army Contracting Command
- Office of the Secretary of Defense
- University of Texas at Austin