A scalable algebraic method to infer quadratic invariants of switched systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott. A scalable algebraic method to infer quadratic invariants of switched systems. In 2015 International Conference on Embedded Software, EMSOFT 2015, Amsterdam, Netherlands, October 4-9, 2015. pages 75-84, IEEE, 2015. [doi]

This author has not been identified. Look up 'Xavier Allamigeon' in GoogleThis author has not been identified. Look up 'Stéphane Gaubert' in GoogleThis author has not been identified. Look up 'Eric Goubault' in GoogleThis author has not been identified. Look up 'Sylvie Putot' in GoogleThis author has not been identified. Look up 'Nikolas Stott' in Google

runs on WebDSL