Year |
Citation |
Score |
2018 |
Fränzle M, Girard A, Lygeros J, Sankaranarayanan S. Special issue on Hybrid Systems: Computation and Control Nonlinear Analysis: Hybrid Systems. 27: 174-176. DOI: 10.1016/J.Nahs.2017.07.001 |
0.309 |
|
2018 |
Dutta S, Jha S, Sankaranarayanan S, Tiwari A. Learning and Verification of Feedback Control Systems using Feedforward Neural Networks Ifac-Papersonline. 51: 151-156. DOI: 10.1016/J.Ifacol.2018.08.026 |
0.325 |
|
2018 |
Ravanbakhsh H, Sankaranarayanan S. Learning control lyapunov functions from counterexamples and demonstrations Autonomous Robots. 43: 275-307. DOI: 10.1007/S10514-018-9791-9 |
0.349 |
|
2017 |
Chen X, Mover S, Sankaranarayanan S. Compositional Relational Abstraction for Nonlinear Hybrid Systems Acm Transactions On Embedded Computing Systems. 16: 1-19. DOI: 10.1145/3126522 |
0.367 |
|
2017 |
Leth T, Sloth C, Wisniewski R, Sankaranarayanan S. 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. DOI: 10.1016/J.Ifacol.2017.08.339 |
0.339 |
|
2017 |
Ben Sassi MA, Bartocci E, Sankaranarayanan S. A Linear Programming-based Iterative Approach to Stabilizing Polynomial Dynamics Ifac-Papersonline. 50: 10462-10469. DOI: 10.1016/J.Ifacol.2017.08.1976 |
0.344 |
|
2017 |
Paolieri M, Sankaranarayanan S, Vicario E. Guest Editorial: Special issue on formal modeling and analysis of timed systems Real-Time Systems. 53: 289-290. DOI: 10.1007/S11241-017-9274-7 |
0.338 |
|
2016 |
Sankaranarayanan S. Change-of-bases abstractions for non-linear hybrid systems Nonlinear Analysis: Hybrid Systems. 19: 107-133. DOI: 10.1016/J.Nahs.2015.08.006 |
0.373 |
|
2015 |
Ben Sassi MA, Sankaranarayanan S, Chen X, Ábrahám E. Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis Ima Journal of Mathematical Control and Information. 33: 723-756. DOI: 10.1093/Imamci/Dnv003 |
0.327 |
|
2013 |
Sankaranarayanan S, Chen X, Ábrahám E. Lyapunov function synthesis using handelman representations Ifac Proceedings Volumes (Ifac-Papersonline). 9: 576-581. DOI: 10.3182/20130904-3-Fr-2041.00198 |
0.388 |
|
2013 |
Abbas H, Fainekos G, Sankaranarayanan S, Ivancic F, Gupta A. Probabilistic temporal logic falsification of cyber-physical systems Transactions On Embedded Computing Systems. 12. DOI: 10.1145/2465787.2465797 |
0.338 |
|
2013 |
Kahlon V, Sankaranarayanan S, Gupta A. Static analysis for concurrent programs with applications to data race detection International Journal On Software Tools For Technology Transfer. 15: 321-336. DOI: 10.1007/S10009-013-0274-1 |
0.338 |
|
2009 |
Kanade A, Alur R, Ivančić F, Ramesh S, Sankaranarayanan S, Shashidhar KC. Generating and analyzing symbolic traces of simulink/stateflow models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 430-445. DOI: 10.1007/978-3-642-02658-4_33 |
0.502 |
|
2008 |
Sankaranarayanan S, Sipma HB, Manna Z. Constructing invariants for hybrid systems Formal Methods in System Design. 32: 25-55. DOI: 10.1007/s10703-007-0046-1 |
0.561 |
|
2006 |
Sankaranarayanan S, Sipma HB, Manna Z. Fixed point iteration for computing the time elapse operator Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3927: 537-551. DOI: 10.1007/11730637_40 |
0.573 |
|
2005 |
D'Angelo B, Sankaranarayanan S, Sánchez C, Robinson W, Finkbeiner B, Sipma HB, Mehrotra S, Manna Z. LOLA: Runtime monitoring of synchronous systems Proceedings of the International Workshop On Temporal Representation and Reasoning. 166-175. DOI: 10.1109/TIME.2005.26 |
0.569 |
|
2004 |
Sankaranarayanan S, Sipma H, Manna Z. Petri net analysis using invariant generation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2772: 682-701. DOI: 10.1007/978-3-540-39910-0_29 |
0.596 |
|
2002 |
Finkbeiner B, Sankaranarayanan S, Sipma H. Collecting Statistics over Runtime Executions Electronic Notes in Theoretical Computer Science. 70: 36-54. DOI: 10.1016/S1571-0661(04)80576-0 |
0.644 |
|
2001 |
Dasgupta P, Chakrabarti P, Deka JK, Sankaranarayanan S. Min-max Computation Tree Logic Artificial Intelligence. 127: 137-162. DOI: 10.1016/S0004-3702(01)00059-5 |
0.324 |
|
Show low-probability matches. |