Showing 2024Show all
2 papers · 1 filter
eess.SY2024
Incentive Designs for Learning Agents to Stabilize Coupled Exogenous Systems
Jair Certório, Nuno C. Martins, Richard J. La +1
We consider a large population of learning agents noncooperatively selecting strategies from a common set, influencing the dynamics of an exogenous system (ES) we seek to stabilize…
eess.SY2024
Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
Hussein Sibai, Sacha Huriot, Tyler Martin +1
We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications. The algorithm exploits dynamic…