BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sriram Sankaranarayanan
SearchCollections
Map detail
Sriram Sankaranarayanan13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSriram SankaranarayananASriram SankaranarayananResearcherChange-Of-Bases Abstractions for Non-Linear SystemsWChange-Of-Bases Abstrac...preprint / 2012Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systemsWCounterexample-guided c...preprint / 2022Learning fixed-complexity polyhedral Lyapunov functions from counterexamplesWLearning fixed-complexi...preprint / 2022Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function SynthesisWLinear Relaxations of P...preprint / 2014Stabilization of polynomial dynamical systems using linear programming based on Bernstein polynomialsWStabilization of polyno...preprint / 2015Bernstein Polynomial Relaxations for Polynomial Optimization ProblemsWBernstein Polynomial Re...preprint / 2015Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched SystemsWCounter-Example Guided ...preprint / 2015Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay PropertiesWCounterexample Guided S...preprint / 2015A Counter-Example Guided Framework for Robust Synthesis of Switched Systems Using Control CertificatesWA Counter-Example Guide...preprint / 2016Training Neural Network Controllers Using Control Barrier Functions in the Presence of DisturbancesWTraining Neural Network...preprint / 2020Learning specifications for reactive synthesis with safety constraintsWLearning specifications...preprint / 2026Abstract Acceleration of General Linear LoopsWAbstract Acceleration o...preprint / 2014
Person12 links

Sriram Sankaranarayanan

Researcher

PaperChange-Of-Bases Abstractions for Non-Linear SystemsAuthorship / preprint / 2012PaperCounterexample-guided computation of polyhedral Lyapunov functions for hybrid systemsAuthorship / preprint / 2022PaperLearning fixed-complexity polyhedral Lyapunov functions from counterexamplesAuthorship / preprint / 2022PaperLinear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function SynthesisAuthorship / preprint / 2014PaperStabilization of polynomial dynamical systems using linear programming based on Bernstein polynomialsAuthorship / preprint / 2015PaperBernstein Polynomial Relaxations for Polynomial Optimization ProblemsAuthorship / preprint / 2015PaperCounter-Example Guided Synthesis of Control Lyapunov Functions for Switched SystemsAuthorship / preprint / 2015PaperCounterexample Guided Synthesis of Switched Controllers for Reach-While-Stay PropertiesAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)