TEAMBLOCKS: HYBRID ABSTRACTIONS FOR PROVABLE MULTI-AGENT AUTONOMY

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 28, 2017
Accession Number
AD1037273

Entities

People

  • Patrick Martin
  • Peter Kingston

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Cyber
  • Ground and Sea Platforms
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Algorithms
  • Computer Programs
  • Control Surfaces
  • Control Systems
  • Differential Equations
  • Fixed Wing Aircraft
  • Governments
  • Information Systems
  • Instructions
  • Specifications
  • Standards
  • United States
  • Unmanned Aerial Vehicles
  • Unmanned Underwater Vehicles

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Mathematical Modeling and Probability Theory.