75 citations · 261 across the 31 of their papers we have counts for
3 papers · 1 filter
Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen +1
In this paper, we examine linear programming (LP) based relaxations for synthesizing polynomial Lyapunov functions to prove the stability of polynomial ODEs. A common approach to L…
On the Minimal Revision Problem of Specification Automata
Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan
As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on the safe and provably correct operation. Such guarantees can be provided using au…
Determination of personalized diabetes treatment plans using a two-delay model
S. M. Kissler, C. Cichowitz, S. Sankaranarayanan +1
Diabetes cases worldwide have risen steadily over the past decades, lending urgency to the search for more efficient, effective, and personalized ways to treat the disease. Current…