Follow
Abhishek Murthy
Abhishek Murthy
Senior Principal 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
372015
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
192015
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
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
162012
Single-pixel thermopile infrared sensing for people counting
E Hagenaars, A Pandharipande, A Murthy, G Leus
IEEE Sensors Journal 21 (4), 4866-4873, 2020
142020
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
142015
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
Object recognition under lighting variations using pre-trained networks
K Sivaraman, A Murthy
2018 IEEE Applied Imagery Pattern Recognition Workshop (AIPR), 1-7, 2018
92018
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
92017
Efficacy of controlled-release nitrogen fertilizer on grain yield of different cultivars of rice (Oryza sativa) in irrigated rice ecosystem.
AGK Murthy, K Padmaja, RM Kumar, SV Subbaiah
82002
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
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
42020
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
42019
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
42012
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
32017
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
22020
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
22020
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
Effect of controlled release and coated urea fertilizers on'N'use efficiency in irrigated transplanted rice.
AGK Murthy, K Padmaja, RM Kumar, SV Subbaiah
22003
Systems and methods for multimodal sensor fusion in connected lighting systems using autoencoder neural networks for occupant counting
A Murthy, R Mohammadi
US Patent App. 17/787,400, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20