Seguir
Matthew Philippe
Matthew Philippe
Postdoctoral Fellow - B.A.E.F. - UCLA
Dirección de correo verificada de uclouvain.be - Página principal
Título
Citado por
Citado por
Año
Stability of discrete-time switching systems with constrained switching sequences
M Philippe, R Essick, GE Dullerud, RM Jungers
Automatica 72, 242-250, 2016
1472016
On path-complete Lyapunov functions: Geometry and comparison
M Philippe, N Athanasopoulos, D Angeli, RM Jungers
IEEE Transactions on Automatic Control 64 (5), 1947-1957, 2018
252018
Path-complete graphs and common Lyapunov functions
D Angeli, N Athanasopoulos, RM Jungers, M Philippe
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
222017
Being correct is not enough: efficient verification using robust linear temporal logic
T Anevlavis, M Philippe, D Neider, P Tabuada
ACM Transactions on Computational Logic (TOCL) 23 (2), 1-39, 2022
192022
Deciding the boundedness and dead-beat stability of constrained switching systems
M Philippe, G Millerioux, RM Jungers
Nonlinear Analysis: Hybrid Systems 23, 287-299, 2017
182017
Evrostos: the rLTL verifier
T Anevlavis, D Neider, M Phillipe, P Tabuada
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
142019
Verifying rLTL formulas: now faster than ever before!
T Anevlavis, M Philippe, D Neider, P Tabuada
2018 IEEE Conference on Decision and Control (CDC), 1556-1561, 2018
132018
Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences
M Philippe, RM Jungers
2015 European Control Conference (ECC), 1902-1907, 2015
122015
Path-complete methods and analysis of constrained switching systems
M Philippe
Ph. D. dissertation, UCLouvain, 2017
102017
The minimum achievable stability radius of switched linear systems with feedback
R Essick, M Philippe, G Dullerud, RM Jungers
2015 54th IEEE Conference on Decision and Control (CDC), 4240-4245, 2015
102015
A sufficient condition for the boundedness of matrix products accepted by an automaton
M Philippe, RM Jungers
Proceedings of the 18th international conference on hybrid systems …, 2015
92015
A complete characterization of the ordering of path-complete methods
M Philippe, RM Jungers
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
72019
Extremal storage functions and minimal realizations of discrete-time linear switching systems
M Philippe, R Essick, G Dullerud, RM Jungers
2016 IEEE 55th Conference on Decision and Control (CDC), 5533-5538, 2016
62016
CSS Toolbox for MATLAB
L Cambier, M Philippe, RM Jungers
52015
A linear program to compare path-complete Lyapunov functions
D Angeli, N Athanasopoulos, RM Jungers, M Philippe
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 5888-5893, 2017
42017
MultiPath TCP connections: analysis and models
R Chauvenne, T Libioulle, O Bonaventure
PhD thesis, 2017
12017
Sum-Of-Squares programming on Path-complete graphs for switching systems
B Legat, RM Jungers, M PHILIPPE, L JACQUES
2016
Stability analysis of discrete time switching systems driven by an automaton.
M Philippe, R Jungers
15th Mons Theoretical Computer Science Days, 2014
2014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18