Matthew Philippe

MaRDI QIDQ311966zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic ACM Transactions on Computational Logic	2022-02-24	Paper
A complete characterization of the ordering of path-complete methods Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
On Path-Complete Lyapunov Functions: Geometry and Comparison IEEE Transactions on Automatic Control	2019-07-18	Paper
Path-complete graphs and common Lyapunov functions Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
Path-complete graphs and common Lyapunov functions Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
A sufficient condition for the boundedness of matrix products accepted by an automaton Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Deciding the boundedness and dead-beat stability of constrained switching systems Nonlinear Analysis. Hybrid Systems	2016-12-15	Paper
Extremal storage functions and minimal realizations of discrete-time linear switching systems	2016-09-19	Paper
Stability of discrete-time switching systems with constrained switching sequences Automatica	2016-09-13	Paper
Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences	2014-10-27	Paper

Research outcomes over time

This page was built for person: Matthew Philippe