The minimum achievable stability radius of switched linear systems with feedback. - Ray Essick; Matthew Philippe; Geir E. Dullerud; Raphaël M. Jungers (CDC, 2015)

Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences. - Matthew Philippe; Raphaël M. Jungers (ECC, 2015)

A sufficient condition for the boundedness of matrix products accepted by an automaton. - Matthew Philippe; Raphaël M. Jungers (HSCC, 2015)

Deciding the boundedness and dead-beat stability of constrained switching systems. - Matthew Philippe; Gilles Millerioux; Raphaël M. Jungers (CoRR, 2015)

Extremal storage functions and minimal realizations of discrete-time linear switching systems. - Matthew Philippe; Ray Essick; Geir E. Dullerud; Raphaël M. Jungers (CDC, 2016)

Stability of discrete-time switching systems with constrained switching sequences. - Matthew Philippe; Ray Essick; Geir E. Dullerud; Raphaël M. Jungers (Autom., 2016)

A linear program to compare path-complete Lyapunov functions. - David Angeli; Nikolaos Athanasopoulos; Raphaël M. Jungers; Matthew Philippe (CDC, 2017)

Path-Complete Graphs and Common Lyapunov Functions. - David Angeli; Nikolaos Athanasopoulos; Raphaël M. Jungers; Matthew Philippe (HSCC, 2017)

Path-Complete Methods and analysis of constrained switching systems. - Matthew Philippe (2017)

Verifying rLTL formulas: now faster than ever before! - Tzanis Anevlavis; Matthew Philippe; Daniel Neider; Paulo Tabuada (CDC, 2018)

Evrostos: the rLTL verifier. - Tzanis Anevlavis; Daniel Neider; Matthew Philippe; Paulo Tabuada (HSCC, 2019)

A complete characterization of the ordering of path-complete methods. - Matthew Philippe; Raphaël M. Jungers (HSCC, 2019)

On Path-Complete Lyapunov Functions: Geometry and Comparison. - Matthew Philippe; Nikolaos Athanasopoulos; David Angeli; Raphaël M. Jungers (IEEE Trans. Autom. Control., 2019)

Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. - Tzanis Anevlavis; Matthew Philippe; Daniel Neider; Paulo Tabuada (ACM Trans. Comput. Log., 2022)