Ratnesh Kumar
Orcid: 0000-0003-3974-5790Affiliations:
- Iowa State University, Ames, IA, USA
- University of Kentucky, Lexington, KY, USA (1991 - 2002)
- University of Texas at Austin, TX, USA (PhD 1991)
According to our database1,
Ratnesh Kumar
authored at least 202 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ANDVI: Automated Network Device and Vulnerability Identification in SCADA/ICS by Passive Monitoring.
IEEE Trans. Syst. Man Cybern. Syst., April, 2024
2023
Critical Attacks Set Identification in Attack Graphs for Computer and SCADA/ICS Networks.
IEEE Trans. Syst. Man Cybern. Syst., September, 2023
Data-Driven Linear Koopman Embedding for Networked Systems: Model-Predictive Grid Control.
IEEE Syst. J., September, 2023
IEEE CAA J. Autom. Sinica, April, 2023
Robust Stability of Neural-Network-Controlled Nonlinear Systems With Parametric Variability.
IEEE Trans. Syst. Man Cybern. Syst., 2023
2022
Recursive Histogram Tracking-Based Rapid Online Anomaly Detection in Cyber-Physical Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2022
High-Voltage Triboelectric Energy Harvesting Using Multi-Shot Energy Extraction in 70-V BCD Process.
IEEE Trans. Circuits Syst. II Express Briefs, 2022
IEEE Trans. Autom. Control., 2022
CoRR, 2022
Distributed-MPC with Data-Driven Estimation of Bus Admittance Matrix in Voltage Stabilization.
CoRR, 2022
2021
IEEE Trans. Syst. Man Cybern. Syst., 2021
IEEE Trans. Syst. Man Cybern. Syst., 2021
Control of Non-Deterministic Systems With $\mu$-Calculus Specifications Using Quotienting.
IEEE CAA J. Autom. Sinica, 2021
MPC-based Realtime Power System Control with DNN-based Prediction/Sensitivity-Estimation.
CoRR, 2021
Synchronous Pre-biasing of Triboelectric Nanogenerator for Enhanced Energy Extraction.
CoRR, 2021
CoRR, 2021
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification.
CoRR, 2021
Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator.
IEEE Access, 2021
IEEE Access, 2021
2020
Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2020
A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2020
Coordinate descent based agricultural model calibration and optimized input management.
Comput. Electron. Agric., 2020
2019
Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification".
IEEE Trans Autom. Sci. Eng., 2019
Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations.
IET Cyper-Phys. Syst.: Theory & Appl., 2019
Proceedings of the 10th IEEE Annual Ubiquitous Computing, 2019
ICS/SCADA Device Recognition: A Hybrid Communication-Patterns and Passive-Fingerprinting Approach.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2019
Proceedings of the 2019 IEEE SENSORS, Montreal, QC, Canada, October 27-30, 2019, 2019
Proceedings of the 2019 IEEE SENSORS, Montreal, QC, Canada, October 27-30, 2019, 2019
"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning.
Proceedings of the 16th International Conference on Informatics in Control, 2019
Computation of Trajectory Sensitivities with Respect to Control and Implementation in PSAT.
Proceedings of the 16th International Conference on Informatics in Control, 2019
2018
IEEE Trans Autom. Sci. Eng., 2018
Maximum-Likelihood Sensor Node Localization Using Received Signal Strength in Multimedia With Multipath Characteristics.
IEEE Syst. J., 2018
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels.
Discret. Event Dyn. Syst., 2018
Agricultural Cyber-Physical System: In-Situ Soil Moisture and Salinity Estimation by Dielectric Mixing.
IEEE Access, 2018
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018
Learning a Joint Low-Rank and Gaussian Model in Matrix Completion with Spectral Regularization and Expectation Maximization Algorithm.
Proceedings of the 2018 IEEE International Congress on Big Data, 2018
2017
IEEE Trans Autom. Sci. Eng., 2017
A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making.
IEEE Trans. Autom. Control., 2017
J. Commun., 2017
Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata.
IET Cyper-Phys. Syst.: Theory & Appl., 2017
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow.
IET Cyper-Phys. Syst.: Theory & Appl., 2017
Proceedings of the 2017 IEEE International Conference on Multimedia and Expo, 2017
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017
2016
Guest Editorial: Special Issue on "Cyber-Innovated Environmental Sensing, Monitoring, and Modeling for Sustainability".
IEEE Syst. J., 2016
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata.
IET Cyper-Phys. Syst.: Theory & Appl., 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 2016 IEEE SENSORS, Orlando, FL, USA, October 30 - November 3, 2016, 2016
2015
Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements.
IEEE Trans Autom. Sci. Eng., 2015
IEEE Trans. Autom. Control., 2015
Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds.
IEEE Trans. Autom. Control., 2015
Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
An information theoretic measure for secrecy loss in stochastic discrete event systems.
Proceedings of the 2015 7th International Conference on Electronics, 2015
A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors.
IEEE Trans. Syst. Man Cybern. Syst., 2014
IEEE Trans Autom. Sci. Eng., 2014
IEEE Trans Autom. Sci. Eng., 2014
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., 2014
Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788].
Autom., 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Employing a metamaterial inspired small antenna for sensing and transceiving data in an underground soil sensor equipped with a GUI for end-user.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Smart nitrate-selective electrochemical sensors with electrospun nanofibers modified microelectrode.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Piezoelectric-based broadband bistable vibration energy harvester and SCE/SSHI-based high-power extraction.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
Network based sensor localization in multi-media application of precision agriculture Part 2: Time of arrival.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
Network based sensor localization in multi-media application of precision agriculture Part 1: Received signal strength.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
A low profile, low-RF band, small antenna for underground, in-situ sensing and wireless energy-efficient transmission.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014
Proceedings of the 2013 IEEE International Conference on Multimedia and Expo Workshops, 2014
Proceedings of the American Control Conference, 2014
2013
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables.
IEEE Trans Autom. Sci. Eng., 2013
IEEE Trans Autom. Sci. Eng., 2013
IEEE Trans Autom. Sci. Eng., 2013
Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy.
Proceedings of the IEEE International Conference on Systems, 2013
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013
2012
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications.
IEEE Trans. Autom. Control., 2012
Discret. Event Dyn. Syst., 2012
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012
2011
Wirel. Commun. Mob. Comput., 2011
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata.
IEEE Trans Autom. Sci. Eng., 2011
IEEE Trans. Autom. Control., 2011
IEEE Trans. Autom. Control., 2011
Performance modeling and simulation studies of MAC protocols in sensor network performance.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
Proceedings of the American Control Conference, 2011
2010
Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management.
IEEE Trans. Syst. Man Cybern. Part A, 2010
IEEE Trans Autom. Sci. Eng., 2010
IEEE Trans Autom. Sci. Eng., 2010
IEEE Trans. Autom. Control., 2010
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems.
IEEE Trans. Autom. Control., 2010
IEEE Trans. Autom. Control., 2010
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010
2009
IEEE Trans Autom. Sci. Eng., 2009
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2009
Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults.
IEEE Trans. Autom. Control., 2009
Proceedings of the IEEE International Conference on Web Services, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
Synthesis of wireless time-triggered embedded networks for networked control systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
Proceedings of the American Control Conference, 2009
Proceedings of the American Control Conference, 2009
Proceedings of the American Control Conference, 2009
2008
Distributed Diagnosis Under Bounded-Delay Communication of Immediately Forwarded Local Observations.
IEEE Trans. Syst. Man Cybern. Part A, 2008
Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems.
IEEE Trans Autom. Sci. Eng., 2008
IEEE Trans Autom. Sci. Eng., 2008
IEEE Trans. Autom. Control., 2008
IEEE Trans. Autom. Control., 2008
Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion.
IEEE Trans. Autom. Control., 2008
IEEE Trans. Autom. Control., 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Security constrained emergency voltage stabilization: A Model Predictive Control based approach.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
A simulation condition for correct asynchronous implementation of synchronous design.
Proceedings of the American Control Conference, 2008
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008
Proceedings of the 2008 IEEE International Symposium on Intelligent Control, 2008
2007
IEEE Trans. Syst. Man Cybern. Part A, 2007
IEEE Trans Autom. Sci. Eng., 2007
IEEE Trans Autom. Sci. Eng., 2007
IEEE Trans. Autom. Control., 2007
IEEE Trans. Autom. Control., 2007
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems.
IEEE Trans. Autom. Control., 2007
Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the American Control Conference, 2007
Proceedings of the American Control Conference, 2007
Proceedings of the American Control Conference, 2007
Proceedings of the American Control Conference, 2007
2006
IEEE Trans. Syst. Man Cybern. Part A, 2006
Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications.
IEEE Trans Autom. Sci. Eng., 2006
IEEE Trans. Autom. Control., 2006
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications.
SIAM J. Control. Optim., 2006
Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006
Proceedings of the American Control Conference, 2006
A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles.
Proceedings of the American Control Conference, 2006
Proceedings of the American Control Conference, 2006
Proceedings of the American Control Conference, 2006
Proceedings of the American Control Conference, 2006
Animation/simulation of missions for autonomous underwater vehicles with hybrid-model based.
Proceedings of the American Control Conference, 2006
Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables.
Proceedings of the American Control Conference, 2006
2005
On computation of state avoidance control for infinite state systems in assignment program framework.
IEEE Trans Autom. Sci. Eng., 2005
Characterization of co-observable languages and formulas for their super/sublanguages.
IEEE Trans. Autom. Control., 2005
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control.
IEEE Trans. Autom. Control., 2005
Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Autom., 2005
Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Prioritized synchronization under mask for interaction/control of partially observed discrete event systems.
Proceedings of the American Control Conference, 2005
Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles.
Proceedings of the American Control Conference, 2005
2004
Failure diagnosis of discrete-event systems with linear-time temporal logic specifications.
IEEE Trans. Autom. Control., 2004
On non-stationary policies and maximal invariant safe sets of controlled Markov chains.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Control using nondeterministic supervisors for partially observed discrete event systems.
Proceedings of the 2004 American Control Conference, 2004
Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic.
Proceedings of the 2004 American Control Conference, 2004
A discrete event systems approach to network fault management: detection & diagnosis of faults.
Proceedings of the 2004 American Control Conference, 2004
2003
Automated control synthesis for an assembly line using discrete event system control theory.
IEEE Trans. Syst. Man Cybern. Part C, 2003
IEEE Trans. Robotics Autom., 2003
IEEE Trans. Autom. Control., 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Concurrent, asynchronous and generative interactions for the modeling and control of discrete event systems.
Proceedings of the American Control Conference, 2003
2002
Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization.
IEEE Trans. Autom. Control., 2002
Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications.
Proceedings of the American Control Conference, 2002
2001
IEEE Trans. Autom. Control., 2001
IEEE Trans. Autom. Control., 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Proceedings of the American Control Conference, 2001
Automated control synthesis for an assembly line using discrete event system control theory.
Proceedings of the American Control Conference, 2001
2000
A behavior-based intelligent control architecture with application to coordination of multiple underwater vehicles.
IEEE Trans. Syst. Man Cybern. Part A, 2000
Decentralized control of discrete event systems with specializations to local control and concurrent systems.
IEEE Trans. Syst. Man Cybern. Part B, 2000
Masked prioritized synchronization for interaction and control of discrete event systems.
IEEE Trans. Autom. Control., 2000
1999
Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems.
IEEE Trans. Autom. Control., 1999
IEEE Trans. Autom. Control., 1999
A Computer Implementable Algorithm for the Synthesis of an Optimal Controller for Acyclic Discrete Event Processes.
Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999
Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999
1998
Autom., 1998
1997
Discret. Event Dyn. Syst., 1997
1996
Nonblocking supervisory control of nondeterministic systems via prioritized synchronization.
IEEE Trans. Autom. Control., 1996
Supervisory control of deterministic Petri nets with regular specification languages.
IEEE Trans. Autom. Control., 1996
IEEE Trans. Autom. Control., 1996
1995
Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control.
Theor. Comput. Sci., 1995
IEEE Trans. Autom. Control., 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
1993
Predicates and predicate transformers for supervisory control of discrete event dynamical systems.
IEEE Trans. Autom. Control., 1993