Toward Verifiable Adaptive Control Systems: High-Performance and Robust Architectures