Predicates and predicate transformers for supervisory control of discrete event dynamical systems. - Ratnesh Kumar 001; Vijay K. Garg; Steven I. Marcus (IEEE Trans. Autom. Control., 1993)

Supervisory Control of Real-Time Systems Using Prioritized Synchronization. - Ratnesh Kumar 001; Mark A. Shayman (Hybrid Systems, 1995)

Finite buffer realization of input-output discrete-event systems. - Ratnesh Kumar 001; Vijay K. Garg; Steven I. Marcus (IEEE Trans. Autom. Control., 1995)

Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. - Ratnesh Kumar 001; Vijay K. Garg (Theor. Comput. Sci., 1995)

Corrections to "Finite buffer realization of input-output discrete event systems". - Ratnesh Kumar 001; Vijay K. Garg; Steven I. Marcus (IEEE Trans. Autom. Control., 1996)

Supervisory control of deterministic Petri nets with regular specification languages. - Ratnesh Kumar 001; Lawrence E. Holloway (IEEE Trans. Autom. Control., 1996)

Nonblocking supervisory control of nondeterministic systems via prioritized synchronization. - Ratnesh Kumar 001; Mark A. Shayman (IEEE Trans. Autom. Control., 1996)

A Discrete Event Systems Approach for Protocol Conversion. - Ratnesh Kumar 001; Sudhir Nelvagal; Steven I. Marcus (Discret. Event Dyn. Syst., 1997)

Extension based Limited Lookahead Supervision of Discrete Event Systems. - Ratnesh Kumar 001; Hok M. Cheung; Steven I. Marcus (Autom., 1998)

Formulae relating controllability, observability, and co-observability. - Ratnesh Kumar 001; Mark A. Shayman (Autom., 1998)

Discrete Event Control with Active Events. - Michael Heymann; Feng Lin; George Meyer; Satya Ranjan Mohanty; Vigyan Chandra; Ratnesh Kumar 001 (ICRA, 1999)

A Computer Implementable Algorithm for the Synthesis of an Optimal Controller for Acyclic Discrete Event Processes. - Satya Ranjan Mohanty; Vigyan Chandra; Ratnesh Kumar 001 (ICRA, 1999)

A probabilistic language formalism for stochastic discrete-event systems. - Vijay Kumar Garg; Ratnesh Kumar 001; Steven I. Marcus (IEEE Trans. Autom. Control., 1999)

Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems. - Mark A. Shayman; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 1999)

Mutually nonblocking supervisory control of discrete event systems. - Martin Fabian; Ratnesh Kumar 001 (Autom., 2000)

Masked prioritized synchronization for interaction and control of discrete event systems. - Ratnesh Kumar 001; Michael Heymann (IEEE Trans. Autom. Control., 2000)

Decentralized control of discrete event systems with specializations to local control and concurrent systems. - Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Part B, 2000)

A behavior-based intelligent control architecture with application to coordination of multiple underwater vehicles. - Ratnesh Kumar 001; James A. Stover (IEEE Trans. Syst. Man Cybern. Part A, 2000)

Automated control synthesis for an assembly line using discrete event system control theory. - Vigyan Chandra; Satya Ranjan Mohanty; Ratnesh Kumar 001 (ACC, 2001)

Decentralized control of discrete event systems with multiple local specifications. - Shengbing Jiang; Vigyan Chandra; Ratnesh Kumar 001 (ACC, 2001)

Controlled Markov chains and safety criteria. - Ari Arapostathis; Ratnesh Kumar 001; Sekhar Tangirala (CDC, 2001)

Supervisory control of discrete event systems with CTL* temporal logic specifications. - Shengbing Jiang; Ratnesh Kumar 001 (CDC, 2001)

A polynomial algorithm for testing diagnosability of discrete-event systems. - Shengbing Jiang; Zhongdong Huang; Vigyan Chandra; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2001)

Control of stochastic discrete event systems modeled by probabilistic languages. - Ratnesh Kumar 001; Vijay K. Garg (IEEE Trans. Autom. Control., 2001)

Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. - Shengbing Jiang; Ratnesh Kumar 001 (ACC, 2002)

Modeling discrete event systems with faults using a rules based modeling formalism. - Zhongdong Huang; Vigyan Chandra; Shengbing Jiang; Ratnesh Kumar 001 (CDC, 2002)

Diagnosis of repeated failures in discrete event systems. - Shengbing Jiang; Ratnesh Kumar 001; Humberto E. Garcia (CDC, 2002)

Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems. - Shigemasa Takai; Ratnesh Kumar 001; Toshimitsu Ushio (CDC, 2002)

Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization. - Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2002)

Concurrent, asynchronous and generative interactions for the modeling and control of discrete event systems. - Vigyan Chandra; Zhongdong Huang; Ratnesh Kumar 001 (ACC, 2003)

State-feedback control of Markov chains with safety bounds. - Ari Arapostathis; Ratnesh Kumar 001; Shun-Pin Hsu (CDC, 2003)

Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. - Shengbing Jiang; Ratnesh Kumar 001 (CDC, 2003)

Controlled Markov chains with safety upper bound. - Aristotle Arapostathis; Ratnesh Kumar 001; Sekhar Tangirala (IEEE Trans. Autom. Control., 2003)

Optimal sensor selection for discrete-event systems with partial observation. - Shengbing Jiang; Ratnesh Kumar 001; Humberto E. Garcia (IEEE Trans. Autom. Control., 2003)

Diagnosis of repeated/intermittent failures in discrete event systems. - Shengbing Jiang; Ratnesh Kumar 001; Humberto E. Garcia (IEEE Trans. Robotics Autom., 2003)

Automated control synthesis for an assembly line using discrete event system control theory. - Vigyan Chandra; Zhongdong Huang; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Part C, 2003)

A discrete event systems approach to network fault management: detection & diagnosis of faults. - Siddhartha Bhattacharyya; Zhongdong Huang; Vigs Chandra; Ratnesh Kumar 001 (ACC, 2004)

Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic. - Zhongdong Huang; Siddhartha Bhattacharyya; Vigs Chandra; Shengbing Jiang; Ratnesh Kumar 001 (ACC, 2004)

Control using nondeterministic supervisors for partially observed discrete event systems. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou; Wenbin Qiu (ACC, 2004)

Decentralized control of discrete event systems using prioritized composition with exclusion. - Wenbin Qiu; Ratnesh Kumar 001; Vigyan Chandra (ACC, 2004)

Control of nondeterministic discrete event systems for bisimulation equivalence. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (ACC, 2004)

Decentralized nondeterministic supervisory control of discrete event systems. - Wenbin Qiu; Ratnesh Kumar 001 (CDC, 2004)

On non-stationary policies and maximal invariant safe sets of controlled Markov chains. - Wei Wu 043; Ari Arapostathis; Ratnesh Kumar 001 (CDC, 2004)

Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. - Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2004)

Distributed diagnosis under bounded-delay communication of immediately forwarded local observations. - Wenbin Qiu; Ratnesh Kumar 001 (ACC, 2005)

Hybrid-model based hierarchical mission control architecture for autonomous underwater vehicles. - Sekhar Tangirala; Ratnesh Kumar 001; Siddhartha Bhattacharyya; M. O'Connor; Lawrence E. Holloway (ACC, 2005)

A small model theorem for bisimilarity control under partial observation. - Changyan Zhou; Ratnesh Kumar 001 (ACC, 2005)

Prioritized synchronization under mask for interaction/control of partially observed discrete event systems. - Changyan Zhou; Ratnesh Kumar 001 (ACC, 2005)

Nonblocking Directed Control of Discrete Event Systems. - Jing Huang 022; Ratnesh Kumar 001 (CDC/ECC, 2005)

Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems. - Ratnesh Kumar 001; Shigemasa Takai (CDC/ECC, 2005)

Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems. - Changyan Zhou; Ratnesh Kumar 001 (CDC/ECC, 2005)

Computation of Diagnosable Fault-Occurrence Indices for Systems with Repeatable-Faults. - Changyan Zhou; Ratnesh Kumar 001 (CDC/ECC, 2005)

Maximally permissive mutually and globally nonblocking supervision with application to switching control. - Ratnesh Kumar 001; Shigemasa Takai; Martin Fabian; Toshimitsu Ushio (Autom., 2005)

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou; Wenbin Qiu (IEEE Trans. Autom. Control., 2005)

Characterization of co-observable languages and formulas for their super/sublanguages. - Shigemasa Takai; Ratnesh Kumar 001; Toshimitsu Ushio (IEEE Trans. Autom. Control., 2005)

Control of Markov chains with safety bounds. - Ari Arapostathis; Ratnesh Kumar 001; Shun-Pin Hsu (IEEE Trans Autom. Sci. Eng., 2005)

On computation of state avoidance control for infinite state systems in assignment program framework. - Ratnesh Kumar 001; Vijay K. Garg (IEEE Trans Autom. Sci. Eng., 2005)

Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete event systems. - Ratnesh Kumar 001; Shigemasa Takai (ACC, 2006)

Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. - Ratnesh Kumar 001; Changyan Zhou; Samik Basu 001 (ACC, 2006)

Animation/simulation of missions for autonomous underwater vehicles with hybrid-model based. - S. Bhattacharyya; Ratnesh Kumar 001; Sekhar Tangirala; M. O'Connor; Lawrence E. Holloway (ACC, 2006)

On optimal control of Markov chains with safety constraint. - Shun-Pin Hsu; Ari Arapostathis; Ratnesh Kumar 001 (ACC, 2006)

Directed control of discrete event systems: optimization based approach. - Jing Huang 022; Ratnesh Kumar 001 (ACC, 2006)

Diagnosis of dense-time systems using digital-clocks. - Shengbing Jiang; Ratnesh Kumar 001 (ACC, 2006)

A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles. - M. O'Connor; Sekhar Tangirala; Ratnesh Kumar 001; S. Bhattacharyya; Mario Sznaier; Larry E. Holloway (ACC, 2006)

A new protocol for distributed diagnosis. - Wenbin Qiu; Ratnesh Kumar 001 (ACC, 2006)

Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications. - Samik Basu 001; Ratnesh Kumar 001 (CDC, 2006)

Synthesis of Inference-based Decentralized Control for Discrete Event Systems. - Shigemasa Takai; Ratnesh Kumar 001 (CDC, 2006)

Decentralized Failure Diagnosis of Discrete Event Systems. - Wenbin Qiu; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Part A, 2006)

Qualitative diagnosis of condition systems for multiple subsystem failures. - Jeffrey Ashley; Lawrence E. Holloway; Ratnesh Kumar 001 (ACC, 2007)

Optimal Nonblocking Directed Control of Discrete Event Systems. - Jing Huang 022; Ratnesh Kumar 001 (ACC, 2007)

Application of Model Predictive Control in Voltage Stabilization. - Licheng Jin; Ratnesh Kumar 001; Nicola Elia (ACC, 2007)

Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems. - Shigemasa Takai; Ratnesh Kumar 001 (ACC, 2007)

Weakly Fault-Tolerant Supervisory Control of Discrete Event Systems. - Qin Wen; Ratnesh Kumar 001; Jing Huang 022; Haifeng Liu (ACC, 2007)

Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications. - Samik Basu 001; Ratnesh Kumar 001 (CDC, 2007)

Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times. - Songyan Xu; Ratnesh Kumar 001 (CDC, 2007)

Decentralized modular control of concurrent discrete event systems. - Changyan Zhou; Ratnesh Kumar 001; Ramavarapu S. Sreenivas (CDC, 2007)

Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. - Saayan Mitra; Ratnesh Kumar 001; Samik Basu 001 (ICWS, 2007)

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. - Changyan Zhou; Ratnesh Kumar 001; Devesh Bhatt; Kirk Schloegel; Darren D. Cofer (SEKE, 2007)

