@article{SPM359, author = "Christopher M. Kellett and Andrew R. Teel", title = "Discrete-Time Asymptotic Controllability Implies Smooth Control-Lyapunov Function", journal = "Systems and Control Letters", year = 2004, volume = 52, number = 5, pages = "349-359", month = "jan" }