IEEE - Institute of Electrical and Electronics Engineers, Inc. - A scalable algebraic method to infer quadratic invariants of switched systems

2015 International Conference on Embedded Software (EMSOFT)

Author(s): Xavier Allamigeon ; Stéphane Gaubert ; Eric Goubault ; Sylvie Putot ; Nikolas Stott
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2015
Conference Location: Amsterdam, Netherlands
Conference Date: 4 October 2015
Page(s): 75 - 84
ISBN (Electronic): 978-1-4673-8079-9
DOI: 10.1109/EMSOFT.2015.7318262
Regular:

We present a new numerical abstract domain based on ellipsoids designed for the formal verification of switched linear systems. Unlike the existing approaches, this domain does not rely on a... View More

Advertisement