Stability of discrete-time switching systems with constrained switching sequences M Philippe, R Essick, GE Dullerud, RM Jungers Automatica 72, 242-250, 2016 | 146 | 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 | 25 | 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 | 22 | 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 | 19 | 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 | 7 | 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 | 6 | 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 |