Alexandre Rocca, Thao Dang, Eric Fanchon. Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. In Oded Maler, Ádám M. Halász, Thao Dang, Carla Piazza, editors, Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers. Volume 7699 of Lecture Notes in Computer Science, pages 111-127, Springer, 2014. [doi]
Abstract is missing.