Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRatnesh Kumar 0001
Person information
- affiliation: Iowa State University, Ames, IA, USA
- affiliation (1991 - 2002): University of Kentucky, Lexington, KY, USA
- affiliation (PhD 1991): University of Texas at Austin, TX, USA
Other persons with the same name
- Ratnesh Kumar — disambiguation page
- Ratnesh Kumar 0002 — NIOH, India
- Ratnesh Kumar 0003 — University of Nice Sophia Antipolis, France
- Ratnesh Kumar 0004 — NVIDIA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j100]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): 2539-2550 (2024)- [i10]Rahmat Adesunkanmi, Balaji Sesha Srikanth Pokuri, Ratnesh Kumar:
NeuroKoopman Dynamic Causal Discovery. CoRR abs/2404.16326 (2024) - 2023
- [j99]Ramij Raja Hossain, Ratnesh Kumar:
Machine Learning Accelerated Real-Time Model Predictive Control for Power Systems. IEEE CAA J. Autom. Sinica 10(4): 916-930 (2023) - [j98]Ramij Raja Hossain, Rahmat Adesunkanmi, Ratnesh Kumar:
Data-Driven Linear Koopman Embedding for Networked Systems: Model-Predictive Grid Control. IEEE Syst. J. 17(3): 4809-4820 (2023) - [j97]Soumyabrata Talukder, Ratnesh Kumar:
Robust Stability of Neural-Network-Controlled Nonlinear Systems With Parametric Variability. IEEE Trans. Syst. Man Cybern. Syst. 53(8): 4820-4832 (2023) - [j96]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): 5604-5613 (2023) - 2022
- [j95]Jun Chen, Ratnesh Kumar:
Stochastic Failure Prognosis of Discrete Event Systems. IEEE Trans. Autom. Control. 67(10): 5487-5492 (2022) - [j94]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): 2513-2517 (2022) - [j93]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): 7123-7133 (2022) - [i9]Ramij Raja Hossain, Ratnesh Kumar:
Distributed-MPC with Data-Driven Estimation of Bus Admittance Matrix in Voltage Stabilization. CoRR abs/2202.14014 (2022) - [i8]Ramij Raja Hossain, Rahmat Adesunkanmi, Ratnesh Kumar:
Data-Driven Linear Koopman Embedding for Model-Predictive Power System Control. CoRR abs/2206.01272 (2022) - 2021
- [j92]Bhuwan Kashyap, Ratnesh Kumar:
Sensing Methodologies in Agriculture for Soil Moisture and Nutrient Monitoring. IEEE Access 9: 14095-14121 (2021) - [j91]Madhav Pathak, Ratnesh Kumar:
Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator. IEEE Access 9: 76938-76954 (2021) - [j90]Samik Basu, Ratnesh Kumar:
Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting. IEEE CAA J. Autom. Sinica 8(5): 953-970 (2021) - [j89]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): 2036-2040 (2021) - [j88]Soumyabrata Talukder, Mariam Ibrahim, Ratnesh Kumar:
Resilience Indices for Power/Cyberphysical Systems. IEEE Trans. Syst. Man Cybern. Syst. 51(4): 2159-2172 (2021) - [i7]Madhav Pathak, Ratnesh Kumar:
Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator. CoRR abs/2102.04581 (2021) - [i6]Hao Ren, Ratnesh Kumar, Matthew Clark:
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification. CoRR abs/2103.05776 (2021) - [i5]Bhuwan Kashyap, Ratnesh Kumar:
A plug-and-play type field-deployable bio-agent free salicylic acid sensing system. CoRR abs/2105.04417 (2021) - [i4]Madhav Pathak, Ratnesh Kumar:
Synchronous Pre-biasing of Triboelectric Nanogenerator for Enhanced Energy Extraction. CoRR abs/2105.10856 (2021) - [i3]Ramij Raja Hossain, Ratnesh Kumar:
MPC-based Realtime Power System Control with DNN-based Prediction/Sensitivity-Estimation. CoRR abs/2106.02794 (2021) - [i2]Soumyabrata Talukder, Ratnesh Kumar:
Robust Stability of Neural-Network Controlled Nonlinear Systems with Parametric Variability. CoRR abs/2109.05710 (2021) - [i1]Rahmat Adesunkanmi, Ratnesh Kumar:
Noise-robust Clustering. CoRR abs/2110.08871 (2021) - 2020
- [j87]Anupam Bhar, Ratnesh Kumar, Zhiming Qi, Robert Malone:
Coordinate descent based agricultural model calibration and optimized input management. Comput. Electron. Agric. 172: 105353 (2020) - [j86]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): 3484-3487 (2020) - [j85]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): 3488-3498 (2020)
2010 – 2019
- 2019
- [j84]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): 250-258 (2019) - [j83]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): 1988-1989 (2019) - [c108]Hao Ren, Ratnesh Kumar, Matthew A. Clark:
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning. ICINCO (1) 2019: 534-540 - [c107]Ramij Raja Hossain, Ratnesh Kumar:
Computation of Trajectory Sensitivities with Respect to Control and Implementation in PSAT. ICINCO (1) 2019: 752-759 - [c106]Bhuwan Kashyap, Ratnesh Kumar:
Bio-agent free electrochemical detection of Salicylic acid. IEEE SENSORS 2019: 1-4 - [c105]Madhav Pathak, Ratnesh Kumar:
Pre-Biased Synchronous Charge Extraction for Triboelectric Nanogenerator. IEEE SENSORS 2019: 1-4 - [c104]Alaa T. Al Ghazo, Ratnesh Kumar:
ICS/SCADA Device Recognition: A Hybrid Communication-Patterns and Passive-Fingerprinting Approach. IM 2019: 19-24 - [c103]Alaa T. Al Ghazo, Ratnesh Kumar:
Identification of Critical-Attacks Set in an Attack-Graph. UEMCON 2019: 716-722 - 2018
- [j82]Gunjan Pandey, Robert J. Weber, Ratnesh Kumar:
Agricultural Cyber-Physical System: In-Situ Soil Moisture and Salinity Estimation by Dielectric Mixing. IEEE Access 6: 43179-43191 (2018) - [j81]Shigemasa Takai, Ratnesh Kumar:
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Discret. Event Dyn. Syst. 28(2): 315-348 (2018) - [j80]Herman Sahota, Ratnesh Kumar:
Maximum-Likelihood Sensor Node Localization Using Received Signal Strength in Multimedia With Multipath Characteristics. IEEE Syst. J. 12(1): 506-515 (2018) - [j79]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): 404-408 (2018) - [c102]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: 210-214 - [c101]Hao Ren, Matthew Clark, Ratnesh Kumar:
Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner. ICCA 2018: 1070-1075 - 2017
- [j78]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): 28-41 (2017) - [j77]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): 65-74 (2017) - [j76]Gang Wu, Viswanathan Swaminathan, Ratnesh Kumar:
Matrix Completion under Gaussian Models Using MAP and EM Algorithms. J. Commun. 12(3): 180-186 (2017) - [j75]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): 2778-2793 (2017) - [j74]Jun Chen, Mariam Ibrahim, Ratnesh Kumar:
Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems. IEEE Trans Autom. Sci. Eng. 14(1): 185-195 (2017) - [c100]Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar:
Digital content recommendation system using implicit feedback data. IEEE BigData 2017: 2766-2771 - [c99]Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar:
Context-aware video recommendation based on session progress prediction. ICME 2017: 1428-1433 - 2016
- [j73]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): 95-107 (2016) - [j72]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): 1236-1238 (2016) - [c98]Zhen Xu, Xinran Wang, Robert J. Weber, Ratnesh Kumar, Liang Dong:
Microfluidic eletrophoretic ion nutrient sensor. IEEE SENSORS 2016: 1-3 - [c97]Shigemasa Takai, Ratnesh Kumar:
Delay bound of inference-based decentralized diagnosis in discrete event systems. WODES 2016: 224-229 - [c96]Mariam Ibrahim, Jun Chen, Ratnesh Kumar:
Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications. WODES 2016: 373-378 - [c95]Mariam Ibrahim, Jun Chen, Ratnesh Kumar:
A resiliency measure for electrical power systems. WODES 2016: 385-390 - 2015
- [j71]Jun Chen, Ratnesh Kumar:
Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds. IEEE Trans. Autom. Control. 60(6): 1542-1553 (2015) - [j70]Jun Chen, Ratnesh Kumar:
Stochastic Failure Prognosability of Discrete Event Systems. IEEE Trans. Autom. Control. 60(6): 1570-1581 (2015) - [j69]Jun Chen, Ratnesh Kumar:
Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements. IEEE Trans Autom. Sci. Eng. 12(4): 1369-1379 (2015) - [c94]Hao Ren, Ratnesh Kumar:
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. ADHS 2015: 21-26 - [c93]Meng Li, Ratnesh Kumar:
Robustness of Simulink/Stateflow Model Against Implementation Imperfections. ADHS 2015: 274-279 - [c92]Shigemasa Takai, Ratnesh Kumar:
A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making. CDC 2015: 3522-3527 - [c91]Mariam Ibrahim, Jun Chen, Ratnesh Kumar:
An information theoretic measure for secrecy loss in stochastic discrete event systems. ECAI 2015 - [c90]Shigemasa Takai, Ratnesh Kumar:
Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems. ETFA 2015: 1-8 - 2014
- [j68]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): 296-297 (2014) - [j67]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): 1391-1392 (2014) - [j66]Lucien Ouedraogo, Ratnesh Kumar:
Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages. IEEE Trans Autom. Sci. Eng. 11(2): 537-548 (2014) - [j65]Meng Li, Ratnesh Kumar:
Recursive Modeling of Stateflow as Input/Output-Extended Automaton. IEEE Trans Autom. Sci. Eng. 11(4): 1229-1239 (2014) - [j64]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): 1056-1066 (2014) - [c89]Jun Chen, Ratnesh Kumar:
Failure prognosability of stochastic discrete event systems. ACC 2014: 2041-2046 - [c88]Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar:
Online video session progress prediction using low-rank matrix completion. ICME Workshops 2014: 1-6 - [c87]Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar:
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. ICNSC 2014: 30-35 - [c86]Jun Chen, Ratnesh Kumar:
Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements. ICNSC 2014: 42-47 - [c85]Mariam Ibrahim, Jun Chen, Ratnesh Kumar:
Secrecy in stochastic discrete event systems. ICNSC 2014: 48-53 - [c84]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: 179-184 - [c83]Herman Sahota, Ratnesh Kumar:
Network based sensor localization in multi-media application of precision agriculture Part 1: Received signal strength. ICNSC 2014: 191-196 - [c82]Kanishka Aman Singh, Ratnesh Kumar, Robert J. Weber:
Piezoelectric-based broadband bistable vibration energy harvester and SCE/SSHI-based high-power extraction. ICNSC 2014: 197-202 - [c81]Herman Sahota, Ratnesh Kumar:
Network based sensor localization in multi-media application of precision agriculture Part 2: Time of arrival. ICNSC 2014: 203-208 - [c80]Benjamin Britz, Eric Ng, Huawei Jiang, Zhen Xu, Ratnesh Kumar, Liang Dong:
Smart nitrate-selective electrochemical sensors with electrospun nanofibers modified microelectrode. SMC 2014: 3419-3422 - [c79]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: 3423-3428 - [c78]Jun Chen, Ratnesh Kumar:
Pattern Mining for Predicting Critical Events from Sequential Event Data Log. WODES 2014: 1-6 - 2013
- [j63]Songyan Xu, Ratnesh Kumar, Alessandro Pinto:
Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. IEEE Trans Autom. Sci. Eng. 10(1): 137-144 (2013) - [j62]Changyan Zhou, Ratnesh Kumar:
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables. IEEE Trans Autom. Sci. Eng. 10(1): 160-170 (2013) - [j61]Jun Chen, Ratnesh Kumar:
Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 10(4): 969-979 (2013) - [c77]Jun Chen, Ratnesh Kumar:
Online failure diagnosis of stochastic discrete event systems. CACSD 2013: 194-199 - [c76]Jun Chen, Ratnesh Kumar:
Decentralized failure diagnosis of stochastic discrete event systems. CASE 2013: 1083-1088 - [c75]Meng Li, Ratnesh Kumar:
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution. CASE 2013: 1089-1094 - [c74]Gunjan Pandey, Ratnesh Kumar, Robert J. Weber:
Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy. SMC 2013: 1081-1086 - 2012
- [j60]Changyan Zhou, Ratnesh Kumar:
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. Discret. Event Dyn. Syst. 22(2): 223-247 (2012) - [j59]Shigemasa Takai, Ratnesh Kumar:
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications. IEEE Trans. Autom. Control. 57(5): 1259-1265 (2012) - [c73]Jun Chen, Ratnesh Kumar:
Polynomial test for Stochastic Diagnosability of discrete event systems. CASE 2012: 521-526 - [c72]Meng Li, Ratnesh Kumar:
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton. CASE 2012: 857-862 - 2011
- [j58]Shigemasa Takai, Ratnesh Kumar:
Inference-Based Decentralized Prognosis in Discrete Event Systems. IEEE Trans. Autom. Control. 56(1): 165-171 (2011) - [j57]Changyan Zhou, Ratnesh Kumar:
Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control. IEEE Trans. Autom. Control. 56(12): 2986-2991 (2011) - [j56]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): 560-569 (2011) - [j55]Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal:
A wireless sensor network for precision agriculture and its performance. Wirel. Commun. Mob. Comput. 11(12): 1628-1645 (2011) - [c71]Changyan Zhou, Ratnesh Kumar, Shengbing Jiang:
Analysis of runtime data-log for software fault localization. ACC 2011: 5127-5132 - [c70]Meng Li, Ratnesh Kumar:
Stateflow to Extended Finite Automata Translation. COMPSAC Workshops 2011: 1-6 - [c69]Lucien Ouedraogo, Ratnesh Kumar:
Exact response time of FlexRay communication protocol. IWCMC 2011: 789-794 - [c68]Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal:
Performance modeling and simulation studies of MAC protocols in sensor network performance. IWCMC 2011: 1871-1876 - 2010
- [j54]Ratnesh Kumar, Shigemasa Takai:
Decentralized Prognosis of Failures in Discrete Event Systems. IEEE Trans. Autom. Control. 55(1): 48-59 (2010) - [j53]Shigemasa Takai, Ratnesh Kumar:
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems. IEEE Trans. Autom. Control. 55(8): 1881-1887 (2010) - [j52]Songyan Xu, Ratnesh Kumar:
Real-Time Control of Dense-Time Systems Using Digital-Clocks. IEEE Trans. Autom. Control. 55(9): 2003-2013 (2010) - [j51]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): 512-522 (2010) - [j50]Songyan Xu, Shengbing Jiang, Ratnesh Kumar:
Diagnosis of Dense-Time Systems Under Event and Timing Masks. IEEE Trans Autom. Sci. Eng. 7(4): 870-878 (2010) - [j49]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): 406-412 (2010) - [c67]Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson:
Symbolic approach to nonblocking and safe control of Extended Finite Automata. CASE 2010: 471-476 - [c66]Herman Sahota, Ratnesh Kumar, Ahmed E. Kamal, Jing Huang:
An energy-efficient wireless sensor network for precision agriculture. ISCC 2010: 347-350
2000 – 2009
- 2009
- [j48]Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar:
Special Issue on WODES'08. Discret. Event Dyn. Syst. 19(4): 449-450 (2009) - [j47]Changyan Zhou, Ratnesh Kumar:
Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults. IEEE Trans. Autom. Control. 54(7): 1477-1489 (2009) - [j46]Wenbin Qiu, Qin Wen, Ratnesh Kumar:
Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures. IEEE Trans Autom. Sci. Eng. 6(2): 362-366 (2009) - [j45]Ratnesh Kumar, Shigemasa Takai:
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 6(3): 479-491 (2009) - [c65]Songyan Xu, Ratnesh Kumar:
Distributed state estimation in discrete event systems. ACC 2009: 4735-4740 - [c64]Shigemasa Takai, Ratnesh Kumar:
Verification and synthesis for secrecy in discrete-event systems. ACC 2009: 4741-4746 - [c63]Changyan Zhou, Ratnesh Kumar:
On identification of input/output extended automata with finite bisimilar quotients. ACC 2009: 5653-5658 - [c62]Songyan Xu, Ratnesh Kumar:
Discrete event control under nondeterministic partial observation. CASE 2009: 127-132 - [c61]Alessandro Pinto, Ratnesh Kumar, Songyan Xu:
Synthesis of wireless time-triggered embedded networks for networked control systems. CASE 2009: 397-402 - [c60]Shigemasa Takai, Ratnesh Kumar:
Distributed prognosis of discrete event systems under bounded-delay communications. CDC 2009: 1235-1240 - [c59]Changyan Zhou, Ratnesh Kumar:
Modeling Simulink Diagrams Using Input/Output Extended Finite Automata. COMPSAC (2) 2009: 462-467 - [c58]Shengbing Jiang, Ratnesh Kumar:
Prevention of Sequential Message Loss in CAN Systems. COMPSAC (2) 2009: 479-484 - [c57]Saayan Mitra, Ratnesh Kumar, Samik Basu:
A Framework for Optimal Decentralized Service-Choreography. ICWS 2009: 493-500 - 2008
- [j44]Shigemasa Takai, Ratnesh Kumar:
Synthesis of Inference-Based Decentralized Control for Discrete Event Systems. IEEE Trans. Autom. Control. 53(2): 522-534 (2008) - [j43]Jing Huang, Ratnesh Kumar:
Optimal Nonblocking Directed Control of Discrete Event Systems. IEEE Trans. Autom. Control. 53(7): 1592-1603 (2008) - [j42]Qin Wen, Ratnesh Kumar, Jing Huang, Haifeng Liu:
A Framework for Fault-Tolerant Control of Discrete Event Systems. IEEE Trans. Autom. Control. 53(8): 1839-1849 (2008) - [j41]Wenbin Qiu, Ratnesh Kumar, Vigyan Chandra:
Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion. IEEE Trans. Autom. Control. 53(10): 2425-2430 (2008) - [j40]Changyan Zhou, Ratnesh Kumar:
Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems. IEEE Trans Autom. Sci. Eng. 5(1): 101-112 (2008) - [j39]Jing Huang, Ratnesh Kumar:
Directed Control of Discrete Event Systems for Safety and Nonblocking. IEEE Trans Autom. Sci. Eng. 5(4): 620-629 (2008) - [j38]Wenbin Qiu, Ratnesh Kumar:
Distributed Diagnosis Under Bounded-Delay Communication of Immediately Forwarded Local Observations. IEEE Trans. Syst. Man Cybern. Part A 38(3): 628-643 (2008) - [c56]Ratnesh Kumar:
Fault Detection, Isolation, and Localization in Embedded Control Software. ISIC 2008: 25 - [c55]Saayan Mitra, Ratnesh Kumar, Samik Basu:
Optimum Decentralized Choreography for Web Services Composition. IEEE SCC (2) 2008: 395-402 - [c54]S. Xu, Ratnesh Kumar, Shengbing Jiang, S. Ramesh:
A simulation condition for correct asynchronous implementation of synchronous design. ACC 2008: 1728-1733 - [c53]Shigemasa Takai, Ratnesh Kumar:
Inference-based decentralized prognosis in discrete event systems. CDC 2008: 871-876 - [c52]Licheng Jin, Ratnesh Kumar, Nicola Elia:
Security constrained emergency voltage stabilization: A Model Predictive Control based approach. CDC 2008: 2469-2474 - [c51]Changyan Zhou, Ratnesh Kumar, Shengbing Jiang:
Keynote: Hierarchical Fault Detection in Embedded Control Software. COMPSAC 2008: 816-823 - 2007
- [j37]Wenbin Qiu, Ratnesh Kumar, Shengbing Jiang:
On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication. IEEE Trans. Autom. Control. 52(1): 114-116 (2007) - [j36]Changyan Zhou, Ratnesh Kumar:
Bisimilarity Control of Partially Observed Deterministic Systems. IEEE Trans. Autom. Control. 52(9): 1642-1653 (2007) - [j35]Ratnesh Kumar, Shigemasa Takai:
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems. IEEE Trans. Autom. Control. 52(10): 1783-1794 (2007) - [j34]Changyan Zhou, Ratnesh Kumar:
A Small Model Theorem for Bisimilarity Control Under Partial Observation. IEEE Trans Autom. Sci. Eng. 4(1): 93-97 (2007) - [j33]Ratnesh Kumar, Changyan Zhou:
Control of Nondeterministic Discrete Event Systems for Simulation Equivalence. IEEE Trans Autom. Sci. Eng. 4(3): 340-349 (2007) - [j32]Jing Huang, Ratnesh Kumar:
An Optimal Directed Control Framework for Discrete Event Systems. IEEE Trans. Syst. Man Cybern. Part A 37(5): 780-791 (2007) - [c50]Shigemasa Takai, Ratnesh Kumar:
Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems. ACC 2007: 4268-4273 - [c49]Jing Huang, Ratnesh Kumar:
Optimal Nonblocking Directed Control of Discrete Event Systems. ACC 2007: 4285-4290 - [c48]Qin Wen, Ratnesh Kumar, Jing Huang, Haifeng Liu:
Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems. ACC 2007: 5649-5654 - [c47]Jeffrey Ashley, Lawrence E. Holloway, Ratnesh Kumar:
Qualitative diagnosis of condition systems for multiple subsystem failures. ACC 2007: 5657-5663 - [c46]Licheng Jin, Ratnesh Kumar, Nicola Elia:
Application of Model Predictive Control in Voltage Stabilization. ACC 2007: 5916-5921 - [c45]Songyan Xu, Ratnesh Kumar:
Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times. CDC 2007: 3399-3404 - [c44]Samik Basu, Ratnesh Kumar:
Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications. CDC 2007: 5294-5299 - [c43]Changyan Zhou, Ratnesh Kumar, Ramavarapu S. Sreenivas:
Decentralized modular control of concurrent discrete event systems. CDC 2007: 5918-5923 - [c42]Saayan Mitra, Ratnesh Kumar, Samik Basu:
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. ICWS 2007: 364-371 - [c41]Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer:
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. SEKE 2007: 179-184 - [c40]Saayan Mitra, Samik Basu, Ratnesh Kumar:
Local and On-the-fly Choreography-based Web Service Composition. Web Intelligence 2007: 521-527 - 2006
- [j31]Shengbing Jiang, Ratnesh Kumar:
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications. SIAM J. Control. Optim. 44(6): 2079-2103 (2006) - [j30]Changyan Zhou, Ratnesh Kumar, Shengbing Jiang:
Control of nondeterministic discrete-event systems for bisimulation equivalence. IEEE Trans. Autom. Control. 51(5): 754-765 (2006) - [j29]Shengbing Jiang, Ratnesh Kumar:
Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications. IEEE Trans Autom. Sci. Eng. 3(1): 47-59 (2006) - [j28]Wenbin Qiu, Ratnesh Kumar:
Decentralized Failure Diagnosis of Discrete Event Systems. IEEE Trans. Syst. Man Cybern. Part A 36(2): 384-395 (2006) - [c39]Ratnesh Kumar, Shigemasa Takai:
Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete event systems. ACC 2006: 1-6 - [c38]Ratnesh Kumar, Changyan Zhou, Samik Basu:
Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. ACC 2006: 1-6 - [c37]S. Bhattacharyya, Ratnesh Kumar, Sekhar Tangirala, M. O'Connor, Lawrence E. Holloway:
Animation/simulation of missions for autonomous underwater vehicles with hybrid-model based. ACC 2006: 1-6 - [c36]Shun-Pin Hsu, Ari Arapostathis, Ratnesh Kumar:
On optimal control of Markov chains with safety constraint. ACC 2006: 1-6 - [c35]Jing Huang, Ratnesh Kumar:
Directed control of discrete event systems: optimization based approach. ACC 2006: 1-6 - [c34]Shengbing Jiang, Ratnesh Kumar:
Diagnosis of dense-time systems using digital-clocks. ACC 2006: 1-6 - [c33]M. O'Connor, Sekhar Tangirala, Ratnesh Kumar, S. Bhattacharyya, Mario Sznaier, Larry E. Holloway:
A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles. ACC 2006: 1-6 - [c32]Wenbin Qiu, Ratnesh Kumar:
A new protocol for distributed diagnosis. ACC 2006: 1-6 - [c31]Shigemasa Takai, Ratnesh Kumar:
Synthesis of Inference-based Decentralized Control for Discrete Event Systems. CDC 2006: 410-415 - [c30]Samik Basu, Ratnesh Kumar:
Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. CDC 2006: 6041-6046 - 2005
- [j27]Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio:
Maximally permissive mutually and globally nonblocking supervision with application to switching control. Autom. 41(8): 1299-1312 (2005) - [j26]Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio:
Characterization of co-observable languages and formulas for their super/sublanguages. IEEE Trans. Autom. Control. 50(4): 434-447 (2005) - [j25]Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu:
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control. IEEE Trans. Autom. Control. 50(4): 463-475 (2005) - [j24]Ratnesh Kumar, Vijay K. Garg:
On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Trans Autom. Sci. Eng. 2(1): 87-91 (2005) - [j23]Ari Arapostathis, Ratnesh Kumar, Shun-Pin Hsu:
Control of Markov chains with safety bounds. IEEE Trans Autom. Sci. Eng. 2(4): 333-343 (2005) - [c29]Sekhar Tangirala, Ratnesh Kumar, Siddhartha Bhattacharyya, M. O'Connor, Lawrence E. Holloway:
Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles. ACC 2005: 668-673vol.1 - [c28]Wenbin Qiu, Ratnesh Kumar:
Distributed diagnosis under bounded-delay communication of immediately forwarded local observations. ACC 2005: 1027-1032vol.2 - [c27]Changyan Zhou, Ratnesh Kumar:
A small model theorem for bisimilarity control under partial observation. ACC 2005: 3937-3942 - [c26]Changyan Zhou, Ratnesh Kumar:
Prioritized synchronization under mask for interaction/control of partially observed discrete event systems. ACC 2005: 3943-3948 - [c25]Changyan Zhou, Ratnesh Kumar:
Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems. CDC/ECC 2005: 24-29 - [c24]Ratnesh Kumar, Shigemasa Takai:
Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems. CDC/ECC 2005: 3480-3485 - [c23]Changyan Zhou, Ratnesh Kumar:
Computation of Diagnosable Fault-Occurrence Indices for Systems with Repeatable-Faults. CDC/ECC 2005: 6311-6316 - [c22]Jing Huang, Ratnesh Kumar:
Nonblocking Directed Control of Discrete Event Systems. CDC/ECC 2005: 7627-7632 - 2004
- [j22]Shengbing Jiang, Ratnesh Kumar:
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. Autom. Control. 49(6): 934-945 (2004) - [c21]Ratnesh Kumar, Shengbing Jiang, Changyan Zhou, Wenbin Qiu:
Control using nondeterministic supervisors for partially observed discrete event systems. ACC 2004: 4472-4476 - [c20]Wenbin Qiu, Ratnesh Kumar, Vigyan Chandra:
Decentralized control of discrete event systems using prioritized composition with exclusion. ACC 2004: 4483-4487 - [c19]Changyan Zhou, Ratnesh Kumar, Shengbing Jiang:
Control of nondeterministic discrete event systems for bisimulation equivalence. ACC 2004: 4488-4492 - [c18]Siddhartha Bhattacharyya, Zhongdong Huang, Vigs Chandra, Ratnesh Kumar:
A discrete event systems approach to network fault management: detection & diagnosis of faults. ACC 2004: 5108-5113 - [c17]Zhongdong Huang, Siddhartha Bhattacharyya, Vigs Chandra, Shengbing Jiang, Ratnesh Kumar:
Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic. ACC 2004: 5114-5119 - [c16]Wenbin Qiu, Ratnesh Kumar:
Decentralized nondeterministic supervisory control of discrete event systems. CDC 2004: 992-997 - [c15]Wei Wu, Ari Arapostathis, Ratnesh Kumar:
On non-stationary policies and maximal invariant safe sets of controlled Markov chains. CDC 2004: 3696-3701 - 2003
- [j21]Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia:
Optimal sensor selection for discrete-event systems with partial observation. IEEE Trans. Autom. Control. 48(3): 369-381 (2003) - [j20]Aristotle Arapostathis, Ratnesh Kumar, Sekhar Tangirala:
Controlled Markov chains with safety upper bound. IEEE Trans. Autom. Control. 48(7): 1230-1234 (2003) - [j19]Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia:
Diagnosis of repeated/intermittent failures in discrete event systems. IEEE Trans. Robotics Autom. 19(2): 310-323 (2003) - [j18]Vigyan Chandra, Zhongdong Huang, Ratnesh Kumar:
Automated control synthesis for an assembly line using discrete event system control theory. IEEE Trans. Syst. Man Cybern. Part C 33(2): 284-289 (2003) - [c14]Vigyan Chandra, Zhongdong Huang, Ratnesh Kumar:
Concurrent, asynchronous and generative interactions for the modeling and control of discrete event systems. ACC 2003: 4010-4015 - [c13]Shengbing Jiang, Ratnesh Kumar:
Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. CDC 2003: 3221-3226 - [c12]Ari Arapostathis, Ratnesh Kumar, Shun-Pin Hsu:
State-feedback control of Markov chains with safety bounds. CDC 2003: 6283-6288 - 2002
- [j17]Shengbing Jiang, Ratnesh Kumar:
Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization. IEEE Trans. Autom. Control. 47(9): 1438-1449 (2002) - [c11]Shengbing Jiang, Ratnesh Kumar:
Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. ACC 2002: 128-133 - [c10]Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio:
Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems. CDC 2002: 578-583 - [c9]Shengbing Jiang, Ratnesh Kumar, Humberto E. Garcia:
Diagnosis of repeated failures in discrete event systems. CDC 2002: 4000-4005 - [c8]Zhongdong Huang, Vigyan Chandra, Shengbing Jiang, Ratnesh Kumar:
Modeling discrete event systems with faults using a rules based modeling formalism. CDC 2002: 4012-4017 - 2001
- [j16]Ratnesh Kumar, Vijay K. Garg:
Control of stochastic discrete event systems modeled by probabilistic languages. IEEE Trans. Autom. Control. 46(4): 593-606 (2001) - [j15]Shengbing Jiang, Zhongdong Huang, Vigyan Chandra, Ratnesh Kumar:
A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Trans. Autom. Control. 46(8): 1318-1321 (2001) - [c7]Shengbing Jiang, Vigyan Chandra, Ratnesh Kumar:
Decentralized control of discrete event systems with multiple local specifications. ACC 2001: 959-964 - [c6]Vigyan Chandra, Satya Ranjan Mohanty, Ratnesh Kumar:
Automated control synthesis for an assembly line using discrete event system control theory. ACC 2001: 4956-4961 - [c5]Ari Arapostathis, Ratnesh Kumar, Sekhar Tangirala:
Controlled Markov chains and safety criteria. CDC 2001: 1675-1680 - [c4]Shengbing Jiang, Ratnesh Kumar:
Supervisory control of discrete event systems with CTL* temporal logic specifications. CDC 2001: 4122-4127 - 2000
- [j14]Ratnesh Kumar, Michael Heymann:
Masked prioritized synchronization for interaction and control of discrete event systems. IEEE Trans. Autom. Control. 45(11): 1970-1982 (2000) - [j13]Shengbing Jiang, Ratnesh Kumar:
Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Trans. Syst. Man Cybern. Part B 30(5): 653-660 (2000) - [j12]Ratnesh Kumar, James A. Stover:
A behavior-based intelligent control architecture with application to coordination of multiple underwater vehicles. IEEE Trans. Syst. Man Cybern. Part A 30(6): 767-784 (2000)
1990 – 1999
- 1999
- [j11]Vijay Kumar Garg, Ratnesh Kumar, Steven I. Marcus:
A probabilistic language formalism for stochastic discrete-event systems. IEEE Trans. Autom. Control. 44(2): 280-293 (1999) - [j10]Mark A. Shayman, Ratnesh Kumar:
Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems. IEEE Trans. Autom. Control. 44(10): 1864-1869 (1999) - [c3]Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar:
A Computer Implementable Algorithm for the Synthesis of an Optimal Controller for Acyclic Discrete Event Processes. ICRA 1999: 126-130 - [c2]Michael Heymann, Feng Lin, George Meyer, Satya Ranjan Mohanty, Vigyan Chandra, Ratnesh Kumar:
Discrete Event Control with Active Events. ICRA 1999: 131-136 - 1998
- [j9]Ratnesh Kumar, Mark A. Shayman:
Formulae relating controllability, observability, and co-observability. Autom. 34(2): 211-215 (1998) - [j8]Ratnesh Kumar, Hok M. Cheung, Steven I. Marcus:
Extension based Limited Lookahead Supervision of Discrete Event Systems. Autom. 34(11): 1327-1344 (1998) - 1997
- [j7]Ratnesh Kumar, Sudhir Nelvagal, Steven I. Marcus:
A Discrete Event Systems Approach for Protocol Conversion. Discret. Event Dyn. Syst. 7(3): 295-315 (1997) - 1996
- [j6]Ratnesh Kumar, Lawrence E. Holloway:
Supervisory control of deterministic Petri nets with regular specification languages. IEEE Trans. Autom. Control. 41(2): 245-249 (1996) - [j5]Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus:
Corrections to "Finite buffer realization of input-output discrete event systems". IEEE Trans. Autom. Control. 41(4): 625-627 (1996) - [j4]Ratnesh Kumar, Mark A. Shayman:
Nonblocking supervisory control of nondeterministic systems via prioritized synchronization. IEEE Trans. Autom. Control. 41(8): 1160-1175 (1996) - 1995
- [j3]Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus:
Finite buffer realization of input-output discrete-event systems. IEEE Trans. Autom. Control. 40(6): 1042-1053 (1995) - [j2]Ratnesh Kumar, Vijay K. Garg:
Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. Theor. Comput. Sci. 148(1): 67-92 (1995) - [c1]Ratnesh Kumar, Mark A. Shayman:
Supervisory Control of Real-Time Systems Using Prioritized Synchronization. Hybrid Systems 1995: 351-361 - 1993
- [j1]Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus:
Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans. Autom. Control. 38(2): 232-247 (1993)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-10 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
