Design of strict control-Lyapunov functions for Quantum systems with QND measurements | IEEE Conference Publication | IEEE Xplore