Matthew Philippe

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 9

Top Topics

Sufficient Conditions

Lyapunov Function

Top Venues

ACM Trans. Comput. Log.

Publications

Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Trans. Comput. Log. 23 (2) (2022)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Being correct is not enough: efficient verification using robust linear temporal logic. CoRR (2021)
Matthew Philippe, Raphaël M. Jungers
A complete characterization of the ordering of path-complete methods. HSCC (2019)
Matthew Philippe, Nikolaos Athanasopoulos, David Angeli, Raphaël M. Jungers
On Path-Complete Lyapunov Functions: Geometry and Comparison. IEEE Trans. Autom. Control. 64 (5) (2019)
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada
Verifying rLTL formulas: now faster than ever before! CDC (2018)
David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe
A linear program to compare path-complete Lyapunov functions. CDC (2017)
David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe
Path-Complete Graphs and Common Lyapunov Functions. HSCC (2017)
Matthew Philippe, Ray Essick, Geir E. Dullerud, Raphaël M. Jungers
Stability of discrete-time switching systems with constrained switching sequences. Autom. 72 (2016)
Matthew Philippe, Ray Essick, Geir E. Dullerud, Raphaël M. Jungers
Extremal storage functions and minimal realizations of discrete-time linear switching systems. CDC (2016)
Matthew Philippe, Raphaël M. Jungers
A sufficient condition for the boundedness of matrix products accepted by an automaton. HSCC (2015)
Matthew Philippe, Raphaël M. Jungers
Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences. ECC (2015)
Matthew Philippe, Gilles Millerioux, Raphaël M. Jungers
Deciding the boundedness and dead-beat stability of constrained switching systems. CoRR (2015)
Ray Essick, Matthew Philippe, Geir E. Dullerud, Raphaël M. Jungers
The minimum achievable stability radius of switched linear systems with feedback. CDC (2015)