Adaptive control and the NASA X-15 program: A concise history, lessons learned, and a provably correct design | IEEE Conference Publication | IEEE Xplore