98 citations · 647 across the 44 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2021★ 14 cited
Verifying Switched System Stability With Logic
Yong Kiam Tan, Stefan Mitsch, André Platzer
Switched systems are known to exhibit subtle (in)stability behaviors requiring system designers to carefully analyze the stability of closed-loop systems that arise from their prop…
eess.SY2016★ 41 cited
Distributed Inertial Best-Response Dynamics
Brian Swenson, Ceyhun Eksin, Soummya Kar +1
The note considers the problem of computing pure Nash equilibrium (NE) strategies in distributed (i.e., network-based) settings. The paper studies a class of inertial best response…