Local and On-the-fly Choreography-based Web Service Composition. - Saayan Mitra; Samik Basu 001; Ratnesh Kumar 001 (Web Intelligence, 2007)

On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication. - Wenbin Qiu; Ratnesh Kumar 001; Shengbing Jiang (IEEE Trans. Autom. Control., 2007)

Bisimilarity Control of Partially Observed Deterministic Systems. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2007)

Control of Nondeterministic Discrete Event Systems for Simulation Equivalence. - Ratnesh Kumar 001; Changyan Zhou (IEEE Trans Autom. Sci. Eng., 2007)

An Optimal Directed Control Framework for Discrete Event Systems. - Jing Huang 022; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Part A, 2007)

Fault Detection, Isolation, and Localization in Embedded Control Software. - Ratnesh Kumar 001 (ISIC, 2008)

Optimum Decentralized Choreography for Web Services Composition. - Saayan Mitra; Ratnesh Kumar 001; Samik Basu 001 (IEEE SCC (2), 2008)

A simulation condition for correct asynchronous implementation of synchronous design. - S. Xu; Ratnesh Kumar 001; Shengbing Jiang; S. Ramesh 002 (ACC, 2008)

Security constrained emergency voltage stabilization: A Model Predictive Control based approach. - Licheng Jin; Ratnesh Kumar 001; Nicola Elia (CDC, 2008)

Inference-based decentralized prognosis in discrete event systems. - Shigemasa Takai; Ratnesh Kumar 001 (CDC, 2008)

Keynote: Hierarchical Fault Detection in Embedded Control Software. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (COMPSAC, 2008)

A Framework for Fault-Tolerant Control of Discrete Event Systems. - Qin Wen; Ratnesh Kumar 001; Jing Huang 022; Haifeng Liu (IEEE Trans. Autom. Control., 2008)

Directed Control of Discrete Event Systems for Safety and Nonblocking. - Jing Huang 022; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2008)

Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2008)

Verification and synthesis for secrecy in discrete-event systems. - Shigemasa Takai; Ratnesh Kumar 001 (ACC, 2009)

Distributed state estimation in discrete event systems. - Songyan Xu; Ratnesh Kumar 001 (ACC, 2009)

On identification of input/output extended automata with finite bisimilar quotients. - Changyan Zhou; Ratnesh Kumar 001 (ACC, 2009)

Synthesis of wireless time-triggered embedded networks for networked control systems. - Alessandro Pinto; Ratnesh Kumar 001; Songyan Xu (CASE, 2009)

Discrete event control under nondeterministic partial observation. - Songyan Xu; Ratnesh Kumar 001 (CASE, 2009)

Distributed prognosis of discrete event systems under bounded-delay communications. - Shigemasa Takai; Ratnesh Kumar 001 (CDC, 2009)

Prevention of Sequential Message Loss in CAN Systems. - Shengbing Jiang; Ratnesh Kumar 001 (COMPSAC (2), 2009)

Modeling Simulink Diagrams Using Input/Output Extended Finite Automata. - Changyan Zhou; Ratnesh Kumar 001 (COMPSAC (2), 2009)

A Framework for Optimal Decentralized Service-Choreography. - Saayan Mitra; Ratnesh Kumar 001; Samik Basu 001 (ICWS, 2009)

Special Issue on WODES'08. - Bengt Lennartson; Martin Fabian; Alessandro Giua; Ratnesh Kumar 001 (Discret. Event Dyn. Syst., 2009)

Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures. - Wenbin Qiu; Qin Wen; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2009)

Symbolic approach to nonblocking and safe control of Extended Finite Automata. - Lucien Ouedraogo; Ratnesh Kumar 001; Robi Malik; Knut Åkesson (CASE, 2010)

An energy-efficient wireless sensor network for precision agriculture. - Herman Sahota; Ratnesh Kumar 001; Ahmed E. Kamal 001; Jing Huang 022 (ISCC, 2010)

