( en | de | ru )

 

Disambiguation of "Sankaranarayanan, Sriram"

Author of the publication

copydeleteadd this publication to your clipboard
Lyapunov Function Synthesis Using Handelman Representations.

, , and . NOLCOS, page 576-581. International Federation of Automatic Control, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sriram Rallabhandi

Sundararajan Sankaranarayanan

Sriram Varadarajan

Sriram Subramanian

Sriram Ayyaswamy

 

Other publications of authors with the same name

The Flow-Insensitive Precision of Andersen's Analysis in Practice., , , and . SAS, volume 6887 of Lecture Notes in Computer Science, page 60-76. Springer, (2011)Automatic abstraction of non-linear systems using change of bases transformations.. HSCC, page 143-152. ACM, (2011)Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants., , and . SAS, volume 9837 of Lecture Notes in Computer Science, page 424-446. Springer, (2016)Expectation Invariants for Probabilistic Program Loops as Fixed Points., and . SAS, volume 8723 of Lecture Notes in Computer Science, page 85-100. Springer, (2014)Template Polyhedra with a Twist., and . SAS, volume 10422 of Lecture Notes in Computer Science, page 321-341. Springer, (2017)Linear Invariant Generation Using Non-linear Constraint Solving., , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 420-432. Springer, (2003)Simulation-guided lyapunov analysis for hybrid dynamical systems., , , and . HSCC, page 133-142. ACM, (2014)Robust controller synthesis of switched systems using counterexample guided framework., and . EMSOFT, page 8:1-8:10. ACM, (2016)Learning Control Lyapunov Functions from Counterexamples and Demonstrations., and . CoRR, (2018)Semantic Reduction of Thread Interleavings in Concurrent Programs., , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 124-138. Springer, (2009)