The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ratnesh Kumar 0001" ( http://dblp.L3S.de/Authors/Ratnesh_Kumar_0001 )

URL (Homepage):  http://home.eng.iastate.edu/~rkumar/  Author page on DBLP  Author page in RDF  Community of Ratnesh Kumar 0001 in ASPL-2

Publication years (Num. hits)
1995-2002 (15) 2003-2007 (24) 2008-2009 (21) 2010-2011 (15) 2012-2014 (28) 2015-2017 (18) 2018-2019 (9)
Publication types (Num. hits)
article(76) inproceedings(54)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 131 publication records. Showing 130 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hao Ren, Ratnesh Kumar 0001 Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations. Search on Bibsonomy IET Cyper-Phys. Syst.: Theory & Appl. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ratnesh Kumar 0001, Shigemasa Takai Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification". Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hao Ren, Ratnesh Kumar 0001, Matthew A. Clark 0001 "ReLIC: Reduced Logic Inference for Composition" for Quantifier Elimination based Compositional Reasoning. Search on Bibsonomy ICINCO (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gunjan Pandey, Robert J. Weber, Ratnesh Kumar 0001 Agricultural Cyber-Physical System: In-Situ Soil Moisture and Salinity Estimation by Dielectric Mixing. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Herman Sahota, Ratnesh Kumar 0001 Maximum-Likelihood Sensor Node Localization Using Received Signal Strength in Multimedia With Multipath Characteristics. Search on Bibsonomy IEEE Systems Journal The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Christoforos Keroglou, Christoforos N. Hadjicostis, Ratnesh Kumar 0001 Revised Test for Stochastic Diagnosability of Discrete-Event Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hao Ren, Matthew Clark, Ratnesh Kumar 0001 Integration of Quantifier Eliminator with Model Checker and Compositional Reasoner. Search on Bibsonomy ICCA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gang Wu, Ratnesh Kumar 0001 Learning a Joint Low-Rank and Gaussian Model in Matrix Completion with Spectral Regularization and Expectation Maximization Algorithm. Search on Bibsonomy BigData Congress The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gang Wu, Viswanathan Swaminathan, Ratnesh Kumar 0001 Matrix Completion under Gaussian Models Using MAP and EM Algorithms. Search on Bibsonomy JCM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar 0001 Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. Search on Bibsonomy IET Cyper-Phys. Syst.: Theory & Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Meng Li 0001, Ratnesh Kumar 0001 Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow. Search on Bibsonomy IET Cyper-Phys. Syst.: Theory & Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Mariam Ibrahim, Ratnesh Kumar 0001 Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar 0001 Context-aware video recommendation based on session progress prediction. Search on Bibsonomy ICME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar 0001 Digital content recommendation system using implicit feedback data. Search on Bibsonomy BigData The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Meng Li 0001, Ratnesh Kumar 0001 Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. Search on Bibsonomy IET Cyper-Phys. Syst.: Theory & Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mariam Ibrahim, Jun Chen 0002, Ratnesh Kumar 0001 A resiliency measure for electrical power systems. Search on Bibsonomy WODES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Delay bound of inference-based decentralized diagnosis in discrete event systems. Search on Bibsonomy WODES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mariam Ibrahim, Jun Chen 0002, Ratnesh Kumar 0001 Quantification of distributed secrecy loss in stochastic discrete event systems under bounded-delay communications. Search on Bibsonomy WODES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Stochastic Failure Prognosability of Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Fault Detection of Discrete-Time Stochastic Systems Subject to Temporal Logic Correctness Requirements. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making. Search on Bibsonomy CDC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hao Ren, Ratnesh Kumar 0001 Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs. Search on Bibsonomy ADHS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Meng Li 0001, Ratnesh Kumar 0001 Robustness of Simulink/Stateflow Model Against Implementation Imperfections. Search on Bibsonomy ADHS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems. Search on Bibsonomy ETFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ratnesh Kumar 0001, Shigemasa Takai Comments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ratnesh Kumar 0001, Shengbing Jiang, Changyan Zhou Comment on "Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm" [Automatica 47 (2011) 782-788]. Search on Bibsonomy Automatica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Qin Wen, Ratnesh Kumar 0001, Jing Huang Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics: Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lucien Ouedraogo, Ratnesh Kumar 0001 Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Meng Li 0001, Ratnesh Kumar 0001 Recursive Modeling of Stateflow as Input/Output-Extended Automaton. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Failure prognosability of stochastic discrete event systems. Search on Bibsonomy ACC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Pattern Mining for Predicting Critical Events from Sequential Event Data Log. Search on Bibsonomy WODES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gunjan Pandey, Kim Ni Wang, Ratnesh Kumar 0001, 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. Search on Bibsonomy SMC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benjamin Britz, Eric Ng, Huawei Jiang, Zhen Xu, Ratnesh Kumar 0001, Liang Dong Smart nitrate-selective electrochemical sensors with electrospun nanofibers modified microelectrode. Search on Bibsonomy SMC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gang Wu, Viswanathan Swaminathan, Saayan Mitra, Ratnesh Kumar 0001 Online video session progress prediction using low-rank matrix completion. Search on Bibsonomy ICME Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Failure diagnosis of discrete-time stochastic systems subject to temporal logic correctness requirements. Search on Bibsonomy ICNSC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Herman Sahota, Ratnesh Kumar 0001 Network based sensor localization in multi-media application of precision agriculture Part 1: Received signal strength. Search on Bibsonomy ICNSC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gunjan Pandey, Ratnesh Kumar 0001, Robert J. Weber A low profile, low-RF band, small antenna for underground, in-situ sensing and wireless energy-efficient transmission. Search on Bibsonomy ICNSC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Herman Sahota, Ratnesh Kumar 0001 Network based sensor localization in multi-media application of precision agriculture Part 2: Time of arrival. Search on Bibsonomy ICNSC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mariam Ibrahim, Jun Chen 0002, Ratnesh Kumar 0001 Secrecy in stochastic discrete event systems. Search on Bibsonomy ICNSC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar 0001 A new abstraction-refinement based verifier for modular linear hybrid automata and its implementation. Search on Bibsonomy ICNSC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kanishka Aman Singh, Ratnesh Kumar 0001, Robert J. Weber Piezoelectric-based broadband bistable vibration energy harvester and SCE/SSHI-based high-power extraction. Search on Bibsonomy ICNSC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Songyan Xu, Ratnesh Kumar 0001, Alessandro Pinto Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001 Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Decentralized failure diagnosis of stochastic discrete event systems. Search on Bibsonomy CASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Meng Li 0001, Ratnesh Kumar 0001 Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution. Search on Bibsonomy CASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gunjan Pandey, Ratnesh Kumar 0001, Robert J. Weber Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy. Search on Bibsonomy SMC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Online failure diagnosis of stochastic discrete event systems. Search on Bibsonomy CACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001 Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Meng Li 0001, Ratnesh Kumar 0001 Model-based automatic test generation for Simulink/Stateflow using extended finite automaton. Search on Bibsonomy CASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jun Chen 0002, Ratnesh Kumar 0001 Polynomial test for Stochastic Diagnosability of discrete event systems. Search on Bibsonomy CASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001 Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Inference-Based Decentralized Prognosis in Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Herman Sahota, Ratnesh Kumar 0001, Ahmed Kamal A wireless sensor network for precision agriculture and its performance. Search on Bibsonomy Wireless Communications and Mobile Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lucien Ouedraogo, Ratnesh Kumar 0001, Robi Malik, Knut Åkesson Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Herman Sahota, Ratnesh Kumar 0001, Ahmed Kamal Performance modeling and simulation studies of MAC protocols in sensor network performance. Search on Bibsonomy IWCMC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lucien Ouedraogo, Ratnesh Kumar 0001 Exact response time of FlexRay communication protocol. Search on Bibsonomy IWCMC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Meng Li 0001, Ratnesh Kumar 0001 Stateflow to Extended Finite Automata Translation. Search on Bibsonomy COMPSAC Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ratnesh Kumar 0001, Shigemasa Takai Decentralized Prognosis of Failures in Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Songyan Xu, Ratnesh Kumar 0001 Real-Time Control of Dense-Time Systems Using Digital-Clocks. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part A The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Songyan Xu, Shengbing Jiang, Ratnesh Kumar 0001 Diagnosis of Dense-Time Systems Under Event and Timing Masks. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shengbing Jiang, Ratnesh Kumar 0001, Shigemasa Takai, Wenbin Qiu Decentralized Control of Discrete-Event Systems With Multiple Local Specifications. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Herman Sahota, Ratnesh Kumar 0001, Ahmed Kamal, Jing Huang An energy-efficient wireless sensor network for precision agriculture. Search on Bibsonomy ISCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lucien Ouedraogo, Ratnesh Kumar 0001, Robi Malik, Knut Åkesson Symbolic approach to nonblocking and safe control of Extended Finite Automata. Search on Bibsonomy CASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar 0001 Special Issue on WODES'08. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001 Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wenbin Qiu, Qin Wen, Ratnesh Kumar 0001 Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ratnesh Kumar 0001, Shigemasa Takai Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Saayan Mitra, Ratnesh Kumar 0001, Samik Basu 0001 A Framework for Optimal Decentralized Service-Choreography. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Distributed prognosis of discrete event systems under bounded-delay communications. Search on Bibsonomy CDC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001 Modeling Simulink Diagrams Using Input/Output Extended Finite Automata. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shengbing Jiang, Ratnesh Kumar 0001 Prevention of Sequential Message Loss in CAN Systems. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Songyan Xu, Ratnesh Kumar 0001 Discrete event control under nondeterministic partial observation. Search on Bibsonomy CASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Pinto, Ratnesh Kumar 0001, Songyan Xu Synthesis of wireless time-triggered embedded networks for networked control systems. Search on Bibsonomy CASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jing Huang, Ratnesh Kumar 0001 Optimal Nonblocking Directed Control of Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Synthesis of Inference-Based Decentralized Control for Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Qin Wen, Ratnesh Kumar 0001, Jing Huang, Haifeng Liu A Framework for Fault-Tolerant Control of Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wenbin Qiu, Ratnesh Kumar 0001, Vigyan Chandra Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wenbin Qiu, Ratnesh Kumar 0001 Distributed Diagnosis Under Bounded-Delay Communication of Immediately Forwarded Local Observations. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001 Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Licheng Jin, Ratnesh Kumar 0001, Nicola Elia Security constrained emergency voltage stabilization: A Model Predictive Control based approach. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shigemasa Takai, Ratnesh Kumar 0001 Inference-based decentralized prognosis in discrete event systems. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001, Shengbing Jiang Keynote: Hierarchical Fault Detection in Embedded Control Software. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fault monitoring, embedded control systems, input/output extended finite automata, discrete-time hybrid systems, fault detection, fault isolation
1Ratnesh Kumar 0001 Fault Detection, Isolation, and Localization in Embedded Control Software. Search on Bibsonomy ISIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Saayan Mitra, Ratnesh Kumar 0001, Samik Basu 0001 Optimum Decentralized Choreography for Web Services Composition. Search on Bibsonomy IEEE SCC (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web services, choreography, decentralization, i/o automata
1Changyan Zhou, Ratnesh Kumar 0001 Bisimilarity Control of Partially Observed Deterministic Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ratnesh Kumar 0001, Shigemasa Takai Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Wenbin Qiu, Ratnesh Kumar 0001, Shengbing Jiang On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jing Huang, Ratnesh Kumar 0001 An Optimal Directed Control Framework for Discrete Event Systems. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part A The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001 A Small Model Theorem for Bisimilarity Control Under Partial Observation. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ratnesh Kumar 0001, Changyan Zhou Control of Nondeterministic Discrete Event Systems for Simulation Equivalence. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Changyan Zhou, Ratnesh Kumar 0001, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. Search on Bibsonomy SEKE The full citation details ... 2007 DBLP  BibTeX  RDF
1Saayan Mitra, Ratnesh Kumar 0001, Samik Basu 0001 Automated Choreographer Synthesis for Web Services Composition Using I/O Automata. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Samik Basu 0001, Ratnesh Kumar 0001 Quotient-based control synthesis for partially observed non-deterministic plants with mu-calculus specifications. Search on Bibsonomy CDC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 130 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license