Decentralized Prognosis of Failures in Discrete Event Systems. - Ratnesh Kumar 001; Shigemasa Takai (IEEE Trans. Autom. Control., 2010)

Real-Time Control of Dense-Time Systems Using Digital-Clocks. - Songyan Xu; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2010)

Decentralized Control of Discrete-Event Systems With Multiple Local Specifications. - Shengbing Jiang; Ratnesh Kumar 001; Shigemasa Takai; Wenbin Qiu (IEEE Trans Autom. Sci. Eng., 2010)

Diagnosis of Dense-Time Systems Under Event and Timing Masks. - Songyan Xu; Shengbing Jiang; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2010)

Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management. - Shigemasa Takai; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Part A, 2010)

Analysis of runtime data-log for software fault localization. - Changyan Zhou; Ratnesh Kumar 001; Shengbing Jiang (ACC, 2011)

Stateflow to Extended Finite Automata Translation. - Meng Li 001; Ratnesh Kumar 001 (COMPSAC Workshops, 2011)

Exact response time of FlexRay communication protocol. - Lucien Ouedraogo; Ratnesh Kumar 001 (IWCMC, 2011)

Performance modeling and simulation studies of MAC protocols in sensor network performance. - Herman Sahota; Ratnesh Kumar 001; Ahmed E. Kamal 001 (IWCMC, 2011)

Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2011)

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. - Lucien Ouedraogo; Ratnesh Kumar 001; Robi Malik; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2011)

A wireless sensor network for precision agriculture and its performance. - Herman Sahota; Ratnesh Kumar 001; Ahmed E. Kamal 001 (Wirel. Commun. Mob. Comput., 2011)

Polynomial test for Stochastic Diagnosability of discrete event systems. - Jun Chen 002; Ratnesh Kumar 001 (CASE, 2012)

Model-based automatic test generation for Simulink/Stateflow using extended finite automaton. - Meng Li 001; Ratnesh Kumar 001 (CASE, 2012)

Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. - Changyan Zhou; Ratnesh Kumar 001 (Discret. Event Dyn. Syst., 2012)

Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications. - Shigemasa Takai; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2012)

Online failure diagnosis of stochastic discrete event systems. - Jun Chen 002; Ratnesh Kumar 001 (CACSD, 2013)

Decentralized failure diagnosis of stochastic discrete event systems. - Jun Chen 002; Ratnesh Kumar 001 (CASE, 2013)

Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution. - Meng Li 001; Ratnesh Kumar 001 (CASE, 2013)

Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy. - Gunjan Pandey; Ratnesh Kumar 001; Robert J. Weber (SMC, 2013)

Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. - Songyan Xu; Ratnesh Kumar 001; Alessandro Pinto (IEEE Trans Autom. Sci. Eng., 2013)

Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables. - Changyan Zhou; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2013)

Failure prognosability of stochastic discrete event systems. - Jun Chen 002; Ratnesh Kumar 001 (ACC, 2014)

Online video session progress prediction using low-rank matrix completion. - Gang Wu 013; Viswanathan Swaminathan 001; Saayan Mitra; Ratnesh Kumar 001 (ICME Workshops, 2014)

Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements. - Jun Chen 002; Ratnesh Kumar 001 (ICNSC, 2014)

Secrecy in stochastic discrete event systems. - Mariam Ibrahim; Jun Chen 002; Ratnesh Kumar 001 (ICNSC, 2014)

A low profile, low-RF band, small antenna for underground, in-situ sensing and wireless energy-efficient transmission. - Gunjan Pandey; Ratnesh Kumar 001; Robert J. Weber (ICNSC, 2014)

A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. - Hao Ren 004; Jing Huang 022; Shengbing Jiang; Ratnesh Kumar 001 (ICNSC, 2014)

Network based sensor localization in multi-media application of precision agriculture Part 1: Received signal strength. - Herman Sahota; Ratnesh Kumar 001 (ICNSC, 2014)

Network based sensor localization in multi-media application of precision agriculture Part 2: Time of arrival. - Herman Sahota; Ratnesh Kumar 001 (ICNSC, 2014)

