Ratnesh Kumar

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 48

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

ICNSC

IEEE Trans Autom. Sci. Eng.

CoRR

Publications

Rahmat Adesunkanmi, Balaji Sesha Srikanth Pokuri, Ratnesh Kumar
NeuroKoopman Dynamic Causal Discovery. CoRR (2024)
Alaa T. Al Ghazo, Ratnesh Kumar
ANDVI: Automated Network Device and Vulnerability Identification in SCADA/ICS by Passive Monitoring. IEEE Trans. Syst. Man Cybern. Syst. 54 (4) (2024)
Ramij Raja Hossain, Ratnesh Kumar
Machine Learning Accelerated Real-Time Model Predictive Control for Power Systems. IEEE CAA J. Autom. Sinica 10 (4) (2023)
Soumyabrata Talukder, Ratnesh Kumar
Robust Stability of Neural-Network-Controlled Nonlinear Systems With Parametric Variability. IEEE Trans. Syst. Man Cybern. Syst. 53 (8) (2023)
Alaa T. Al Ghazo, Ratnesh Kumar
Critical Attacks Set Identification in Attack Graphs for Computer and SCADA/ICS Networks. IEEE Trans. Syst. Man Cybern. Syst. 53 (9) (2023)
Ramij Raja Hossain, Rahmat Adesunkanmi, Ratnesh Kumar
Data-Driven Linear Koopman Embedding for Networked Systems: Model-Predictive Grid Control. IEEE Syst. J. 17 (3) (2023)
Madhav Pathak, Shuo Xie, Cheng Huang, Ratnesh Kumar
High-Voltage Triboelectric Energy Harvesting Using Multi-Shot Energy Extraction in 70-V BCD Process. IEEE Trans. Circuits Syst. II Express Briefs 69 (5) (2022)
Jun Chen, Ratnesh Kumar
Stochastic Failure Prognosis of Discrete Event Systems. IEEE Trans. Autom. Control. 67 (10) (2022)
Ratnesh Kumar, Ramij Raja Hossain, Soumyabrata Talukder, Amit Jena, Alaa T. Al Ghazo
Recursive Histogram Tracking-Based Rapid Online Anomaly Detection in Cyber-Physical Systems. IEEE Trans. Syst. Man Cybern. Syst. 52 (11) (2022)
Madhav Pathak, Ratnesh Kumar
Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator. CoRR (2021)
Bhuwan Kashyap, Ratnesh Kumar
Sensing Methodologies in Agriculture for Soil Moisture and Nutrient Monitoring. IEEE Access 9 (2021)
Bhuwan Kashyap, Ratnesh Kumar
A plug-and-play type field-deployable bio-agent free salicylic acid sensing system. CoRR (2021)
Ratnesh Kumar, Thomas I. Strasser, Geert Deconinck, Chun Sing Lai, Loi Lei Lai
Special Issue on Recent Advances for Intelligence in Power and Energy Systems. IEEE Trans. Syst. Man Cybern. Syst. 51 (4) (2021)
Hao Ren, Ratnesh Kumar, Matthew Clark
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification. CoRR (2021)
Madhav Pathak, Ratnesh Kumar
Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator. IEEE Access 9 (2021)
Soumyabrata Talukder, Mariam Ibrahim, Ratnesh Kumar
Resilience Indices for Power/Cyberphysical Systems. IEEE Trans. Syst. Man Cybern. Syst. 51 (4) (2021)
Soumyabrata Talukder, Ratnesh Kumar
Robust Stability of Neural-Network Controlled Nonlinear Systems with Parametric Variability. CoRR (2021)
Madhav Pathak, Ratnesh Kumar
Synchronous Pre-biasing of Triboelectric Nanogenerator for Enhanced Energy Extraction. CoRR (2021)
Samik Basu, Ratnesh Kumar
Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting. IEEE CAA J. Autom. Sinica 8 (5) (2021)
Anupam Bhar, Ratnesh Kumar, Zhiming Qi, Robert Malone
Coordinate descent based agricultural model calibration and optimized input management. Comput. Electron. Agric. 172 (2020)
Remigiusz Wisniewski, Mengchu Zhou, Luís Gomes, Maria Pia Fanti, Ratnesh Kumar
Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Alaa T. Al Ghazo, Mariam Ibrahim, Hao Ren, Ratnesh Kumar
A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Ratnesh Kumar, Shigemasa Takai
Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification". IEEE Trans Autom. Sci. Eng. 16 (4) (2019)
Hao Ren, Ratnesh Kumar, Matthew A. Clark
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning. ICINCO (1) (2019)
Alaa T. Al Ghazo, Ratnesh Kumar
ICS/SCADA Device Recognition: A Hybrid Communication-Patterns and Passive-Fingerprinting Approach. IM (2019)
Bhuwan Kashyap, Ratnesh Kumar
Bio-agent free electrochemical detection of Salicylic acid. IEEE SENSORS (2019)
Alaa T. Al Ghazo, Ratnesh Kumar
Identification of Critical-Attacks Set in an Attack-Graph. UEMCON (2019)
Madhav Pathak, Ratnesh Kumar
Pre-Biased Synchronous Charge Extraction for Triboelectric Nanogenerator. IEEE SENSORS (2019)
Hao Ren, Ratnesh Kumar
Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations. IET Cyper-Phys. Syst.: Theory & Appl. 4 (3) (2019)
Gunjan Pandey, Robert J. Weber, Ratnesh Kumar
Agricultural Cyber-Physical System: In-Situ Soil Moisture and Salinity Estimation by Dielectric Mixing. IEEE Access 6 (2018)
Jun Chen, Christoforos Keroglou, Christoforos N. Hadjicostis, Ratnesh Kumar
Revised Test for Stochastic Diagnosability of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 15 (1) (2018)
Shigemasa Takai, Ratnesh Kumar
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Discret. Event Dyn. Syst. 28 (2) (2018)
Gang Wu, Ratnesh Kumar
Learning a Joint Low-Rank and Gaussian Model in Matrix Completion with Spectral Regularization and Expectation Maximization Algorithm. BigData Congress (2018)
Herman Sahota, Ratnesh Kumar
Maximum-Likelihood Sensor Node Localization Using Received Signal Strength in Multimedia With Multipath Characteristics. IEEE Syst. J. 12 (1) (2018)
Hao Ren, Matthew Clark, Ratnesh Kumar
Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner. ICCA (2018)
Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar
Context-aware video recommendation based on session progress prediction. ICME (2017)
Shigemasa Takai, Ratnesh Kumar
A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making. IEEE Trans. Autom. Control. 62 (6) (2017)
Jun Chen, Mariam Ibrahim, Ratnesh Kumar
Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems. IEEE Trans Autom. Sci. Eng. 14 (1) (2017)
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. IET Cyper-Phys. Syst.: Theory & Appl. 2 (2) (2017)
Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar
Digital content recommendation system using implicit feedback data. IEEE BigData (2017)
Meng Li, Ratnesh Kumar
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow. IET Cyper-Phys. Syst.: Theory & Appl. 2 (1) (2017)
Gang Wu, Viswanathan Swaminathan, Ratnesh Kumar
Matrix Completion under Gaussian Models Using MAP and EM Algorithms. J. Commun. 12 (3) (2017)
Ni-Bin Chang, Ratnesh Kumar, Gary G. Yen, Chi-Hsu Wang
Guest Editorial: Special Issue on "Cyber-Innovated Environmental Sensing, Monitoring, and Modeling for Sustainability". IEEE Syst. J. 10 (3) (2016)
Zhen Xu, Xinran Wang, Robert J. Weber, Ratnesh Kumar, Liang Dong
Microfluidic eletrophoretic ion nutrient sensor. IEEE SENSORS (2016)
Shigemasa Takai, Ratnesh Kumar
Delay bound of inference-based decentralized diagnosis in discrete event systems. WODES (2016)
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
A resiliency measure for electrical power systems. WODES (2016)
Meng Li, Ratnesh Kumar
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. IET Cyper-Phys. Syst.: Theory & Appl. 1 (1) (2016)
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications. WODES (2016)
Meng Li, Ratnesh Kumar
Robustness of Simulink/Stateflow Model Against Implementation Imperfections. ADHS (2015)
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
An information theoretic measure for secrecy loss in stochastic discrete event systems. ECAI (2015)
Jun Chen, Ratnesh Kumar
Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements. IEEE Trans Autom. Sci. Eng. 12 (4) (2015)
Shigemasa Takai, Ratnesh Kumar
Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems. ETFA (2015)
Shigemasa Takai, Ratnesh Kumar
A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making. CDC (2015)
Jun Chen, Ratnesh Kumar
Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds. IEEE Trans. Autom. Control. 60 (6) (2015)
Jun Chen, Ratnesh Kumar
Stochastic Failure Prognosability of Discrete Event Systems. IEEE Trans. Autom. Control. 60 (6) (2015)
Hao Ren, Ratnesh Kumar
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. ADHS (2015)
Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar
Online video session progress prediction using low-rank matrix completion. ICME Workshops (2014)
Herman Sahota, Ratnesh Kumar
Network based sensor localization in multi-media application of precision agriculture Part 1: Received signal strength. ICNSC (2014)
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
Secrecy in stochastic discrete event systems. ICNSC (2014)
Jun Chen, Ratnesh Kumar
Failure prognosability of stochastic discrete event systems. ACC (2014)
Ratnesh Kumar, Shigemasa Takai
Comments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification. IEEE Trans. Autom. Control. 59 (5) (2014)
Jun Chen, Ratnesh Kumar
Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements. ICNSC (2014)
Gunjan Pandey, Ratnesh Kumar, Robert J. Weber
A low profile, low-RF band, small antenna for underground, in-situ sensing and wireless energy-efficient transmission. ICNSC (2014)
Meng Li, Ratnesh Kumar
Recursive Modeling of Stateflow as Input/Output-Extended Automaton. IEEE Trans Autom. Sci. Eng. 11 (4) (2014)
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. ICNSC (2014)
Gunjan Pandey, Kim Ni Wang, Ratnesh Kumar, Robert J. Weber
Employing a metamaterial inspired small antenna for sensing and transceiving data in an underground soil sensor equipped with a GUI for end-user. SMC (2014)
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou
Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788]. Autom. 50 (1) (2014)
Qin Wen, Ratnesh Kumar, Jing Huang
Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors. IEEE Trans. Syst. Man Cybern. Syst. 44 (8) (2014)
Herman Sahota, Ratnesh Kumar
Network based sensor localization in multi-media application of precision agriculture Part 2: Time of arrival. ICNSC (2014)
Jun Chen, Ratnesh Kumar
Pattern Mining for Predicting Critical Events from Sequential Event Data Log. WODES (2014)
Benjamin Britz, Eric Ng, Huawei Jiang, Zhen Xu, Ratnesh Kumar, Liang Dong
Smart nitrate-selective electrochemical sensors with electrospun nanofibers modified microelectrode. SMC (2014)
Lucien Ouedraogo, Ratnesh Kumar
Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages. IEEE Trans Autom. Sci. Eng. 11 (2) (2014)
Kanishka Aman Singh, Ratnesh Kumar, Robert J. Weber
Piezoelectric-based broadband bistable vibration energy harvester and SCE/SSHI-based high-power extraction. ICNSC (2014)
Gunjan Pandey, Ratnesh Kumar, Robert J. Weber
Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy. SMC (2013)
Jun Chen, Ratnesh Kumar
Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 10 (4) (2013)
Changyan Zhou, Ratnesh Kumar
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables. IEEE Trans Autom. Sci. Eng. 10 (1) (2013)
Jun Chen, Ratnesh Kumar
Online failure diagnosis of stochastic discrete event systems. CACSD (2013)
Jun Chen, Ratnesh Kumar
Decentralized failure diagnosis of stochastic discrete event systems. CASE (2013)
Songyan Xu, Ratnesh Kumar, Alessandro Pinto
Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. IEEE Trans Autom. Sci. Eng. 10 (1) (2013)
Meng Li, Ratnesh Kumar
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution. CASE (2013)
Shigemasa Takai, Ratnesh Kumar
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications. IEEE Trans. Autom. Control. 57 (5) (2012)
Changyan Zhou, Ratnesh Kumar
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. Discret. Event Dyn. Syst. 22 (2) (2012)
Jun Chen, Ratnesh Kumar
Polynomial test for Stochastic Diagnosability of discrete event systems. CASE (2012)
Meng Li, Ratnesh Kumar
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton. CASE (2012)
Changyan Zhou, Ratnesh Kumar
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control. IEEE Trans. Autom. Control. 56 (12) (2011)
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
Analysis of runtime data-log for software fault localization. ACC (2011)
Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. IEEE Trans Autom. Sci. Eng. 8 (3) (2011)
Shigemasa Takai, Ratnesh Kumar
Inference-Based Decentralized Prognosis in Discrete Event Systems. IEEE Trans. Autom. Control. 56 (1) (2011)
Meng Li, Ratnesh Kumar
Stateflow to Extended Finite Automata Translation. COMPSAC Workshops (2011)
Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal
A wireless sensor network for precision agriculture and its performance. Wirel. Commun. Mob. Comput. 11 (12) (2011)
Lucien Ouedraogo, Ratnesh Kumar
Exact response time of FlexRay communication protocol. IWCMC (2011)
Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal
Performance modeling and simulation studies of MAC protocols in sensor network performance. IWCMC (2011)
Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, Wenbin Qiu
Decentralized Control of Discrete-Event Systems With Multiple Local Specifications. IEEE Trans Autom. Sci. Eng. 7 (3) (2010)
Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson
Symbolic approach to nonblocking and safe control of Extended Finite Automata. CASE (2010)
Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal, Jing Huang
An energy-efficient wireless sensor network for precision agriculture. ISCC (2010)
Ratnesh Kumar, Shigemasa Takai
Decentralized Prognosis of Failures in Discrete Event Systems. IEEE Trans. Autom. Control. 55 (1) (2010)
Shigemasa Takai, Ratnesh Kumar
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems. IEEE Trans. Autom. Control. 55 (8) (2010)
Shigemasa Takai, Ratnesh Kumar
Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management. IEEE Trans. Syst. Man Cybern. Part A 40 (2) (2010)
Songyan Xu, Ratnesh Kumar
Real-Time Control of Dense-Time Systems Using Digital-Clocks. IEEE Trans. Autom. Control. 55 (9) (2010)
Songyan Xu, Shengbing Jiang, Ratnesh Kumar
Diagnosis of Dense-Time Systems Under Event and Timing Masks. IEEE Trans Autom. Sci. Eng. 7 (4) (2010)

Ratnesh Kumar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ratnesh Kumar