@inproceedings{SPM701, author = "Christopher M. Kellett and Andrew R. Teel", title = "Results on Discrete-Time Control-Lyapunov Functions", booktitle = "42nd IEEE Conference on Decision and Control", year = 2003, month = "dec" }