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):

• Kingston,Peter
• Martin,Patrick

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.

Descriptors:

• MULTIAGENT SYSTEMS
• COMPUTER PROGRAM VERIFICATION
• differential equations
• computer simulations
• unmanned underwater vehicles
• unmanned aerial vehicles
• fixed wing aircraft
• control systems
• algorithms
• hybrid systems
• information systems
• automata

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE