Sriram Sankaranarayanan, Ph.D.
Affiliations: | 2005 | Stanford University, Palo Alto, CA |
Area:
Computer ScienceGoogle:
"Sriram Sankaranarayanan"Parents
Sign in to add mentor| Zohar Manna | grad student | 2005 | Stanford | |
| (Mathematical analysis of programs.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Fränzle M, Girard A, Lygeros J, et al. (2018) Special issue on Hybrid Systems: Computation and Control Nonlinear Analysis: Hybrid Systems. 27: 174-176 |
| Dutta S, Jha S, Sankaranarayanan S, et al. (2018) Learning and Verification of Feedback Control Systems using Feedforward Neural Networks Ifac-Papersonline. 51: 151-156 |
| Ravanbakhsh H, Sankaranarayanan S. (2018) Learning control lyapunov functions from counterexamples and demonstrations Autonomous Robots. 43: 275-307 |
| Chen X, Mover S, Sankaranarayanan S. (2017) Compositional Relational Abstraction for Nonlinear Hybrid Systems Acm Transactions On Embedded Computing Systems. 16: 1-19 |
| Leth T, Sloth C, Wisniewski R, et al. (2017) Lyapunov Function Synthesis - Infeasibility and Farkas’ Lemma * *This work is supported by the Danish Council for Independent Research under grant number DFF - 4005-00452 in the project CodeMe. Ifac-Papersonline. 50: 1667-1672 |
| Ben Sassi MA, Bartocci E, Sankaranarayanan S. (2017) A Linear Programming-based Iterative Approach to Stabilizing Polynomial Dynamics Ifac-Papersonline. 50: 10462-10469 |
| Paolieri M, Sankaranarayanan S, Vicario E. (2017) Guest Editorial: Special issue on formal modeling and analysis of timed systems Real-Time Systems. 53: 289-290 |
| Sankaranarayanan S. (2016) Change-of-bases abstractions for non-linear hybrid systems Nonlinear Analysis: Hybrid Systems. 19: 107-133 |
| Ben Sassi MA, Sankaranarayanan S, Chen X, et al. (2015) Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis Ima Journal of Mathematical Control and Information. 33: 723-756 |
| Sankaranarayanan S, Chen X, Ábrahám E. (2013) Lyapunov function synthesis using handelman representations Ifac Proceedings Volumes (Ifac-Papersonline). 9: 576-581 |