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

Personal Author(s):

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE