DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD1037273
Title:
TEAMBLOCKS: HYBRID ABSTRACTIONS FOR PROVABLE MULTI-AGENT AUTONOMY
Descriptive Note:
Technical Report,01 May 2015,01 May 2017
Corporate Author:
BAE Systems AIT Burlington United States
Report Date:
2017-07-28
Pagination or Media Count:
39.0
Abstract:
In this report, we describe TeamBlocks, a software library and underlying theory for the construction, analysis, and execution of provably-correct team autonomy software. TeamBlocks includes a a framework for working with polynomial hybrid automata, b a tool to generate automaton models from C code, c a runtime validator for Linear Temporal Logic LTL specifications, d a method for proof search using polynomial Sum of Squares, and e a collection of hybrid automaton models.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE