[IEEE Proceedings of the 45th IEEE Conference on Decision and Control - San Diego, CA, USA (2006.12.13-2006.12.15)] Proceedings of the 45th IEEE Conference on Decision and Control - A converse Lyapunov theorem for semiglobal practical asymptotic stability and application to cascades-based control