1 paper
Matthew Philippe, Nikolaos Athanasopoulos, David Angeli +1
We study optimization-based criteria for the stability of switching systems, known as Path-Complete Lyapunov Functions, and ask the question "can we decide algorithmically when a c…