Slide 1

Increasing Autonomy in UAVs (USAF Perspective)

Limitations of “Automation”

The Theory/Practice Gap in Control

Difficulties with Determinism

The Verification Problem for Advanced Control

Performance with Confidence

Asymmetric Penalties

Some Basic SLT Results

VC Dimension

A Methodology for Statistical Verification

OAV Features and Functions

OAV Application

Application in Progress

Conclusions