Henning Burchardt, Jens Oehlerking, Oliver E. Theel. Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. In 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China. pages 374-378, IEEE Computer Society, 2005. [doi]
Abstract is missing.