Matthew Philippe

Available identifiers

Publication	Date of Publication	Type
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic	2022-02-24	Paper
A complete characterization of the ordering of path-complete methods	2019-10-22	Paper
On Path-Complete Lyapunov Functions: Geometry and Comparison	2019-07-18	Paper
Path-Complete Graphs and Common Lyapunov Functions	2017-07-11	Paper
A sufficient condition for the boundedness of matrix products accepted by an automaton	2017-05-19	Paper
Deciding the boundedness and dead-beat stability of constrained switching 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	2016-09-13	Paper
Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences	2014-10-27	Paper

This page was built for person: Matthew Philippe