Fault detection, isolation, and recovery using spline tools and differential flatness with application to a magnetic lévitation system | IEEE Conference Publication | IEEE Xplore