Follow
Abhishek Murthy
Abhishek Murthy
Senior ML/AI Architect, Schneider Electric
Verified email at se.com - Homepage
Title
Cited by
Cited by
Year
Lighting-enabled smart city applications and ecosystems based on the IoT
A Murthy, D Han, D Jiang, T Oliveira
2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), 757-763, 2015
312015
Compositionality results for cardiac cell dynamics
MA Islam, A Murthy, A Girard, SA Smolka, R Grosu
Proceedings of the 17th international conference on Hybrid systems…, 2014
192014
Model-order reduction of ion channel dynamics using approximate bisimulation
MA Islam, A Murthy, E Bartocci, EM Cherry, FH Fenton, J Glimm, ...
Theoretical Computer Science 599, 34-46, 2015
182015
Approximate bisimulations for sodium channel dynamics
A Murthy, MA Islam, E Bartocci, EM Cherry, FH Fenton, J Glimm, ...
Computational Methods in Systems Biology: 10th International Conference…, 2012
172012
Curvature Analysis of Cardiac Excitation Wavefronts
RG A. Murthy, E. Bartocci, F.H, Fenton, J. Glimm, R. Gray, S.A. Smolka
Proceedings of the 9th International Conference on Computational Methods in…, 2011
132011
Computing bisimulation functions using SOS optimization and δ-decidability over the reals
A Murthy, MA Islam, SA Smolka, R Grosu
Proceedings of the 18th International Conference on Hybrid Systems…, 2015
122015
Object recognition under lighting variations using pre-trained networks
K Sivaraman, A Murthy
2018 IEEE Applied Imagery Pattern Recognition Workshop (AIPR), 1-7, 2018
72018
A simplex architecture for hybrid systems using barrier certificates
J Yang, MA Islam, A Murthy, SA Smolka, SD Stoller
Computer Safety, Reliability, and Security: 36th International Conference…, 2017
72017
Single-pixel thermopile infrared sensing for people counting
E Hagenaars, A Pandharipande, A Murthy, G Leus
IEEE Sensors Journal 21 (4), 4866-4873, 2020
62020
Computing compositional proofs of input-to-output stability using SOS optimization and δ-decidability
A Murthy, MA Islam, SA Smolka, R Grosu
Nonlinear Analysis: Hybrid Systems 23, 272-286, 2017
52017
Simplex architecture for run time assurance of hybrid systems
A Murthy, E Bartocci, E Zadok, S Stoller, S Smolka, R Grosu
Safe and Secure Systems and Software Symposium (S5), 78-87, 2012
52012
Robustness of neural networks to parameter quantization
A Murthy, H Das, MA Islam
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A…, 2019
32019
Automated lamp-type identification for city-wide outdoor lighting infrastructures
S Yin, T Oliveira, A Murthy
Proceedings of the 18th international workshop on mobile computing systems…, 2017
22017
Correlation Coefficient based Loss Differentiation Algorithm (CCLDA) for TCP vis--vis traditional LDAs
A Murthy
2006 4th Student Conference on Research and Development, 38-43, 2006
22006
Systems and methods for automatically controlling illumination of a workplace
A Murthy
US Patent 11,553,576, 2023
12023
Systems, methods, and apparatuses for distributing computational resources over a network of luminaires
OP Olaleye, A Murthy
US Patent 11,382,203, 2022
12022
Systems and methods using multiple modalities for occupancy sensing
A Murthy, R Kumar, Y Zhang, C Kabytayev, EB Shen
US Patent App. 16/977,594, 2021
12021
System and methods to share machine learning functionality between cloud and an iot network
O Garcia-Morchon, A Murthy
US Patent App. 16/959,440, 2020
12020
System and method for object recognition using neural networks
KS Sivaraman, S Rangavajhala, A Murthy, TB De Oliveira, X Shen
US Patent App. 16/963,042, 2020
12020
Systems and methods for improved optical wireless communications based on mobility patterns
A Murthy, S Rangavajhala, OP Olaleye, TB De Oliveira, R Kumar, J Kaur, ...
US Patent 10,771,156, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20