Chapter 8: Verification and Engineering Applications
From optimality conditions to defensible engineering conclusions
Theory and algorithms are valuable only when they lead to defensible engineering conclusions. This chapter begins with a verification-oriented workflow and then applies the book’s recurring ideas to three contrasting problems: fixed-time ascent steering, fuel-efficient lunar landing, and minimum-time aircraft climb through an energy-state approximation. Together they illustrate analytical structure, constrained control, reduced-order modeling, and the need to check every claimed optimum.