ONR / NSF EPNES Control Challenge Problem Website

A Few Related Resources & Organizations

• Energy Systems Analysis Consortium  (ESAC)

• GARTEUR FM: Robust Flight Control Challenge Problem

• Espirit Heterogeneous Hybrid Control

• NASA Langley Formal Methods

• Virtual Test Bed (University of South Carolina)