Piezoelectric-based broadband bistable vibration energy harvester and SCE/SSHI-based high-power extraction. - Kanishka Aman Singh; Ratnesh Kumar 001; Robert J. Weber (ICNSC, 2014)

Smart nitrate-selective electrochemical sensors with electrospun nanofibers modified microelectrode. - Benjamin Britz; Eric Ng; Huawei Jiang; Zhen Xu; Ratnesh Kumar 001; Liang Dong (SMC, 2014)

Employing a metamaterial inspired small antenna for sensing and transceiving data in an underground soil sensor equipped with a GUI for end-user. - Gunjan Pandey; Kim Ni Wang; Ratnesh Kumar 001; Robert J. Weber (SMC, 2014)

Pattern Mining for Predicting Critical Events from Sequential Event Data Log. - Jun Chen 002; Ratnesh Kumar 001 (WODES, 2014)

Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788]. - Ratnesh Kumar 001; Shengbing Jiang; Changyan Zhou (Autom., 2014)

Comments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification. - Ratnesh Kumar 001; Shigemasa Takai (IEEE Trans. Autom. Control., 2014)

Recursive Modeling of Stateflow as Input/Output-Extended Automaton. - Meng Li 001; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2014)

Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages. - Lucien Ouedraogo; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2014)

Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors. - Qin Wen; Ratnesh Kumar 001; Jing Huang 022 (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Robustness of Simulink/Stateflow Model Against Implementation Imperfections. - Meng Li 001; Ratnesh Kumar 001 (ADHS, 2015)

Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. - Hao Ren 004; Ratnesh Kumar 001 (ADHS, 2015)

A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making. - Shigemasa Takai; Ratnesh Kumar 001 (CDC, 2015)

An information theoretic measure for secrecy loss in stochastic discrete event systems. - Mariam Ibrahim; Jun Chen 002; Ratnesh Kumar 001 (ECAI, 2015)

Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems. - Shigemasa Takai; Ratnesh Kumar 001 (ETFA, 2015)

Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds. - Jun Chen 002; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2015)

Stochastic Failure Prognosability of Discrete Event Systems. - Jun Chen 002; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2015)

Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements. - Jun Chen 002; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2015)

Patterning of nanophotonic structures at optical fiber tip for refractive index sensing. - Shawana Tabassum; Yifei Wang; Jikang Qu; Qiugu Wang; Seval Oren; Robert J. Weber; Meng Lu; Ratnesh Kumar 001; Liang Dong (IEEE SENSORS, 2016)

Microfluidic eletrophoretic ion nutrient sensor. - Zhen Xu; Xinran Wang; Robert J. Weber; Ratnesh Kumar 001; Liang Dong (IEEE SENSORS, 2016)

Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications. - Mariam Ibrahim; Jun Chen 002; Ratnesh Kumar 001 (WODES, 2016)

A resiliency measure for electrical power systems. - Mariam Ibrahim; Jun Chen 002; Ratnesh Kumar 001 (WODES, 2016)

Delay bound of inference-based decentralized diagnosis in discrete event systems. - Shigemasa Takai; Ratnesh Kumar 001 (WODES, 2016)

Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. - Meng Li 001; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2016)

Guest Editorial: Special Issue on "Cyber-Innovated Environmental Sensing, Monitoring, and Modeling for Sustainability". - Ni-Bin Chang; Ratnesh Kumar 001; Gary G. Yen; Chi-Hsu Wang (IEEE Syst. J., 2016)

Digital content recommendation system using implicit feedback data. - Gang Wu 013; Viswanathan Swaminathan 001; Saayan Mitra; Ratnesh Kumar 001 (IEEE BigData, 2017)

Context-aware video recommendation based on session progress prediction. - Gang Wu 013; Viswanathan Swaminathan 001; Saayan Mitra; Ratnesh Kumar 001 (ICME, 2017)

Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow. - Meng Li 001; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)

Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. - Hao Ren 004; Jing Huang 022; Shengbing Jiang; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2017)

