Book excerpt: The Caltech/Colorado SEC project developed and tested two major advances in software enabled control: optimization-based control using real-time trajectory generation and logical programming environments for formal analysis of distributed control systems. These two activities, funded under the OCC and HSCC tasks of the SEC, were integrated and tested on the industry-led demonstration using the F-15 and T-33 flight tests.