Stochastic Quantitative Reasoning for Autonomous Mission Planning

Abstract

In research performed with funding from this grant, PI Varela has developed mathematical concepts and software to automatically detect and correct for errors in spatio-temporal data streams. Varela and his group invented and formalized the notions of error signatures and mode likelihood vectors, and developed the PILOTS programming language v0.2.3. An important application of this work was to demonstrate that the Air France flight 447 accident from June 2009 could have been avoided by using these techniques applied on air speed, ground speed, and wind speed data streams.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 09, 2014
Accession Number
ADA599522

Entities

People

  • Carlos A. Varela

Organizations

  • Rensselaer Polytechnic Institute

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Ground and Sea Platforms
  • Materials and Manufacturing Processes
  • Sensors
  • Space

DTIC Thesaurus Topics

  • Aircrafts
  • Application Software
  • Automatic Pilots
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Data Analysis
  • Electronic Mail
  • Failure Mode And Effect Analysis
  • Global Positioning Systems
  • Programming Languages
  • Reasoning
  • Three Dimensional
  • Two Dimensional

Readers

  • Aerial Unmanned Vehicle Swarm Micro Periodontal Dentistry.
  • Computer Vision.
  • Mathematical Modeling and Probability Theory.