Matthew Philippe

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