Matrix Completion under Gaussian Models Using MAP and EM Algorithms. - Gang Wu 013; Viswanathan Swaminathan 001; Ratnesh Kumar 001 (J. Commun., 2017)

A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making. - Shigemasa Takai; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2017)

Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems. - Jun Chen 002; Mariam Ibrahim; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2017)

Learning a Joint Low-Rank and Gaussian Model in Matrix Completion with Spectral Regularization and Expectation Maximization Algorithm. - Gang Wu 013; Ratnesh Kumar 001 (BigData Congress, 2018)

Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner. - Hao Ren 004; Matthew Clark; Ratnesh Kumar 001 (ICCA, 2018)

Agricultural Cyber-Physical System: In-Situ Soil Moisture and Salinity Estimation by Dielectric Mixing. - Gunjan Pandey; Robert J. Weber; Ratnesh Kumar 001 (IEEE Access, 2018)

Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. - Shigemasa Takai; Ratnesh Kumar 001 (Discret. Event Dyn. Syst., 2018)

Maximum-Likelihood Sensor Node Localization Using Received Signal Strength in Multimedia With Multipath Characteristics. - Herman Sahota; Ratnesh Kumar 001 (IEEE Syst. J., 2018)

Revised Test for Stochastic Diagnosability of Discrete-Event Systems. - Jun Chen 002; Christoforos Keroglou; Christoforos N. Hadjicostis; Ratnesh Kumar 001 (IEEE Trans Autom. Sci. Eng., 2018)

Computation of Trajectory Sensitivities with Respect to Control and Implementation in PSAT. - Ramij Raja Hossain; Ratnesh Kumar 001 (ICINCO (1), 2019)

"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning. - Hao Ren 004; Ratnesh Kumar 001; Matthew A. Clark 001 (ICINCO (1), 2019)

Bio-agent free electrochemical detection of Salicylic acid. - Bhuwan Kashyap; Ratnesh Kumar 001 (IEEE SENSORS, 2019)

Pre-Biased Synchronous Charge Extraction for Triboelectric Nanogenerator. - Madhav Pathak; Ratnesh Kumar 001 (IEEE SENSORS, 2019)

ICS/SCADA Device Recognition: A Hybrid Communication-Patterns and Passive-Fingerprinting Approach. - Alaa T. Al Ghazo; Ratnesh Kumar 001 (IM, 2019)

Identification of Critical-Attacks Set in an Attack-Graph. - Alaa T. Al Ghazo; Ratnesh Kumar 001 (UEMCON, 2019)

Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations. - Hao Ren 004; Ratnesh Kumar 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2019)

Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification". - Ratnesh Kumar 001; Shigemasa Takai (IEEE Trans Autom. Sci. Eng., 2019)

Coordinate descent based agricultural model calibration and optimized input management. - Anupam Bhar; Ratnesh Kumar 001; Zhiming Qi; Robert Malone (Comput. Electron. Agric., 2020)

A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks. - Alaa T. Al Ghazo; Mariam Ibrahim; Hao Ren 004; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems. - Remigiusz Wisniewski; Mengchu Zhou; Luís Gomes 001; Maria Pia Fanti; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Sensing Methodologies in Agriculture for Soil Moisture and Nutrient Monitoring. - Bhuwan Kashyap; Ratnesh Kumar 001 (IEEE Access, 2021)

Synchronous Inductor Switched Energy Extraction Circuits for Triboelectric Nanogenerator. - Madhav Pathak; Ratnesh Kumar 001 (IEEE Access, 2021)

"ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning and Verification. - Hao Ren 004; Ratnesh Kumar 001; Matthew Clark (CoRR, 2021)

A plug-and-play type field-deployable bio-agent free salicylic acid sensing system. - Bhuwan Kashyap; Ratnesh Kumar 001 (CoRR, 2021)

Synchronous Pre-biasing of Triboelectric Nanogenerator for Enhanced Energy Extraction. - Madhav Pathak; Ratnesh Kumar 001 (CoRR, 2021)

MPC-based Realtime Power System Control with DNN-based Prediction/Sensitivity-Estimation. - Ramij Raja Hossain; Ratnesh Kumar 001 (CoRR, 2021)

Noise-robust Clustering. - Rahmat Adesunkanmi; Ratnesh Kumar 001 (CoRR, 2021)

Control of Non-Deterministic Systems With $ mu$-Calculus Specifications Using Quotienting. - Samik Basu 001; Ratnesh Kumar 001 (IEEE CAA J. Autom. Sinica, 2021)

Special Issue on Recent Advances for Intelligence in Power and Energy Systems. - Ratnesh Kumar 001; Thomas I. Strasser; Geert Deconinck; Chun Sing Lai; Loi Lei Lai (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Resilience Indices for Power/Cyberphysical Systems. - Soumyabrata Talukder; Mariam Ibrahim; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Distributed-MPC with Data-Driven Estimation of Bus Admittance Matrix in Voltage Stabilization. - Ramij Raja Hossain; Ratnesh Kumar 001 (CoRR, 2022)

Data-Driven Linear Koopman Embedding for Model-Predictive Power System Control. - Ramij Raja Hossain; Rahmat Adesunkanmi; Ratnesh Kumar 001 (CoRR, 2022)

Stochastic Failure Prognosis of Discrete Event Systems. - Jun Chen 002; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2022)

High-Voltage Triboelectric Energy Harvesting Using Multi-Shot Energy Extraction in 70-V BCD Process. - Madhav Pathak; Shuo Xie; Cheng Huang 004; Ratnesh Kumar 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2022)

Recursive Histogram Tracking-Based Rapid Online Anomaly Detection in Cyber-Physical Systems. - Ratnesh Kumar 001; Ramij Raja Hossain; Soumyabrata Talukder; Amit Jena; Alaa T. Al Ghazo (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Robust Stability of Neural-Network-Controlled Nonlinear Systems With Parametric Variability. - Soumyabrata Talukder; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Machine Learning Accelerated Real-Time Model Predictive Control for Power Systems. - Ramij Raja Hossain; Ratnesh Kumar 001 (IEEE CAA J. Autom. Sinica, 2023)

Data-Driven Linear Koopman Embedding for Networked Systems: Model-Predictive Grid Control. - Ramij Raja Hossain; Rahmat Adesunkanmi; Ratnesh Kumar 001 (IEEE Syst. J., 2023)

Critical Attacks Set Identification in Attack Graphs for Computer and SCADA/ICS Networks. - Alaa T. Al Ghazo; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2023)

NeuroKoopman Dynamic Causal Discovery. - Rahmat Adesunkanmi; Balaji Sesha Srikanth Pokuri; Ratnesh Kumar 001 (CoRR, 2024)

Robust Optimal Safe and Stability Guaranteeing Reinforcement Learning Control for Quadcopter. - Sanghyoup Gu; Ratnesh Kumar 001 (CoRR, 2024)

Dynamic semantic VSLAM with known and unknown objects. - Sanghyoup Gu; Ratnesh Kumar 001 (CoRR, 2024)

ANDVI: Automated Network Device and Vulnerability Identification in SCADA/ICS by Passive Monitoring. - Alaa T. Al Ghazo; Ratnesh Kumar 001 (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Nonexistence of Upper Bound to Inferencing Level in Decentralized Discrete Event Control. - Shigemasa Takai; Ratnesh Kumar 001 (IEEE Trans. Autom. Control., 2024)

Expectation Distance-Based Distributional Clustering for Noise-Robustness. - Rahmat Adesunkanmi; Ratnesh Kumar 001 (IEEE Trans. Knowl. Data Eng., 2024)

Cloud-hosting of agricultural crop simulator and optimizer for model calibration and farm input recommendations. - Balaji Sesha Srikanth Pokuri; Anupam Bhar; Ratnesh Kumar 001 (Comput. Electron. Agric., 2025)