Ratnesh Kumar

227 papers A* 2A 4B 7C 35Journal 118Unranked 61
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cyber Physical Systems Security: Bridging Privacy, Verification, Intelligence, and Forensics.
IEEE Access
Ramya K, Sutirth Rath, P. B. Venkataraman, Ratnesh Kumar
2025 J jnl
Cloud-hosting of agricultural crop simulator and optimizer for model calibration and farm input recommendations.
Comput. Electron. Agric.
Balaji Sesha Srikanth Pokuri, Anupam Bhar, Ratnesh Kumar
2025 J jnl
Robust Safety and Stability of Partially Observed Nonlinear Systems with Parametric Variability.
IEEE CAA J. Autom. Sinica
Soumyabrata Talukder, Ratnesh Kumar
2024 J jnl
ANDVI: Automated Network Device and Vulnerability Identification in SCADA/ICS by Passive Monitoring.
IEEE Trans. Syst. Man Cybern. Syst.
Alaa T. Al Ghazo, Ratnesh Kumar
2024 J jnl
Dynamic semantic VSLAM with known and unknown objects.
CoRR
Sanghyoup Gu, Ratnesh Kumar
2024 J jnl
Expectation Distance-Based Distributional Clustering for Noise-Robustness.
IEEE Trans. Knowl. Data Eng.
Rahmat Adesunkanmi, Ratnesh Kumar
2024 J jnl
NeuroKoopman Dynamic Causal Discovery.
CoRR
Rahmat Adesunkanmi, Balaji Sesha Srikanth Pokuri, Ratnesh Kumar
2024 J jnl
Nonexistence of Upper Bound to Inferencing Level in Decentralized Discrete Event Control.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2024 J jnl
Robust Optimal Safe and Stability Guaranteeing Reinforcement Learning Control for Quadcopter.
CoRR
Sanghyoup Gu, Ratnesh Kumar
2023 J jnl
Critical Attacks Set Identification in Attack Graphs for Computer and SCADA/ICS Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Alaa T. Al Ghazo, Ratnesh Kumar
2023 J jnl
Data-Driven Linear Koopman Embedding for Networked Systems: Model-Predictive Grid Control.
IEEE Syst. J.
Ramij Raja Hossain, Rahmat Adesunkanmi, Ratnesh Kumar
2023 J jnl
Machine Learning Accelerated Real-Time Model Predictive Control for Power Systems.
IEEE CAA J. Autom. Sinica
Ramij Raja Hossain, Ratnesh Kumar
2023 J jnl
Robust Stability of Neural-Network-Controlled Nonlinear Systems With Parametric Variability.
IEEE Trans. Syst. Man Cybern. Syst.
Soumyabrata Talukder, Ratnesh Kumar
2022 J jnl
Data-Driven Linear Koopman Embedding for Model-Predictive Power System Control.
CoRR
Ramij Raja Hossain, Rahmat Adesunkanmi, Ratnesh Kumar
2022 J jnl
Distributed-MPC with Data-Driven Estimation of Bus Admittance Matrix in Voltage Stabilization.
CoRR
Ramij Raja Hossain, Ratnesh Kumar
2022 J jnl
High-Voltage Triboelectric Energy Harvesting Using Multi-Shot Energy Extraction in 70-V BCD Process.
IEEE Trans. Circuits Syst. II Express Briefs
Madhav Pathak, Shuo Xie, Cheng Huang, Ratnesh Kumar
2022 J jnl
Recursive Histogram Tracking-Based Rapid Online Anomaly Detection in Cyber-Physical Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Ratnesh Kumar, Ramij Raja Hossain, Soumyabrata Talukder, Amit Jena, Alaa T. Al Ghazo
2022 J jnl
Stochastic Failure Prognosis of Discrete Event Systems.
IEEE Trans. Autom. Control.
Jun Chen, Ratnesh Kumar
2021 J jnl
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification.
CoRR
Hao Ren, Ratnesh Kumar, Matthew Clark
2021 J jnl
A plug-and-play type field-deployable bio-agent free salicylic acid sensing system.
CoRR
Bhuwan Kashyap, Ratnesh Kumar
2021 J jnl
Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting.
IEEE CAA J. Autom. Sinica
Samik Basu, Ratnesh Kumar
2021 J jnl
MPC-based Realtime Power System Control with DNN-based Prediction/Sensitivity-Estimation.
CoRR
Ramij Raja Hossain, Ratnesh Kumar
2021 J jnl
Noise-robust Clustering.
CoRR
Rahmat Adesunkanmi, Ratnesh Kumar
2021 J jnl
Resilience Indices for Power/Cyberphysical Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Soumyabrata Talukder, Mariam Ibrahim, Ratnesh Kumar
2021 J jnl
Robust Stability of Neural-Network Controlled Nonlinear Systems with Parametric Variability.
CoRR
Soumyabrata Talukder, Ratnesh Kumar
2021 J jnl
Sensing Methodologies in Agriculture for Soil Moisture and Nutrient Monitoring.
IEEE Access
Bhuwan Kashyap, Ratnesh Kumar
2021 J jnl
Special Issue on Recent Advances for Intelligence in Power and Energy Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Ratnesh Kumar, Thomas I. Strasser, Geert Deconinck, Chun Sing Lai, Loi Lei Lai
2021 J jnl
Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator.
IEEE Access
Madhav Pathak, Ratnesh Kumar
2021 J jnl
Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator.
CoRR
Madhav Pathak, Ratnesh Kumar
2021 J jnl
Synchronous Pre-biasing of Triboelectric Nanogenerator for Enhanced Energy Extraction.
CoRR
Madhav Pathak, Ratnesh Kumar
2020 J jnl
A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks.
IEEE Trans. Syst. Man Cybern. Syst.
Alaa T. Al Ghazo, Mariam Ibrahim, Hao Ren, Ratnesh Kumar
2020 J jnl
Coordinate descent based agricultural model calibration and optimized input management.
Comput. Electron. Agric.
Anupam Bhar, Ratnesh Kumar, Zhiming Qi, Robert Malone
2020 J jnl
Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Remigiusz Wisniewski, MengChu Zhou, Luís Gomes, Maria Pia Fanti, Ratnesh Kumar
2019 — conf
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.
ICINCO (1)
Hao Ren, Ratnesh Kumar, Matthew A. Clark
2019 — conf
Bio-agent free electrochemical detection of Salicylic acid.
IEEE SENSORS
Bhuwan Kashyap, Ratnesh Kumar
2019 J jnl
Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification".
IEEE Trans Autom. Sci. Eng.
Ratnesh Kumar, Shigemasa Takai
2019 — conf
Computation of Trajectory Sensitivities with Respect to Control and Implementation in PSAT.
ICINCO (1)
Ramij Raja Hossain, Ratnesh Kumar
2019 B conf
ICS/SCADA Device Recognition: A Hybrid Communication-Patterns and Passive-Fingerprinting Approach.
IM
Alaa T. Al Ghazo, Ratnesh Kumar
2019 — conf
Identification of Critical-Attacks Set in an Attack-Graph.
UEMCON
Alaa T. Al Ghazo, Ratnesh Kumar
2019 — conf
Pre-Biased Synchronous Charge Extraction for Triboelectric Nanogenerator.
IEEE SENSORS
Madhav Pathak, Ratnesh Kumar
2019 J jnl
Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations.
IET Cyper-Phys. Syst.: Theory & Appl.
Hao Ren, Ratnesh Kumar
2018 J jnl
Agricultural Cyber-Physical System: In-Situ Soil Moisture and Salinity Estimation by Dielectric Mixing.
IEEE Access
Gunjan Pandey, Robert J. Weber, Ratnesh Kumar
2018 J jnl
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels.
Discret. Event Dyn. Syst.
Shigemasa Takai, Ratnesh Kumar
2018 — conf
Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner.
ICCA
Hao Ren, Matthew Clark, Ratnesh Kumar
2018 — conf
Learning a Joint Low-Rank and Gaussian Model in Matrix Completion with Spectral Regularization and Expectation Maximization Algorithm.
BigData Congress
Gang Wu, Ratnesh Kumar
2018 J jnl
Maximum-Likelihood Sensor Node Localization Using Received Signal Strength in Multimedia With Multipath Characteristics.
IEEE Syst. J.
Herman Sahota, Ratnesh Kumar
2018 J jnl
Revised Test for Stochastic Diagnosability of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Jun Chen, Christoforos Keroglou, Christoforos N. Hadjicostis, Ratnesh Kumar
2017 J jnl
A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2017 A conf
Context-aware video recommendation based on session progress prediction.
ICME
Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar
2017 — conf
Digital content recommendation system using implicit feedback data.
IEEE BigData
Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar
2017 J jnl
Matrix Completion under Gaussian Models Using MAP and EM Algorithms.
J. Commun.
Gang Wu, Viswanathan Swaminathan, Ratnesh Kumar
2017 J jnl
Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems.
IEEE Trans Autom. Sci. Eng.
Jun Chen, Mariam Ibrahim, Ratnesh Kumar
2017 J jnl
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow.
IET Cyper-Phys. Syst.: Theory & Appl.
Meng Li, Ratnesh Kumar
2017 J jnl
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.
IET Cyper-Phys. Syst.: Theory & Appl.
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
2016 — conf
A resiliency measure for electrical power systems.
WODES
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
2016 J jnl
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata.
IET Cyper-Phys. Syst.: Theory & Appl.
Meng Li, Ratnesh Kumar
2016 — conf
Delay bound of inference-based decentralized diagnosis in discrete event systems.
WODES
Shigemasa Takai, Ratnesh Kumar
2016 J jnl
Guest Editorial: Special Issue on "Cyber-Innovated Environmental Sensing, Monitoring, and Modeling for Sustainability".
IEEE Syst. J.
Ni-Bin Chang, Ratnesh Kumar, Gary G. Yen, Chi-Hsu Wang
2016 — conf
Microfluidic eletrophoretic ion nutrient sensor.
IEEE SENSORS
Zhen Xu, Xinran Wang, Robert J. Weber, Ratnesh Kumar, Liang Dong
2016 — conf
Patterning of nanophotonic structures at optical fiber tip for refractive index sensing.
IEEE SENSORS
Shawana Tabassum, Yifei Wang, Jikang Qu, Qiugu Wang, Seval Oren, Robert J. Weber, Meng Lu, Ratnesh Kumar, Liang Dong
2016 — conf
Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications.
WODES
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
2015 — conf
A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making.
CDC
Shigemasa Takai, Ratnesh Kumar
2015 A conf
An information theoretic measure for secrecy loss in stochastic discrete event systems.
ECAI
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
2015 J jnl
Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds.
IEEE Trans. Autom. Control.
Jun Chen, Ratnesh Kumar
2015 J jnl
Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements.
IEEE Trans Autom. Sci. Eng.
Jun Chen, Ratnesh Kumar
2015 — conf
Robustness of Simulink/Stateflow Model Against Implementation Imperfections.
ADHS
Meng Li, Ratnesh Kumar
2015 — conf
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs.
ADHS
Hao Ren, Ratnesh Kumar
2015 J jnl
Stochastic Failure Prognosability of Discrete Event Systems.
IEEE Trans. Autom. Control.
Jun Chen, Ratnesh Kumar
2015 C conf
Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems.
ETFA
Shigemasa Takai, Ratnesh Kumar
2014 — conf
A low profile, low-RF band, small antenna for underground, in-situ sensing and wireless energy-efficient transmission.
ICNSC
Gunjan Pandey, Ratnesh Kumar, Robert J. Weber
2014 — conf
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.
ICNSC
Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar
2014 J jnl
Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788].
Autom.
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou
2014 J jnl
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.
Ratnesh Kumar, Shigemasa Takai
2014 J jnl
Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages.
IEEE Trans Autom. Sci. Eng.
Lucien Ouedraogo, Ratnesh Kumar
2014 B conf
Employing a metamaterial inspired small antenna for sensing and transceiving data in an underground soil sensor equipped with a GUI for end-user.
SMC
Gunjan Pandey, Kim Ni Wang, Ratnesh Kumar, Robert J. Weber
2014 — conf
Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements.
ICNSC
Jun Chen, Ratnesh Kumar
2014 C conf
Failure prognosability of stochastic discrete event systems.
ACC
Jun Chen, Ratnesh Kumar
2014 J jnl
Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors.
IEEE Trans. Syst. Man Cybern. Syst.
Qin Wen, Ratnesh Kumar, Jing Huang
2014 — conf
Network based sensor localization in multi-media application of precision agriculture Part 1: Received signal strength.
ICNSC
Herman Sahota, Ratnesh Kumar
2014 — conf
Network based sensor localization in multi-media application of precision agriculture Part 2: Time of arrival.
ICNSC
Herman Sahota, Ratnesh Kumar
2014 — conf
Online video session progress prediction using low-rank matrix completion.
ICME Workshops
Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar
2014 — conf
Pattern Mining for Predicting Critical Events from Sequential Event Data Log.
WODES
Jun Chen, Ratnesh Kumar
2014 — conf
Piezoelectric-based broadband bistable vibration energy harvester and SCE/SSHI-based high-power extraction.
ICNSC
Kanishka Aman Singh, Ratnesh Kumar, Robert J. Weber
2014 J jnl
Recursive Modeling of Stateflow as Input/Output-Extended Automaton.
IEEE Trans Autom. Sci. Eng.
Meng Li, Ratnesh Kumar
2014 — conf
Secrecy in stochastic discrete event systems.
ICNSC
Mariam Ibrahim, Jun Chen, Ratnesh Kumar
2014 B conf
Smart nitrate-selective electrochemical sensors with electrospun nanofibers modified microelectrode.
SMC
Benjamin Britz, Eric Ng, Huawei Jiang, Zhen Xu, Ratnesh Kumar, Liang Dong
2013 J jnl
Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network.
IEEE Trans Autom. Sci. Eng.
Songyan Xu, Ratnesh Kumar, Alessandro Pinto
2013 — conf
Decentralized failure diagnosis of stochastic discrete event systems.
CASE
Jun Chen, Ratnesh Kumar
2013 J jnl
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables.
IEEE Trans Autom. Sci. Eng.
Changyan Zhou, Ratnesh Kumar
2013 — conf
Online failure diagnosis of stochastic discrete event systems.
CACSD
Jun Chen, Ratnesh Kumar
2013 J jnl
Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Jun Chen, Ratnesh Kumar
2013 B conf
Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy.
SMC
Gunjan Pandey, Ratnesh Kumar, Robert J. Weber
2013 — conf
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution.
CASE
Meng Li, Ratnesh Kumar
2012 J jnl
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2012 — conf
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton.
CASE
Meng Li, Ratnesh Kumar
2012 — conf
Polynomial test for Stochastic Diagnosability of discrete event systems.
CASE
Jun Chen, Ratnesh Kumar
2012 J jnl
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata.
Discret. Event Dyn. Syst.
Changyan Zhou, Ratnesh Kumar
2011 J jnl
A wireless sensor network for precision agriculture and its performance.
Wirel. Commun. Mob. Comput.
Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal
2011 C conf
Analysis of runtime data-log for software fault localization.
ACC
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
2011 J jnl
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control.
IEEE Trans. Autom. Control.
Changyan Zhou, Ratnesh Kumar
2011 B conf
Exact response time of FlexRay communication protocol.
IWCMC
Lucien Ouedraogo, Ratnesh Kumar
2011 J jnl
Inference-Based Decentralized Prognosis in Discrete Event Systems.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2011 J jnl
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata.
IEEE Trans Autom. Sci. Eng.
Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson
2011 B conf
Performance modeling and simulation studies of MAC protocols in sensor network performance.
IWCMC
Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal
2011 — conf
Stateflow to Extended Finite Automata Translation.
COMPSAC Workshops
Meng Li, Ratnesh Kumar
2010 C conf
An energy-efficient wireless sensor network for precision agriculture.
ISCC
Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal, Jing Huang
2010 J jnl
Decentralized Control of Discrete-Event Systems With Multiple Local Specifications.
IEEE Trans Autom. Sci. Eng.
Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, Wenbin Qiu
2010 J jnl
Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management.
IEEE Trans. Syst. Man Cybern. Part A
Shigemasa Takai, Ratnesh Kumar
2010 J jnl
Decentralized Prognosis of Failures in Discrete Event Systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Shigemasa Takai
2010 J jnl
Diagnosis of Dense-Time Systems Under Event and Timing Masks.
IEEE Trans Autom. Sci. Eng.
Songyan Xu, Shengbing Jiang, Ratnesh Kumar
2010 J jnl
Real-Time Control of Dense-Time Systems Using Digital-Clocks.
IEEE Trans. Autom. Control.
Songyan Xu, Ratnesh Kumar
2010 — conf
Symbolic approach to nonblocking and safe control of Extended Finite Automata.
CASE
Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson
2010 J jnl
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2009 A conf
A Framework for Optimal Decentralized Service-Choreography.
ICWS
Saayan Mitra, Ratnesh Kumar, Samik Basu
2009 J jnl
Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults.
IEEE Trans. Autom. Control.
Changyan Zhou, Ratnesh Kumar
2009 J jnl
Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures.
IEEE Trans Autom. Sci. Eng.
Wenbin Qiu, Qin Wen, Ratnesh Kumar
2009 — conf
Discrete event control under nondeterministic partial observation.
CASE
Songyan Xu, Ratnesh Kumar
2009 — conf
Distributed prognosis of discrete event systems under bounded-delay communications.
CDC
Shigemasa Takai, Ratnesh Kumar
2009 C conf
Distributed state estimation in discrete event systems.
ACC
Songyan Xu, Ratnesh Kumar
2009 J jnl
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Ratnesh Kumar, Shigemasa Takai
2009 — conf
Modeling Simulink Diagrams Using Input/Output Extended Finite Automata.
COMPSAC (2)
Changyan Zhou, Ratnesh Kumar
2009 C conf
On identification of input/output extended automata with finite bisimilar quotients.
ACC
Changyan Zhou, Ratnesh Kumar
2009 — conf
Prevention of Sequential Message Loss in CAN Systems.
COMPSAC (2)
Shengbing Jiang, Ratnesh Kumar
2009 J jnl
Special Issue on WODES'08.
Discret. Event Dyn. Syst.
Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar
2009 — conf
Synthesis of wireless time-triggered embedded networks for networked control systems.
CASE
Alessandro Pinto, Ratnesh Kumar, Songyan Xu
2009 C conf
Verification and synthesis for secrecy in discrete-event systems.
ACC
Shigemasa Takai, Ratnesh Kumar
2008 J jnl
A Framework for Fault-Tolerant Control of Discrete Event Systems.
IEEE Trans. Autom. Control.
Qin Wen, Ratnesh Kumar, Jing Huang, Haifeng Liu
2008 C conf
A simulation condition for correct asynchronous implementation of synchronous design.
ACC
S. Xu, Ratnesh Kumar, Shengbing Jiang, S. Ramesh
2008 J jnl
Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion.
IEEE Trans. Autom. Control.
Wenbin Qiu, Ratnesh Kumar, Vigyan Chandra
2008 J jnl
Directed Control of Discrete Event Systems for Safety and Nonblocking.
IEEE Trans Autom. Sci. Eng.
Jing Huang, Ratnesh Kumar
2008 J jnl
Distributed Diagnosis Under Bounded-Delay Communication of Immediately Forwarded Local Observations.
IEEE Trans. Syst. Man Cybern. Part A
Wenbin Qiu, Ratnesh Kumar
2008 — conf
Fault Detection, Isolation, and Localization in Embedded Control Software.
ISIC
Ratnesh Kumar
2008 — conf
Inference-based decentralized prognosis in discrete event systems.
CDC
Shigemasa Takai, Ratnesh Kumar
2008 B conf
Keynote: Hierarchical Fault Detection in Embedded Control Software.
COMPSAC
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
2008 J jnl
Optimal Nonblocking Directed Control of Discrete Event Systems.
IEEE Trans. Autom. Control.
Jing Huang, Ratnesh Kumar
2008 — conf
Optimum Decentralized Choreography for Web Services Composition.
IEEE SCC (2)
Saayan Mitra, Ratnesh Kumar, Samik Basu
2008 J jnl
Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems.
IEEE Trans Autom. Sci. Eng.
Changyan Zhou, Ratnesh Kumar
2008 — conf
Security constrained emergency voltage stabilization: A Model Predictive Control based approach.
CDC
Licheng Jin, Ratnesh Kumar, Nicola Elia
2008 J jnl
Synthesis of Inference-Based Decentralized Control for Discrete Event Systems.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2007 C conf
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules.
SEKE
Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer
2007 J jnl
A Small Model Theorem for Bisimilarity Control Under Partial Observation.
IEEE Trans Autom. Sci. Eng.
Changyan Zhou, Ratnesh Kumar
2007 J jnl
An Optimal Directed Control Framework for Discrete Event Systems.
IEEE Trans. Syst. Man Cybern. Part A
Jing Huang, Ratnesh Kumar
2007 C conf
Application of Model Predictive Control in Voltage Stabilization.
ACC
Licheng Jin, Ratnesh Kumar, Nicola Elia
2007 A conf
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata.
ICWS
Saayan Mitra, Ratnesh Kumar, Samik Basu
2007 J jnl
Bisimilarity Control of Partially Observed Deterministic Systems.
IEEE Trans. Autom. Control.
Changyan Zhou, Ratnesh Kumar
2007 J jnl
Control of Nondeterministic Discrete Event Systems for Simulation Equivalence.
IEEE Trans Autom. Sci. Eng.
Ratnesh Kumar, Changyan Zhou
2007 — conf
Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times.
CDC
Songyan Xu, Ratnesh Kumar
2007 — conf
Decentralized modular control of concurrent discrete event systems.
CDC
Changyan Zhou, Ratnesh Kumar, Ramavarapu S. Sreenivas
2007 J jnl
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Shigemasa Takai
2007 — conf
Local and On-the-fly Choreography-based Web Service Composition.
Web Intelligence
Saayan Mitra, Samik Basu, Ratnesh Kumar
2007 J jnl
On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication.
IEEE Trans. Autom. Control.
Wenbin Qiu, Ratnesh Kumar, Shengbing Jiang
2007 C conf
Optimal Nonblocking Directed Control of Discrete Event Systems.
ACC
Jing Huang, Ratnesh Kumar
2007 C conf
Qualitative diagnosis of condition systems for multiple subsystem failures.
ACC
Jeffrey Ashley, Lawrence E. Holloway, Ratnesh Kumar
2007 — conf
Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications.
CDC
Samik Basu, Ratnesh Kumar
2007 C conf
Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems.
ACC
Shigemasa Takai, Ratnesh Kumar
2007 C conf
Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems.
ACC
Qin Wen, Ratnesh Kumar, Jing Huang, Haifeng Liu
2006 C conf
A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles.
ACC
M. O'Connor, Sekhar Tangirala, Ratnesh Kumar, S. Bhattacharyya, Mario Sznaier, Larry E. Holloway
2006 C conf
A new protocol for distributed diagnosis.
ACC
Wenbin Qiu, Ratnesh Kumar
2006 C conf
Animation/simulation of missions for autonomous underwater vehicles with hybrid-model based.
ACC
S. Bhattacharyya, Ratnesh Kumar, Sekhar Tangirala, M. O'Connor, Lawrence E. Holloway
2006 J jnl
Control of nondeterministic discrete-event systems for bisimulation equivalence.
IEEE Trans. Autom. Control.
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
2006 J jnl
Decentralized Failure Diagnosis of Discrete Event Systems.
IEEE Trans. Syst. Man Cybern. Part A
Wenbin Qiu, Ratnesh Kumar
2006 C conf
Diagnosis of dense-time systems using digital-clocks.
ACC
Shengbing Jiang, Ratnesh Kumar
2006 J jnl
Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications.
IEEE Trans Autom. Sci. Eng.
Shengbing Jiang, Ratnesh Kumar
2006 C conf
Directed control of discrete event systems: optimization based approach.
ACC
Jing Huang, Ratnesh Kumar
2006 C conf
Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables.
ACC
Ratnesh Kumar, Changyan Zhou, Samik Basu
2006 C conf
Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete event systems.
ACC
Ratnesh Kumar, Shigemasa Takai
2006 C conf
On optimal control of Markov chains with safety constraint.
ACC
Shun-Pin Hsu, Ari Arapostathis, Ratnesh Kumar
2006 — conf
Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications.
CDC
Samik Basu, Ratnesh Kumar
2006 J jnl
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications.
SIAM J. Control. Optim.
Shengbing Jiang, Ratnesh Kumar
2006 — conf
Synthesis of Inference-based Decentralized Control for Discrete Event Systems.
CDC
Shigemasa Takai, Ratnesh Kumar
2005 C conf
A small model theorem for bisimilarity control under partial observation.
ACC
Changyan Zhou, Ratnesh Kumar
2005 — conf
Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems.
CDC/ECC
Changyan Zhou, Ratnesh Kumar
2005 J jnl
Characterization of co-observable languages and formulas for their super/sublanguages.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio
2005 — conf
Computation of Diagnosable Fault-Occurrence Indices for Systems with Repeatable-Faults.
CDC/ECC
Changyan Zhou, Ratnesh Kumar
2005 J jnl
Control of Markov chains with safety bounds.
IEEE Trans Autom. Sci. Eng.
Ari Arapostathis, Ratnesh Kumar, Shun-Pin Hsu
2005 C conf
Distributed diagnosis under bounded-delay communication of immediately forwarded local observations.
ACC
Wenbin Qiu, Ratnesh Kumar
2005 C conf
Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles.
ACC
Sekhar Tangirala, Ratnesh Kumar, Siddhartha Bhattacharyya, M. O'Connor, Lawrence E. Holloway
2005 — conf
Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems.
CDC/ECC
Ratnesh Kumar, Shigemasa Takai
2005 J jnl
Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Autom.
Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio
2005 — conf
Nonblocking Directed Control of Discrete Event Systems.
CDC/ECC
Jing Huang, Ratnesh Kumar
2005 J jnl
On computation of state avoidance control for infinite state systems in assignment program framework.
IEEE Trans Autom. Sci. Eng.
Ratnesh Kumar, Vijay K. Garg
2005 J jnl
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu
2005 C conf
Prioritized synchronization under mask for interaction/control of partially observed discrete event systems.
ACC
Changyan Zhou, Ratnesh Kumar
2004 C conf
A discrete event systems approach to network fault management: detection & diagnosis of faults.
ACC
Siddhartha Bhattacharyya, Zhongdong Huang, Vigs Chandra, Ratnesh Kumar
2004 C conf
Control of nondeterministic discrete event systems for bisimulation equivalence.
ACC
Changyan Zhou, Ratnesh Kumar, Shengbing Jiang
2004 C conf
Control using nondeterministic supervisors for partially observed discrete event systems.
ACC
Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu
2004 C conf
Decentralized control of discrete event systems using prioritized composition with exclusion.
ACC
Wenbin Qiu, Ratnesh Kumar, Vigyan Chandra
2004 — conf
Decentralized nondeterministic supervisory control of discrete event systems.
CDC
Wenbin Qiu, Ratnesh Kumar
2004 C conf
Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic.
ACC
Zhongdong Huang, Siddhartha Bhattacharyya, Vigs Chandra, Shengbing Jiang, Ratnesh Kumar
2004 J jnl
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications.
IEEE Trans. Autom. Control.
Shengbing Jiang, Ratnesh Kumar
2004 — conf
On non-stationary policies and maximal invariant safe sets of controlled Markov chains.
CDC
Wei Wu, Ari Arapostathis, Ratnesh Kumar
2003 J jnl
Automated control synthesis for an assembly line using discrete event system control theory.
IEEE Trans. Syst. Man Cybern. Part C
Vigyan Chandra, Zhongdong Huang, Ratnesh Kumar
2003 C conf
Concurrent, asynchronous and generative interactions for the modeling and control of discrete event systems.
ACC
Vigyan Chandra, Zhongdong Huang, Ratnesh Kumar
2003 J jnl
Controlled Markov chains with safety upper bound.
IEEE Trans. Autom. Control.
Aristotle Arapostathis, Ratnesh Kumar, Sekhar Tangirala
2003 — conf
Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications.
CDC
Shengbing Jiang, Ratnesh Kumar
2003 J jnl
Diagnosis of repeated/intermittent failures in discrete event systems.
IEEE Trans. Robotics Autom.
Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia
2003 J jnl
Optimal sensor selection for discrete-event systems with partial observation.
IEEE Trans. Autom. Control.
Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia
2003 — conf
State-feedback control of Markov chains with safety bounds.
CDC
Ari Arapostathis, Ratnesh Kumar, Shun-Pin Hsu
2002 — conf
Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems.
CDC
Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio
2002 — conf
Diagnosis of repeated failures in discrete event systems.
CDC
Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia
2002 C conf
Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications.
ACC
Shengbing Jiang, Ratnesh Kumar
2002 — conf
Modeling discrete event systems with faults using a rules based modeling formalism.
CDC
Zhongdong Huang, Vigyan Chandra, Shengbing Jiang, Ratnesh Kumar
2002 J jnl
Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization.
IEEE Trans. Autom. Control.
Shengbing Jiang, Ratnesh Kumar
2001 J jnl
A polynomial algorithm for testing diagnosability of discrete-event systems.
IEEE Trans. Autom. Control.
Shengbing Jiang, Zhongdong Huang, Vigyan Chandra, Ratnesh Kumar
2001 C conf
Automated control synthesis for an assembly line using discrete event system control theory.
ACC
Vigyan Chandra, Satya Ranjan Mohanty, Ratnesh Kumar
2001 J jnl
Control of stochastic discrete event systems modeled by probabilistic languages.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Vijay K. Garg
2001 — conf
Controlled Markov chains and safety criteria.
CDC
Ari Arapostathis, Ratnesh Kumar, Sekhar Tangirala
2001 C conf
Decentralized control of discrete event systems with multiple local specifications.
ACC
Shengbing Jiang, Vigyan Chandra, Ratnesh Kumar
2001 — conf
Supervisory control of discrete event systems with CTL* temporal logic specifications.
CDC
Shengbing Jiang, Ratnesh Kumar
2000 J jnl
A behavior-based intelligent control architecture with application to coordination of multiple underwater vehicles.
IEEE Trans. Syst. Man Cybern. Part A
Ratnesh Kumar, James A. Stover
2000 J jnl
Decentralized control of discrete event systems with specializations to local control and concurrent systems.
IEEE Trans. Syst. Man Cybern. Part B
Shengbing Jiang, Ratnesh Kumar
2000 J jnl
Masked prioritized synchronization for interaction and control of discrete event systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Michael Heymann
2000 J jnl
Mutually nonblocking supervisory control of discrete event systems.
Autom.
Martin Fabian, Ratnesh Kumar
1999 A* conf
A Computer Implementable Algorithm for the Synthesis of an Optimal Controller for Acyclic Discrete Event Processes.
ICRA
Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar
1999 J jnl
A probabilistic language formalism for stochastic discrete-event systems.
IEEE Trans. Autom. Control.
Vijay Kumar Garg, Ratnesh Kumar, Steven I. Marcus
1999 A* conf
Discrete Event Control with Active Events.
ICRA
Michael Heymann, Feng Lin, George Meyer, Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar
1999 J jnl
Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems.
IEEE Trans. Autom. Control.
Mark A. Shayman, Ratnesh Kumar
1998 J jnl
Extension based Limited Lookahead Supervision of Discrete Event Systems.
Autom.
Ratnesh Kumar, Hok M. Cheung, Steven I. Marcus
1998 J jnl
Formulae relating controllability, observability, and co-observability.
Autom.
Ratnesh Kumar, Mark A. Shayman
1997 J jnl
A Discrete Event Systems Approach for Protocol Conversion.
Discret. Event Dyn. Syst.
Ratnesh Kumar, Sudhir Nelvagal, Steven I. Marcus
1996 J jnl
Corrections to "Finite buffer realization of input-output discrete event systems".
IEEE Trans. Autom. Control.
Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus
1996 J jnl
Nonblocking supervisory control of nondeterministic systems via prioritized synchronization.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Mark A. Shayman
1996 J jnl
Supervisory control of deterministic Petri nets with regular specification languages.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Lawrence E. Holloway
1995 J jnl
Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control.
Theor. Comput. Sci.
Ratnesh Kumar, Vijay K. Garg
1995 J jnl
Finite buffer realization of input-output discrete-event systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus
1995 — conf
Supervisory Control of Real-Time Systems Using Prioritized Synchronization.
Hybrid Systems
Ratnesh Kumar, Mark A. Shayman
1993 J jnl
Predicates and predicate transformers for supervisory control of discrete event dynamical systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus