41 citations · 91 across the 7 of their papers we have counts for
3 papers · 1 filter
Structural Methods for handling mode changes in multimode DAE systems
Albert Benveniste, Benoit Caillaud, Yahao Chen +2
Hybrid systems are an important concept in Cyber-Physical Systems modeling, for which multiphysics modeling from first principles and the reuse of models from libraries are key. To…
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Benjamin Martin, Khalil Ghorbal, Eric Goubault +1
We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its s…
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…