| Stability of discrete-time switching systems with constrained switching sequences M Philippe, R Essick, GE Dullerud, RM Jungers Automatica 72, 242-250, 2016 | 159 | 2016 |
| 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 | 27 | 2018 |
| 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 | 23 | 2017 |
| 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 | 22 | 2022 |
| 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 | 18 | 2017 |
| Evrostos: the rLTL verifier T Anevlavis, D Neider, M Phillipe, P Tabuada Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 14 | 2019 |
| 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 | 13 | 2018 |
| 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 | 12 | 2015 |
| Path-complete methods and analysis of constrained switching systems M Philippe Ph. D. dissertation, UCLouvain, 2017 | 10 | 2017 |
| 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 | 10 | 2015 |
| 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 | 9 | 2015 |
| 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 | 8 | 2019 |
| 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 | 7 | 2016 |
| CSS Toolbox for MATLAB L Cambier, M Philippe, RM Jungers | 5 | 2015 |
| 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 | 4 | 2017 |
| MultiPath TCP connections: analysis and models R Chauvenne, T Libioulle, O Bonaventure PhD thesis, 2017 | 1 | 2017 |
| 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 |
Raphael JungersProfessor of Applied Mathematics, Université catholique de Louvain, ICTEAMPotvrđena adresa e-pošte na uclouvain.be
