Matthew Philippe

According to our database, Matthew Philippe authored at least 13 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2019

On Path-Complete Lyapunov Functions: Geometry and Comparison.

Matthew Philippe, Nikolaos Athanasopoulos, David Angeli, Raphaël M. Jungers

IEEE Trans. Autom. Control., 2019

A complete characterization of the ordering of path-complete methods.

Matthew Philippe, Raphaël M. Jungers

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Evrostos: the rLTL verifier.

Tzanis Anevlavis, Daniel Neider, Matthew Philippe, Paulo Tabuada

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

Verifying rLTL formulas: now faster than ever before!

Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Path-Complete Graphs and Common Lyapunov Functions.

David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

A linear program to compare path-complete Lyapunov functions.

David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Stability of discrete-time switching systems with constrained switching sequences.

Matthew Philippe, Ray Essick, Geir E. Dullerud, Raphaël M. Jungers

Autom., 2016

Extremal storage functions and minimal realizations of discrete-time linear switching systems.

Matthew Philippe, Ray Essick, Geir E. Dullerud, Raphaël M. Jungers

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Deciding the boundedness and dead-beat stability of constrained switching systems.

Matthew Philippe, Gilles Millerioux, Raphaël M. Jungers

CoRR, 2015

A sufficient condition for the boundedness of matrix products accepted by an automaton.

Matthew Philippe, Raphaël M. Jungers

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences.

Matthew Philippe, Raphaël M. Jungers

Proceedings of the 14th European Control Conference, 2015

The minimum achievable stability radius of switched linear systems with feedback.

Ray Essick, Matthew Philippe, Geir E. Dullerud, Raphaël M. Jungers

Proceedings of the 54th IEEE Conference on Decision and Control, 2015