75 citations · 261 across the 31 of their papers we have counts for
3 papers · 2 filters
A Framework for Fair Decision-making Over Time with Time-invariant Utilities
Andrea Lodi, Sriram Sankaranarayanan, Guanyi Wang
Fairness is a major concern in contemporary decision problems. In these situations, the objective is to maximize fairness while preserving the efficacy of the underlying decision-m…
Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems
Guillaume O. Berger, Sriram Sankaranarayanan
This paper presents a counterexample-guided iterative algorithm to compute convex, piecewise linear (polyhedral) Lyapunov functions for uncertain continuous-time linear hybrid syst…
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples
Guillaume O. Berger, Sriram Sankaranarayanan
We study the problem of synthesizing polyhedral Lyapunov functions for hybrid linear systems. Such functions are defined as convex piecewise linear functions, with a finite number…