75 citations · 261 across the 31 of their papers we have counts for
4 papers · 1 filter
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems
Hadi Ravanbakhsh, Sriram Sankaranarayanan
In this article, we consider the problem of synthesizing switching controllers for temporal properties through the composition of simple primitive reach-while-stay (RWS) properties…
Output Range Analysis for Deep Neural Networks
Souradeep Dutta, Susmit Jha, Sriram Sanakaranarayanan +1
Deep neural networks (NN) are extensively used for machine learning tasks such as image classification, perception and control of autonomous systems. Increasingly, these deep NNs a…
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations
Hadi Ravanbakhsh, Sriram Sankaranarayanan
We present a technique for learning control Lyapunov (potential) functions, which are used in turn to synthesize controllers for nonlinear dynamical systems. The learning framework…
Discriminating Traces with Time
Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang +2
What properties about the internals of a program explain the possible differences in its overall running time for different inputs? In this paper, we propose a formal framework for…