Sriram Sankaranarayanan focuses on Hybrid system, Algorithm, Invariant, Robustness and Temporal logic. His Hybrid system research is multidisciplinary, incorporating perspectives in Intersection, Polynomial, Mathematical optimization and Cyber-physical system. His research integrates issues of Buffer overflow and Nonlinear system in his study of Algorithm.
His study in Nonlinear system is interdisciplinary in nature, drawing from both Constraint logic programming and Loop invariant. His work investigates the relationship between Invariant and topics such as Transition system that intersect with problems in Constraint satisfaction and Quantifier elimination. His Robustness research includes elements of Control engineering, Complex system, Monte Carlo method and Random walk.
His primary areas of investigation include Algorithm, Hybrid system, Theoretical computer science, Nonlinear system and Mathematical optimization. In general Algorithm study, his work on Abstract interpretation, Model checking, Floating point and Formal verification often relates to the realm of Interval arithmetic, thereby connecting several areas of interest. Sriram Sankaranarayanan works mostly in the field of Abstract interpretation, limiting it down to concerns involving Static analysis and, occasionally, Scalability.
Sriram Sankaranarayanan has included themes like Invariant, Reachability and Robustness in his Hybrid system study. His Theoretical computer science research integrates issues from Programming language, Correctness and Robot. The various areas that Sriram Sankaranarayanan examines in his Mathematical optimization study include Set and Lyapunov function.
His main research concerns Artificial neural network, Control theory, Control, Artificial intelligence and Time horizon. Sriram Sankaranarayanan focuses mostly in the field of Feedforward neural network, narrowing it down to matters related to Control engineering and, in some cases, Hybrid system, Data-driven, Nondeterministic algorithm and Optimization problem. His Hybrid system study integrates concerns from other disciplines, such as Floating point, Semidefinite programming, Signal temporal logic, Software and Solver.
His Robustness study combines topics in areas such as Information security and Counterexample. The concepts of his Trajectory study are interwoven with issues in Path following, Correctness, Vehicle dynamics and Nonlinear system. His Nonlinear system research includes themes of Polynomial, Mathematical optimization and Sensitivity.
Artificial neural network, Control theory, Robustness, Feedforward neural network and Polynomial are his primary areas of study. His Robustness research incorporates elements of Path following, Correctness, Counterexample, Vehicle dynamics and Trajectory. As a member of one scientific family, Sriram Sankaranarayanan mostly works in the field of Counterexample, focusing on Information security and, on occasion, Theoretical computer science.
His Feedforward neural network study incorporates themes from Control engineering and Formal verification. Sriram Sankaranarayanan has researched Polynomial in several fields, including Convergence, Lyapunov function, Set, Mathematical optimization and Function. Sriram Sankaranarayanan usually deals with Mathematical optimization and limits it to topics linked to Floating point and Hybrid system.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Flow*: an analyzer for non-linear hybrid systems
Xin Chen;Erika Ábrahám;Sriram Sankaranarayanan.
computer aided verification (2013)
Linear Invariant Generation Using Non-linear Constraint Solving
Michael A. Colon;Sriram Sankaranarayanan;Henny B. Sipma.
computer aided verification (2003)
S-taliro: a tool for temporal logic falsification for hybrid systems
Yashwanth Annapureddy;Che Liu;Georgios Fainekos;Sriram Sankaranarayanan.
tools and algorithms for construction and analysis of systems (2011)
Non-linear loop invariant generation using Gröbner bases
Sriram Sankaranarayanan;Henny B. Sipma;Zohar Manna.
symposium on principles of programming languages (2004)
Scalable analysis of linear systems using mathematical programming
Sriram Sankaranarayanan;Henny B. Sipma;Zohar Manna.
verification model checking and abstract interpretation (2005)
LOLA: runtime monitoring of synchronous systems
B. D'Angelo;S. Sankaranarayanan;C. Sanchez;W. Robinson.
international symposium on temporal representation and reasoning (2005)
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
Xin Chen;Erika Abraham;Sriram Sankaranarayanan.
real-time systems symposium (2012)
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
Houssam Abbas;Georgios Fainekos;Sriram Sankaranarayanan;Franjo Ivančić.
ACM Transactions in Embedded Computing Systems (2013)
Output Range Analysis for Deep Feedforward Neural Networks
Souradeep Dutta;Susmit Jha;Sriram Sankaranarayanan;Ashish Tiwari.
nasa formal methods symposium (2018)
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Ezio Bartocci;Jyotirmoy V. Deshmukh;Alexandre Donzé;Georgios E. Fainekos.
runtime verification (2018)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: