Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhikun She, Dan Song, Meilun Li. Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings. Volume 9301 of Lecture Notes in Computer Science, pages 440-456, Springer, 2015. [doi]

This author has not been identified. Look up 'Zhikun She' in GoogleThis author has not been identified. Look up 'Dan Song' in GoogleThis author has not been identified. Look up 'Meilun Li' in Google

runs on WebDSL