A scalable algebraic method to infer quadratic invariants of switched systems.

Xavier Allamigeon, Stphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott

Browse the full EMSOFT paper archive.