Research

Prof. Kumar's research spans Sensors, Networks, Controls, and Software with application domains of Safety and Security in Cyber-Physical (Hybrid), Embedded and Real-time Systems, Model-based Software and Web-services, Data Analytics, Power Grid and Energy Harvesting, and Sustainable Agriculture. Selected publications by area are listed below.

Back to Home


1. CYBER-PHYSICAL/SOFTWARE/NETWORKS/SECURITY

1.       Real-time Systems

2.       Hybrid Systems

3.       Model-Based Software Testing/Verification

4.       Extended-Automata/Petri Nets

5.       Temporal Logic

6.       Web Services

7.       Networked/Distributed Systems

8.       Security/Resiliency

      9.       Markov Chains

2.   SENSORS/POWER/ENERGY HARVESTING/AUTONOMY

1.       Sensors for Agriculture, Biology and Enviornment

2.       Power Systems & Energy Harvesting

      3.      Data Analytics

4.      Autonomous/Intelligent Systems

5.      PCB Placement/Coal Segregation

3.   DISCRETE EVENT SYSTEMS

 1.    Modeling/Realization/Implementation

 2.     Interaction Modeling/Control

 3.     Sensing/Estimation

 4.     Language/Safety Control

 5.     Temporal-Logic/(Bi)similarity Control

 6.     Nondeterministic Control/Observation

 7.     Directed Control

 8.     Stability/Resiliency

       9.     Diagnosis

10.   Prognosis

11.   Fault-Tolerance/Reconfiguring Control 

12.   Verification/Testing

13.   Infiniteary (Omega) Behavior/Progress

      14.   Probabilistic Behavior

Real-time Systems     Return to Top 

  1. L. Ouedraogo and R. Kumar, "Compuation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages ", IEEE Transactions on Automation Science and Engineering, pages 537-548, volume 11, number 2, April 2014. 
  2. S.Xu, S. Jiang, and R. Kumar, "Diagnosis of Dense-time Systems Using Digital Clocks", IEEE Transactions on Automation Science and Engineering, pages 870-878, volume 7, number 4, 2010.
  3. S. Xu and R. Kumar, "Real-Time Supervisory Control of Discrete Event Systems using Digital- Clocks ", IEEE Transactions on Automatic Control, pages 2003-2013, volume 55, number 9, 2010.
  4. S. Jiang and R. Kumar,"Prevention of Sequential Message Loss in CAN Systems",2009 IEEE International Computer Software and Applications Conference, pages 479-484, Seattle, July 2009.
  5. R. Kumar and M. Shayman, "Supervisory Control of Real-Time Systems using Prioritized Synchronization", Hybrid Systems III, volume 1066 of LNCS, pages 35-361, Springer-Verlag, 1996.  

Hybrid Systems     Return to Top

  1. Hao Ren and R. Kumar, "Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs", 2015 IFAC Analysis and Design of Hybrid Systems, Atlanta, Georgia, Oct. 2015.
  2. J. Chen and R. Kumar, "Fault Detection of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements", IEEE Transactions on Automation Science and Engineering, accepted, June 2015.
  3. H. Ren, J. Huang, S. Jiang, and R. Kumar, "A new Abstraction Refinement based Verifier for Modular Linear Hybrid Automata and its Implementation", 2014 IEEE International Conference on Networking, Sensing and Control, pages 30-35, Miami, FL, April 2014.
  4. J. Chen+ and R. Kumar,"Failure Diagnosis of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements", 2014 IEEE International Conference on Networking, Sensing and Control, pages 42-47, Miami, FL, April 2014.
  5. R.Kumar, C. Zhou, and S. Jiang, "Safety and Transition-Structure Preserving Abstraction of Hybrid Systems with Inputs/Outputs", 2008 Workshop on Discrete Event Systems, pages 206-211, Goteborg, Sweden, May 2008.
  6. F. Balduzzi and R. Kumar, "Hybrid Automata Model of Manufacturing Systems and its Optimal Control Subject to Logical Constraints", International Journal of Hybrid Systems, pages 61-80, volume 3, number 1, 2003.  

Model-Based Software Testing/Verification     Return to Top

  1. M. Li and R. Kumar, "Automated Test Generation and Error Localization for Simulink/Statefow using Extended Automata", IET: Cyberphysical Systems: Theory and Applications, pages 95-107, volume 1(1), Dec. 2016, DOI: 10.1049/iet-cps.2016.0024.
  2. M. Li and R. Kumar, "Robustness of Simulink/State ow Model Against Implementation Imperfections", 2015 IFAC Analysis and Design of Hybrid Systems, Atlanta, Georgia, Oct. 2015.
  3. M. Li and R. Kumar, "Reduction of Automated Test Generation for Simulink/Stateflow to Reachability and its Novel Resolution", 2013 IEEE Conference on Automation Science and Engineering, pages 1089-1094, Madison, WI, 2013.
  4.  M. Li and R. Kumar, "Recursive Modeling of Stateflow as Input/Output-Extended Automaton", IEEE Transactions on Automation Science and Engineering, pages 1229-1239, volume 11, number 4, Oct. 2014.
  5. M. Li and R. Kumar, "Simulink/Stateflow Test Generation based on Extended Finite Automata", 2012 IEEE Conference on Automation Science and Engineering, pages 857-862, Seoul, Korea, August 2012.
  6. M.Li and R. Kumar,"Stateflow to Extended Finite Automata Translation", 2011 IEEE International Computer Systems and Applications Conference, pages 1-6, Munich, July 2011.
  7. C.Zhou, R. Kumar, and S. Jiang,"Analysis of Runtime Data-Log for Software-Fault Localization", 2011 American Control Conference, pages 5127-5132, San Francisco, June 2011.
  8. M. Li and R. Kumar,"Model-based test generation for Simulink/Stateflow", 2011 Safe and Secure Systems and Software Symposium (S5), Dayton, June 2011.
  9. S. Xu and R. Kumar, S. Jiang and S. Ramesh,"A Simulation Condition for Correct Desynchronization", 2008 American Control Conference, pages 1728-1733, Seattle, WA, June 2008.
  10. C.Zhou and R. Kumar, "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata", Journal of Discrete Event Dynamical Systems, pages 223-247, volume 22, number 2, 2012.
  11. C. Zhou, R. Kumar, and S. Jiang,"Keynote: Hierarchical Fault Detection in Embedded Control Software", 2008 International Workshop on Software Cybernetics, pages 816-823, Turku, Finland, July 2008. (Invited paper for keynote speech).
  12. C. Zhou, R. Kumar, D. Bhatt, K. Schloegel, and D. Cofer, "A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules", Software Engineering and Knowledge Engineering, Boston, MA, July 2007. 

Extended-Automata/Petri Net     Return to Top 

  1. M. Li and R. Kumar, "Reduction of Automated Test Generation for Simulink/Stateflow to Reachability and its Novel Resolution", pages 1089-1094, 2013 IEEE Conference on Automation Science and Engineering, Madison, WI, 2013.
  2. M. Li and R. Kumar, "Recursive Modeling of Stateflow as Input/Output-Extended Automaton", IEEE Transactions on Automation Science and Engineering, pages 1229-1239, volume 11, number 4, Oct. 2014.
  3. M. Li and R. Kumar, "Simulink/Stateflow Test Generation based on Extended Finite Automata", 2012 IEEE Conference on Automation Science and Engineering, pages 857-862, Seoul, Korea, August 2012.
  4. M. Li and R. Kumar, "Stateflow to Extended Finite Automata Translation", 2011 IEEE International Computer Systems and Applications Conference, pages 1-6, Munich, July 2011.
  5. C. Zhou and R. Kumar,"Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata with Variables", IEEE Transactions on Automation Science and Engineering, pages 160-170, volume 10, number 1, 2013.
  6. L. Ouedraogo, R. Kumar, R. Malik and K. Akesson,"Nonblocking and Safe Control of Systems modeled as Extended Finite Automata", IEEE Transactions on Automation Science and Engineering, pages 560-569, volume 8, number 3, 2011.
  7.  C. Zhou and R. Kumar,"Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata", Journal of Discrete Event Dynamical Systems, pages 223-247, volume 22, number 2, 2012.
  8. R. Kumar and L. E. Holloway,"Supervisory Control of Petri Nets with Regular Specification Languages", IEEE Transactions on Automatic Control, pages 245-249, volume 41,number 2, February 1996. 

Temporal Logic     Return to Top 

  1. J. Chen and R. Kumar, "Fault Detection of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements", IEEE Transactions on Automation Science and Engineering, accepted, June 2015.
  2. C.Zhou, R. Kumar, and S. Jiang, "A Formal Analysis Approach of Runtime Data-Log for Embedded Software-Fault Localization" 2011 American Control Conference, pages 5127-5132, San Francisco, June 2011.
  3. S. Basu and R. Kumar, "Quotient-based Control Synthesis for Partially Observed Non-Deterministic Plants with Mu-Calculus Specifications", IEEE Conference on Decision and Control, pages 5294 - 5299, New Orleans, LA, Dec. 2007.
  4. S. Basu and R. Kumar, "Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications", IEEE Conference on Decision and Control, pages 6041-6046, San Diego, CA, December 2006.
  5. S.Jiang and R. Kumar, "Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications", SIAM Journal on Control and Optimization, pages 2079-2103, volume 44, number 6, 2006.
  6. S. Jiang and R. Kumar, "Diagnosis of Repeated Failures for Discrete Event Systems with Linear- Time Temporal Logic Specifications", IEEE Transactions on Automation Science and Engineering, pages 47-59, 3(1), 2006.
  7. S.Jiang and R. Kumar, "Failure Diagnosis of Discrete Event Systems with Linear-time Temporal Logic Fault Specifications", IEEE Transactions on Automatic Control, pages 934-945, volume 49, number 6, 2004.
  8. R. Kumar, V. K. Garg, and S. I. Marcus, "Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems", IEEE Transactions on Automatic Control, pages 232-247, volume 38, number 2, February 1993.

Web Services     Return to Top

1.     S. Mitra, R. Kumar, and S. Basu, "A Framework for Optimal Decentralized Service-Choreography" 2009 IEEE International Conference on Web Services, pages 493-500, Los Angeles, CA, July 2009.

2.     S. Mitra, R. Kumar, and S. Basu, "Optimum Decentralized Choreography for Web Service Composition", 2008 International Conference on Service Computing, pages 395-402, Honolulu, Hawaii, July 2008.

3.     S. Mitra, S. Basu, and R. Kumar, "Local and On-the-fly Choreography-based Web Service Composition", 2007 IEEE/WIC/ACM International Conference on Web Intelligence, pages 521- 527, Fremont, CA, Nov. 2007.

4.     S. Mitra, R. Kumar, and S. Basu, "Automated Choreographer Synthesis for Web Services Composition Using I/O Automata", 2007 IEEE International Conference on Web Services, pages 364-371, Salt Lake City, UT, July 2007.


Networked/Distributed Systems     Return to Top

  1. H. Sahota and R. Kumar, "Maximum likelihood based sensor node localization using received signal strength measurements in multiple physical media", IEEE Systems Journal, accepted, July 2015. 
  2. H. Sahota and R. Kumar, "Network based Sensor Localization in Multi-Media Application of Precision Agriculture - Part 1: Received Signal Strength", 2014 IEEE International Conference on Networking, Sensing and Control, pages 191-196, Miami, FL, April 2014.
  3.  H. Sahota and R. Kumar,"Network based Sensor Localization in Multi-Media Application of Precision Agriculture-Part 2: Received Signal Strength", 2014 IEEE International Conference on Networking, Sensing and Control, pages 203-208, Miami, FL, April 2014. 
  4. L. Ouedraogo and R. Kumar, "Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages", IEEE Transactions on Automation Science and Engineering, pages 537-548, volume 11, number 2, April 2014.
  5. H. Sahota, R. Kumar and A. Kamal, "A Wireless Sensor Network for Precision Agriculture and its Performance", Wireless Communications and Mobile Computing, pages 1628-1645, volume 11, number 12, 2011.
  6.  S. Xu, R. Kumar, and A. Pinto, "Correct-by-Construction and Optimal Synthesis of Becon Enabled ZigBee Network", IEEE Transactions on Automation Science and Engineering, pages 137-144, volume 10, number 1, 2013.
  7.  H. Sahota, R. Kumar and A. Kamal, "Performance Modeling and Simulation Studies of MAC Protocols in Sensor Network Performance", 2011 International Wireless Communications and Mobile Computing Conference, pages 1871-1876, Istanbul, July 2011.
  8.  S. Bhattacharyya, R. Kumar and Z. Huang, "A Discrete Event Systems Approach to Network Fault Management: Detection and Diagnosis of Faults", Asian Journal of Control, pages 1-14, volume 13, number 4, 2011.
  9.  H. Sahota, R. Kumar, and A. Kamal. "An Energy Efficient Wireless Sensor Network for Precision Agriculture", 2010 IEEE Symposium on Computers and Communications, pages 347-350, Riccione, Italy, 2010.
  10. S. Jiang and R. Kumar, "Prevention of Sequential Message Loss in CAN Systems", 2009 IEEE International Computer Software and Applications Conference, pages 479-484, Seattle, July 2009.
  11. R. Kumar, S. Nelvagal, and S. I. Marcus, "A Discrete Event Systems Approach for Protocol Conversion", Journal of Discrete Event Dynamical Systems: Theory and Applications, pages 295-315, volume 7, number 3, June 1997.

Security/Resiliency     Return to Top

  1. M. Ibrahim, J. Chen and R. Kumar, "A Resiliency Measure for Electrical Power Systems", 13th International Workshop on Discrete Event Systems, Xian, China, May 2016.
  2. M. Ibrahim, J. Chen and R. Kumar, "Quantification of Distributed Secrecy Loss in Stochastic Discrete Event Systems under Bounded-Delay Communications", 13th International Workshop on Discrete Event Systems, Xian, China, May 2016.
  3. J. Chen. M. Ibrahim, and R. Kumar, "Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems", IEEE Transactions on Automation Science and Engineering, pages 185-195, volume 14 (1), Jan. 2017.
  4. M. Ibrahim, J. Chen, and R. Kumar,"Secrecy in Stochastic Discrete Event Systems", 2014 IEEE International Conference on Networking, Sensing and Control, pages 48-53, Miami, FL, April 2014.
  5. S.Takai and R. Kumar,"Verification and Synthesis for Secrecy in Discrete Event Systems", 2009 American Control Conference, pages 4741-4746, St. Louis, MO, June 2009.

Markov Chains     Return to Top

  1. J. Chen. M. Ibrahim, and R. Kumar, "Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems", IEEE Transactions on Automation Science and Engineering, accepted (Sept. 2015).
  2. J. Chen and R. Kumar, "Failure Detection Framework for Stochastic Discrete Event Systems with Guaranteed Error Bounds", IEEE Transactions on Automatic Control, accepted, Aug. 2014.
  3. J. Chen and R. Kumar, "Stochastic Failure Prognosability of Discrete Event Systems", IEEE Transactions on Automatic Control, accepted, Jan 2015.
  4. J. Chen and R. Kumar, "Decentralized Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Transactions on Automation Science and Enginering, Accepted (Sept. 2013).
  5. M. Ibrahim, J. Chen, and R. Kumar, "Secrecy in Stochastic Discrete Event Systems", 2014 IEEE International Conference on Networking, Sensing and Control , pages 48-53, Miami, FL, April 2014.
  6. J.Chen and R. Kumar, "Decentralized Failure Diagnosis of Stochastic Discrete Event Systems ",IEEE Conference on Automation Science and Engineering, pages 535-546, Madison, WI, 2013. (Invited Paper.)
  7. J. Chen and R. Kumar, "Online Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Multi-Conference on Systems and Control,pages 194-199, Hyderabad, India, 2013. (Invited Paper.) 
  8. J. Chen and R. Kumar, "Polynomial Test for Stochastic Diagnosability for Event Driven Systems", IEEE Transactions on Automation Science and Engineering, pages 969-979, volume 10, number 4, Oct. 2013.
  9. S.-P.Hsu, A. Arapostathis, and R. Kumar, "On Controlled Markov Chains with Optimality Requirement and Safety Constraint", International Journal on Innovative Computing, Information and Control, pages 2497-2511, volume 6, number 6, 2010.
  10. A.Arapostathis, R. Kumar, and S.-P. Hsu, "Control of Markov Chains with Safety Bounds", IEEE Transactions on Automation Science and Engineering, pages 333-343, volume 2, number 4, 2005.
  11. W. Wu, A. Arapostathis, and R. Kumar, "On Non-Stationary Policies and Maximal Invariant Safe Sets of Controlled Markov Chains", 2004 IEEE Conference on Decision and Control, pages 3696-3701, Bahamas, December 2004.
  12. A. Arapostathis, R. Kumar, and S. Tangirala ,"Controlled Markov Chains with Safety Upper Bounds", IEEE Transactions on Automatic Control, pages 1230-1234, volume 48, number 7, 2003.
  13. R. Kumar and V. K. Garg, "Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages", IEEE Transactions on Automatic Control, pages 593-606, volume 46, number 4, April 2001.
  14. V. K. Garg, R. Kumar, and S. I. Marcus, "Probabilistic Language Framework for Stochastic Discrete Event Systems", IEEE Transactions on Automatic Control, pages 280-293, volume 44, number 2, 1999.

Sensors for Agriculture and Environment     Return to Top

  1. M. A. Ali, S. Tabassum, Q.Wang, Y.Wang, R. Kumar and L. Dong, "Plasmonic-Electrochemical Dual Modality Microfluidic Sensor for Cancer Biomarker Detection", 2017 IEEE MEMS Conference, Las Vegas, Jan. 2017.
  2. M. A. Ali, H. Jiang, N. K. Mahal, R. J. Weber, R. Kumar, M. Castellano, "Microfluidic Impedimetric Sensor for Soil Nitrate Detection Using Graphene Oxide and Conductive Nanofibers Enabled Sensing Interface", Sensors & Actuators: B. Chemical, pages 1289-1299, volume 239, Feb. 2017.
  3. Z. Xu, X. Wang, R. J. Weber, R. Kumar, and L. Dong, "Microfluidic Eletrophoretic Ion Nutrient Sensor", 2016 IEEE Sensors Conference, Orlando, FL, Oct. 2016.
  4. S. Tabassum, Y. Wang, J. Qu, Q. Wang, S. Oren, R. J. Weber, M. Lu, R. Kumar, and L. Dong, "Patterning of nanophotonic structures at optical fiber tip for refractive index sensing", 2016 IEEE Sensors Conference, Orlando, FL, Oct. 2016.
  5. S. Tabassum, Q. Wang, W. Wang, S. Oren, M. A. Ali, R. Kumar, and L. Dong, "Plasmonic Crystal Gas Sensor Incorporating Graphene Oxide for Detection of Volatile Organic Compounds", IEEE International Conference on Micro Electro Mechanical Systems (MEMS), Shanghai, China, Jan. 2016.
  6. H. Sahota and R. Kumar, "Maximum likelihood based sensor node localization using received signal strength measurements in multiple physical media", IEEE Systems Journal, accepted, July 2015. 
  7. G. Pandey, K.Wang, R. Kumar and R. E. Weber, "Employing a metamaterial inspired small antenna for sensing and transceiving data in an underground soil sensor equipped with a GUI for end-user", 2014 IEEE International Conference on Systems, Man and Cybernetics, pages 3423-3428, San Diego, CA.
  8. E. Ng, B. Britz, Z. Xu, R. Kumar and L. Dong, "Smart Nitrate-Selective Electrochemical Sensor", 2014 IEEE International Conference on Systems, Man and Cybernetics, pages 3419-3422, San Diego, CA.
  9. H. Sahota and R. Kumar,"Network based Sensor Localization in Multi-Media Application of Precision Agriculture-Part 1: Received Signal Strength", 2014 IEEE International Conference on Networking, Sensing and Control, pages 191-196, Miami, FL, April 2014.
  10.  H. Sahota and R. Kumar,"Network based Sensor Localization in Multi-Media Application of Precision Agriculture-Part 2: Received Signal Strength", 2014 IEEE International Conference on Networking, Sensing and Control, pages 203-208, Miami, FL, April 2014.
  11.  G. Pandey, R. Kumar and R. J. Weber,"A low profile, low-RF band, small antenna for underground, in-situ sensing and wireless energy-efficient transmission", 2014 IEEE International Conference on Networking, Sensing and Control, pages 179-184, Miami, FL, April 2014.
  12. G. Pandey, R. Kumar and R. J. Weber,"Design and implementation of a self-calibrating, compact micro strip sensor for in-situ dielectric pectroscopy and data transmission", 2013 IEEE Sensors Conference, pages 1-4, Baltimore, MD, Nov. 2013.
  13. G. Pandey, R. Kumar and R. J. Weber,"Real time detection of soil moisture and nitrates using on-board in-situ impedance spectroscopy", 2013 IEEE International Conference on Systems, Man and Cybernetics, pages 1081-1086, Manchester, United Kingdom, 2013.
  14. G. Pandey, R. Kumar and R. J. Weber,"A low RF-band Impedance spectroscopy based sensor for in-situ, wireless soil sensing", IEEE Sensors Journal, pages 1997-2005, volume 14, number 6, June 2014.
  15.  G.Pandey, R. Kumar and R. J. Weber, "A Multi-Frequency, Self-Calibratng, In-Situ Soil Sensor with Energy Efficient Wireless Interface", SPIE Defense, Security, and Sensing Conference, pages 1-4, Baltimore MD, 2013.
  16. G. Pandey, R.Kumar and R. J. Weber, "Determination of Soil Ionic Concentration using Impedance Spectroscopy", SPIE Defense, Security, and Sensing Conference, Baltimore, MD, 2013, DOI: 10.1117/12.2021969.
  17. H. Sahota, R.Kumar and A. Kamal, "A Wireless Sensor Network for Precision Agriculture and its Performance", Wireless Communications and Mobile Computing, pages 1628-1645, volume 11, number 12, 2011.
  18. H. Sahota, R. Kumar and A. Kamal, "Performance Modeling and Simulation Studies of MAC Protocols in Sensor Network Performance ", 2011 International Wireless Communications and Mobile Computing Conference, pages 1871-1876, Istanbul, July 2011.
  19. H. Sahota, R. Kumar, and A. Kamal. "An Energy Efficient Wireless Sensor Network for Precision Agriculture", 2010 IEEE Symposium on Computers and Communications, pages 347-350, Riccione, Italy, 2010.
  20. J. Huang, R. Kumar, A. Kamal, and R. Weber, "Development A Wireless Soil Sensor Network", 2008 American Society of Agriculture and Biosystems Engineering, Providence, RI, June 2008.

Power Systems and Enegry Harvesting     Return to Top 

  1. M. Ibrahim, J. Chen and R. Kumar, "A Resiliency Measure for Electrical Power Systems", 13th International Workshop on Discrete Event Systems, Xian, China, May 2016.
  2. K. Singh, R. Kumar and R. J. Weber, "A Broadband Bistable Piezoelectric Energy Harvester with Nonlinear High-Power Extraction", IEEE Transactions on Power Electronics, accepted, Jan 2015.
  3. K. Singh, R. Kumar, and R. J. Weber,"Piezoelectric-based Broadband Bistable Vibration Energy Harvester and SCE/SSHI-based High-Power Extraction", 2014 IEEE International Conference on Networking, Sensing and Control, pages 197-202, Miami, FL, April 2014.
  4. L. Jin, R. Kumar, and N. Elia, "Reachability analysis based transient stability design in power system", International Journal of Electrical Power and Energy Systems, pages 782-787, volume 32, 2010.
  5. L. Jin, R. Kumar, and N. Elia, "Model Predictive Control based Power System Protection Schemes", IEEE Transactions on Power Systems, pages 988-998, volume 25, number 2, 2010.
  6. H. Liu, L. Jin, J. McCalley, R. Kumar, V. Ajjarapu, and N. Elia, "Planning Reconfigurable Reactive Control for Voltage Stability Limited Power Systems", IEEE Transactions on Power Systems, pages 1029-1038, volume 24, number 2, 2009.
  7. L. Jin and R. Kumar, "Security Constrained Coordinated Dynamic Voltage Stabilization based on Model Predictive Control", 2009 IEEE Power and Energy Society General Meeting, pages 1-8, Alberta, Canada, July 2009.
  8. L. Jin and R. Kumar, "Coordinated Dynamic Voltage Stabilization based on Model Predictive Control", 2009 IEEE Power Systems Conference and Exposition, Seattle, WA, March 2009.
  9. Z. Luo, R. Kumar, J. Sottile, and J. Yingling, "An MILP Formulation for Loadside Demand Control" , Electric Machines and Power Systems, pages 935-949, volume 26, number 9, Nov. 1998.

Data Analytics     Return to Top

  1. G. Wu, V. Swaminathan, and R. Kumar, "Matrix Completion under Gaussian Models using MAP and EM Algorithms", Journal of Communications, accepted, Sept. 2016.
  2. G. Wu, V. Swaminathan, S. Mitra and R. Kumar, "Online Video Session Progress Prediction using Low-Rank Matrix Completion", 2014 IEEE International Conference on Multimedia and Expo, pages 1-6, Chengdu, China, July 2014. 
  3. J. Chen and R. Kumar, "Pattern Mining for Predicting Critical Events from Sequential Event Data Log", 2014 IFAC/IEEE International Workshop on Discrete Event Systems, pages 1-6, Paris, France, 2014.

Autonomous/Intelligent Systems     Return to Top

  1. S. Bhattacharyya, R. Kumar, S. Tangirala, and L. E. Holloway, "Automated Coordinator Synthesis for Mission Control of Autonomous Underwater Vehicles", MTS/IEEE Oceans 2007, pages 1-10, Vancouver, Canada, Oct. 2007.
  2. M. O'Connor, S. Tangirala, R. Kumar, S. Bhattacharyya, M. Sznaier, and L. E. Holloway, "A Bottom-up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with application to Underwater Vehicles", 2006 American Control Conference, pages 4267-4272, Mineapolis, June 2006.
  3. S. Bhattacharyya, R. Kumar, S. Tangirala, M. O'Connor, and L. E. Holloway, "Animation/Simulation of Missions for Autonomous Underwater Vehicles with Hybrid-Model based Hierarchical Mission Control Architecture", 2006 American Control Conference, pages 4273-4278, Minneapolis, June 2006.
  4. S. Tangirala, R. Kumar, S. Bhattacharyya, M. O'Connor, and L. E. Holloway, "Hybrid-Model based Hierarchical Mission Control Architecture for Autonomous Underwater Vehicles", 2005 American Control Conference, pages 678-673, Portland, OR, June 2005.
  5. R. Kumar and J. A. Stover, "A Behavior-Based Intelligent Control Architecture with Application to Coordination of Underwater Vehicles", IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, pages 767-784, volume 30, number 6, Nov. 2000.  

PCB Placement/Coal Segregation     Return to Top 

  1. R. Kumar and Z. Luo, "Optimizing the Operation Sequence of a Chip Placement Machine using TSP Model", IEEE Transactions on Electronics Packaging Manufacturing, pages 14-21, volume 26, number 1, 2003.
  2. R. Ganguli, J. C. Yingling, J. Sottile and R. Kumar "Optimal control of coal segregation using on-line analyzers", Mining Engineering, pages 41-47, volume 51, number 4, 1999.
  3. R. Kumar and Haomin Li, "Integer Programming Approach to Printed Circuit Board Assembly Time Optimization" , IEEE Transactions on Components, Packaging and Manufacturing Technology, pages 720-727, volume 18, number 4, November 1995.

Modeling/Realization/Implementation      Return to Top

  1. C. Zhou and R. Kumar, "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata" , Journal of Discrete Event Dynamical Systems, pages 223-247, volume 22, number 2, 2012.
  2. S. Xu and R. Kumar, S. Jiang and S. Ramesh, "A Simulation Condition for Correct Desynchronization ", 2008 American Control Conference, pages 1728-1733, Seattle, WA, June 2008.
  3. S. Xu and R. Kumar, "Asynchronous Implementation of Synchronous Discrete Event Control", 2008 Workshop on Discrete Event Systems, pages 181-186, Goteborg, Sweden, May 2008.
  4. G. Stamp, Y. Ong, R. Kumar, and C. Zhou "DECADA: Tool for Discrete-Event Control and Diagnosis Analysis", 2006 International Workshop on Discrete Event Systems, pages 396-397, Ann Arbor, MI, July 2006. (Invited paper)
  5. Z. Huang, V. Chandra, S.Jiang, and R. Kumar, "Modeling Discrete Event Sysetems with Faults using a Rules Based Modeling Formalism" , Mathematical and Computer Modeling of Dynamical Systems, pages 233-254, volume 9, number 3, 2003.
  6. V. Chandra and R. Kumar, "A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems" , Mathematical and Computer Modeling of Dynamical Systems , pages 49-73, volume 8, number 1, 2002.
  7. V. Chandra and R. Kumar, "A Discrete Event Systems Modeling Formalism based on Event Occurrence Rules and Precedences ", IEEE Transactions on Robotics and Automation ,pages 785-794, volume 16, number 6, December 2001.
  8. V. K. Garg, R. Kumar, and S. I. Marcus, "Probabilistic Language Framework for Stochastic Discrete Event Systems", IEEE Transactions on Automatic Control , pages 280-293, volume 44,number 2, 1999.
  9. R. Kumar, V. K. Garg, and S. I. Marcus, "Corrections to Finite Buffer Realization of Input-Output Discrete Event Systems", IEEE Transactions on Automatic Control, pages 625-627,volume 41, number 4, April 1996.
  10. R. Kumar, V. K. Garg, and S. I. Marcus, "Finite Buffer Realization of Input-Output Discrete Event Systems", IEEE Transactions on Automatic Control ,pages 1042-1053, volume 40, number 6, June 1995.

Interaction Modeling/Control     Return to Top

  1. C. Zhou and R. Kumar, "Prioritized Synchronization under Mask for Interaction/Control of Partially Observed Discrete Event Systems", J IEEE Transactions on Automation Science and Engineering, pages 101-112, volume 5, number 1, 2008.
  2. V. Chandra, Z. Huang, W. Qiu, and R. Kumar, "Prioritized Composition with Exclusion and Generation for the Interaction and Control of Discrete Event Systems" , Mathematical and Computer Modeling of Dynamical Systems, pages 255-280, volume 9, number 3, 2003.
  3. S. Jiang and R. Kumar, "Supervisory Control of Nondeterministic Discrete Event Systems with Driven Events via Masked Prioritized Synchronization", IEEE Transactions on Automatic Control, pages 1438-1449, volume 47, number 9, 2002.
  4. R. Kumar and M. Heymann, "Masked Prioritized Synchronization for Interaction and Control of Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1970-1982, volume 45, number 11, Nov. 2000.
  5. M. A. Shayman and R. Kumar, "Process Objects and Masked Composition: An Object Oriented Approach for Modeling and Control of Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1864-1869, volume 44, number 10, October 1999.
  6. R. Kumar and M. A. Shayman, "Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation", SIAM Journal of Control and Optimization, pages 363-383, volume 35, number 2, March 1997.
  7. R. Kumar and M. A. Shayman, "Non-blocking Supervisory Control of Nondeterministic Systems via Prioritized Synchronization", IEEE Transactions on Automatic Control , pages 1160-1175, volume 41, number 8, August 1996.
  8. M. A. Shayman and R. Kumar, "Supervisory Control of Nondeterministic Systems using Prioritized Synchronous Composition and Trajectory Models", SIAM Journal of Control and Optimization, pages 469-497, volume 33, number 2, March 1995. 

Sensing/Estimation     Return to Top    

  1. S. Xu and R. Kumar, "Distributed State Estimation in Discrete Event Systems", 2009 American Control Conference, pages 4735-4740, St. Louis, MO, June 2009.
  2. W. Qiu and R. Kumar, "A Protocol for Distributed State-Estimation in Discrete Event Systems", 2007 Workshop Dependable Control of Discrete Systems, Paris, France, June 2007. (Invited Paper)
  3. S. Jiang, R. Kumar, and H. E. Garcia, "Optimal Sensor Selection for Discrete Event Systems with Partial Observation", IEEE Transactions on Automatic Control, pages 369-381, volume 48, number 3, March 2003.  

Language/Safety Control     Return to Top

  1. L. Ouedraogo, R. Kumar, R. Malik and K. Akesson, "Nonblocking and Safe Control of Systems modeled as Extended Finite Automata" , IEEE Transactions on on Automation Science and Engineering, pages 560-569, volume 8, number 3, 2011.
  2. S. Xu and R. Kumar, "Real-Time Supervisory Control of Discrete Event Systems using Digital- Clocks", IEEE Transactions on Automatic Control", pages 2003-2013, volume 55, number 9, 2010.
  3. S. Takai and R. Kumar, "Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1881-1887, volume 55, number 8, 2010.
  4. S. Jiang, R. Kumar, S. Takai, and W. Qiu, "Decentralized Control of Discrete Event Systems with Multiple Local Specifications", IEEE Transactions on Automation Science and Engineering, pages 512-522, volume 7, number 3, 2010.
  5. S. Xu and R. Kumar, "Discrete Event Control under Nondeterministic Partial Observation", 2009 IEEE Conference on Automation Science and Engineering, pages 127-132, Bangalore, India, 2009.
  6. W. Qiu, R. Kumar, and V. Chandra, "Decentralized Control of Discrete Event Systems Using Prioritized Composition with Exclusion", IEEE Transactions on Automatic Control, pages 2425- 2430, volume 53, number 10, 2008.
  7. S. Takai and R. Kumar, "Synthesis of Inference-based Decentralized Control for Discrete Event Systems " , IEEE Transactions on Automatic Control, pages 522-534, volume 53, number 2, 2008.
  8. C. Zhou and R. Kumar, "Prioritized Synchronization under Mask for Interaction/Control of Partially Observed Discrete Event Systems", IEEE Transactions on Automation Science and Engineering, pages 101-112, volume 5, number 1, 2008.
  9. R. Kumar and S. Takai, " Inference-based Ambiguity Management in Decentralized Decision- Making: Decentralized Control of Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1783-1794, volume 52, number 10, 2007.
  10. C. Zhou, R. Kumar, and R. S. Sreenivas, "Decentralized Modular Control of Concurrent Discrete Event Systems", IEEE Conference on Decision and Control, pages 5918-5923, New Orleans, LA, Dec. 2007.
  11. S. Takai, R. Kumar, and T. Ushio, "Characterization of Co-observable Languages and Formulae for their Super/Sub-Languages", IEEE Transactions on Automatic Control, pages 434-447, 50(4), 2005.
  12. R. Kumar, S. Takai, M. Fabian, and T. Ushio, "Mutually & Globally Nonblocking Supervision with Application to Switching Control ", Automatica, pages 1299-1312, volume 41, 2005.
  13. R. Kumar and V. K. Garg, "On Computation of State Avoidance Control for Infinite State Systems in Assignment Program Model", IEEE Transactions on Automation Science and Engineering, pages 87-91, Volume 2, number 2, 2005.
  14. V. Chandra, Z. Huang, and R. Kumar, "Automated Control Synthesis for an Assembly Line using Discrete Event System Control Theory", IEEE Transactions on Systems, Man, and Cybernetics, Part C, pages 284-289, volume 33, number 2, 2003.
  15. S. Jiang and R. Kumar, "Supervisory Control of Nondeterministic Discrete Event Systems with Driven Events via Masked Prioritized Synchronization", IEEE Transactions on Automatic Control, pages 1438-1449, volume 47, number 9, 2002.
  16. R. Kumar and M. Heymann, "Masked Prioritized Synchronization for Interaction and Control of Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1970-1982, volume 45, number 11, Nov. 2000.
  17. S. Jiang and R. Kumar, "Decentralized Control of Discrete Event Systems with Specializations to Local Control and Concurrent Systems", IEEE Transactions on Systems, Man, and Cybernetics, Part B , pages 653-660, volume 30, number 5, Oct. 2000.
  18. M. Fabian and R. Kumar, "Mutually Nonblocking Supervisory Control of Discrete Event Systems ", Automatica, pages 1863-1869, volume 36, 2000.
  19. R. Kumar, H. M. Cheung and S. I. Marcus, "Extension based Limited Lookahead Supervision of Discrete Event Systems ", Automatica, pages 1327-1344, volume 34, number 11, 1998.
  20. R. Kumar and M. A. Shayman, "Formulae relating Controllability, Observability and Co- Observability", Automatica, pages 211-215, volume 34, number 2, March 1998.
  21. R. Kumar and M. A. Shayman, "Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation", SIAM Journal of Control and Optimization, pages 363-383, volume 35, number 2, March 1997.
  22. R. Kumar, S. Nelvagal, and S. I. Marcus, "A Discrete Event Systems Approach for Protocol Conversion", Journal of Discrete Event Dynamical Systems: Theory and Applications, pages 295-315, volume 7, number 3, June 1997.
  23. R. Kumar and M. A. Shayman, "Non-blocking Supervisory Control of Nondeterministic Systems via Prioritized Synchronization", IEEE Transactions on Automatic Control, pages 1160-1175, volume 41, number 8, August 1996.
  24. R. Kumar and L. E. Holloway, "Supervisory Control of Petri Nets with Regular Specification Languages", IEEE Transactions on Automatic Control, pages 245-249, volume 41, number 2, February 1996.
  25. R. Kumar and V. K. Garg, "External Solutions of Inequations over Lattices with Applications to Supervisory Control ", Theoretical Computer Science, pages 67-92, volume 148, November 1995.
  26. R. Kumar and V. K. Garg, "Optimal Supervisory Control of Discrete Event Dynamical Systems"., SIAM Journal of Control and Optimization, pages 419-439, volume 33, number 2, March 1995.
  27. M. A. Shayman and R. Kumar, "Supervisory Control of Nondeterministic Systems with Driven Events using Prioritized Synchronization and Trajectory Models", SIAM Journal of Control and Optimization, pages 469-497, volume 33, number 2, March 1995.
  28. R. Kumar, V. K. Garg, and S. I. Marcus, "Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems", IEEE Transactions on Automatic Control, pages 232-247, volume 38, number 2, February 1993.
  29. R. Kumar, V. K. Garg, and S. I. Marcus, "On Controllability and Normality of DEDS", Systems and Control Letters, pages 157-168, volume 17, 1991.
  30. R. D. Brandt, V. K. Garg, R. Kumar, F. Lin, S. I. Marcus and and W. M. Wonham, " Formulas for Calculating Supremal Controllable and Normal Sublanguages ", Systems and Control Letters, pages 111-117, volume 15, August 1990. 

Temporal-Logic/(Bi)similarity Control     Return to Top

  1. J. Chen and R. Kumar, "Fault Detection of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements", IEEE Transactions on Automation Science and Engineering, accepted, June 2015.
  2. R.Kumar, S. Jiang and C. Zhou, " Comment on Bisimilarity control of partially observed nondeterministic Discrete Event Systems and a test Algorithm",  Automatica, pages 298-299, volume 50, number 1, Jan. 2014.
  3. C. Zhou and R. Kumar, "Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata with variables", IEEE Transations on Automation Science and Engineering, pages 160-170, volume 10, number 1, 2013.
  4. C. Zhou and R. Kumar, "BisimilarityEnforcement for Discrete Event Systems using Deterministic Control ", IEEE Transactions on Automatic Control, pages 2986-2992, volume 58, number 12, 2011 .
  5. S. Xu and R. Kumar, S. Jiang and S. Ramesh, "A Simulation Condition for Correct Desynchronization.", 2008 American Control Conference, pages 1728-1733, Seattle, WA, June 2008.
  6. C. Zhou and R. Kumar, "Bisimilarity Control of Partially Observed Deterministic Discrete Event Systems ", IEEE Transactions on Automatic Control, pages 1642-1653, volume 52, number 9, Sept. 2007.
  7. C. Zhou and R. Kumar, "Control of Nondeterministic Discrete Event Systems for Simulation Equivalence ", IEEE Transactions on Automation Science and Engineering, pages 340-349, volume 4, number 3, July 2007.
  8. C. Zhou and R. Kumar, "A Small Model Theorem for Bisimilarity Control Under Partial Observation ", IEEE Transactions on Automated Science and Engineering, pages 93-97, volume 4, number 1, 2007.
  9. S. Basu and R. Kumar, "Quotient-based Control Synthesis for Partially Observed Non-Deterministic Plants with Mu-Calculus Specification ", IEEE Conference on Decision and Control, pages 5294 - 5299, New Orleans, LA, Dec. 2007.
  10. S. Basu and R. Kumar, "Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications", IEEE Conference on Decision and Control, pages 6041-6046, San Diego, CA, December 2006.
  11. C.Zhou, R. Kumar, and S. Jiang, " Control of Nondeterministic Discrete Event Systems for Bisimulation Equivalence", IEEE Transactions on Automatic Control, pages 754-765, volume 51, number 5, 2006.
  12. S. Jiang and R. Kumar, "Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications", SIAM Journal on Control and Optimization, pages 2079-2103, volume 44, number 6, 2006.  

Nondeterministic Control/Observation     Return to Top

  1. R. Kumar, S. Jiang, C. Zhou, and W. Qiu, "Polynomial synthesis of supervisor for partially observed discrete event systems by allowing nondeterminism in control", IEEE Transactions on Automatic Control, pages 463-475, volume 50, number 4, 2005.  
  2. S. Xu and R. Kumar, "Discrete Event Control under Nondeterministic Partial Observation", 2009 IEEE Conference on Automation Science and Engineering, pages 127-132, Bangalore, India, 2009.

 Directed Control     Return to Top

  1. J. Huang, and R. Kumar, " Optimal Nonblocking Directed Control of Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1592-1603, volume 53, number 7, 2008.
  2. J. Huang, and R. Kumar, "Directed Control of Discrete Event Systems for Safety and Nonblocking", IEEE Transactions on Automation Science and Engineering, pages 620-629, volume 5, number 4, 2008.
  3. J. Huang, and R. Kumar, "An Optimal Directed Control Framework for Discrete Event Systems", IEEE Transactions on Systems, Man, and Cybernatics, Part A, pages 780-791, volume 37, number 5, Sept. 2007.

Stability/Resiliency     Return to Top

  1. M. Ibrahim, J. Chen and R. Kumar, "A Resiliency Measure for Electrical Power Systems", 13th International Workshop on Discrete Event Systems, Xian, China, May 2016.
  2. R. Kumar, V. K. Garg, and S. I. Marcus, "Language Stability and Language Stabilizability of Discrete Event Systems", SIAM Journal of Control and Optimization, pages 1294-1320, volume 31, number 5, September 1993.

Diagnosis     Return to Top

  1. S. Takai and R. Kumar, "A Generalized Inference-Based Diagnosis Framework for Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making", IEEE Transactions on Automatic Control, Nov. 2016.
  2. J. Chen and R. Kumar, "Failure Detection Framework for Stochastic Discrete Event Systems with Guaranteed Error Bounds", IEEE Transactions on Automatic Control, accepted, Aug. 2014.
  3. J. Chen and R. Kumar, "Fault Detection of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements", IEEE Transactions on Automation Science and Engineering, accepted, June 2015.
  4. J.Chen, C. Keroglou, C. N. Hadjicostis and R. Kumar, ''Revised Test for Stochastic Diagnosability of Discrete-Event Systems", IEEE Transactions on Automation Science and Engineering, May 2016.
  5. S. Takai and R. Kumar, "A Generalized Inference-Based Diagnosis Framework for Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making", 2015 IEEE Conference on Decision and Control, Dec. 2015, Osaka, Japan.
  6. S. Takai and R. Kumar, "Verification of Generalized Inference Diagnosability for Decentralized Diagnosis of Discrete Event Systems", 20th IEEE International Conference on Emerging Technologies and Factory Automation, Sept. 2015, Luxembourg.
  7. J. Chen and R. Kumar, "Decentralized Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Transactions on Automation Science and Enginering, Accepted (Sept. 2013).
  8. R. Kumar and S. Takai, "Comment on `Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems' vs. `Decentralized Failure Diagnosis of Discrete Event Systems': Complexity Clarification", IEEE Transactions on Automatic Control, pages 1391-1392, volume 59, number 5, May 2014.
  9. J. Chen and R. Kumar, "Failure Diagnosis of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements", 2014 IEEE International Conference on Networking, Sensing and Control, pages 42-47, Miami, FL, April 2014.
  10. J.Chen and R. Kumar, Decentralized Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Conference on Automation Science and Engineering, pages 535-546, Madison, WI, 2013. (Invited Paper.)
  11. R. Kumar and S. Takai, "Comment on `Polynomial Time Verication of Decentralized Diagnosability of Discrete Event Systems' vs. `Decentralized Failure Diagnosis of Discrete Event Systems': Complexity Clarification ", IEEE Transactions on Automatic Control, pages 1391-1392, volume 59, number 5, May 2014.
  12. J.Chen and R. Kumar,"Online Failure Diagnosis of Stochastic Discrete Event Systems ", IEEE Multi-Conference on Systems and Control, pages 194-199, Hyderabad, India, 2013. (Invited Paper.)
  13. J.Chen and R. Kumar, "Polynomial Test for Stochastic Diagnosability for Event Driven Systems", IEEE Transactions on Automation Science and Engineering, pages 969-979, volume 10, number 4, Oct. 2013.
  14. C. Zhou, R. Kumar, and S. Jiang, "A Formal Analysis Approach of Runtime Data-Log for Embedded Software-Fault Localization " 2011 American Control Conference, pages 5127-5132, San Francisco, June 2011.
  15. S.Bhattacharyya, R. Kumar and Z. Huang, "A Discrete Event Systems Approach to Network Fault Management: Detection and Diagnosis of Faults ", Asian Journal of Control, pages 1-14, volume 13, number 4, 2011.
  16. S. Xu, S. Jiang, and R. Kumar, "Diagnosis of Dense-time Systems Using Digital Clocks ", IEEE Transactions on Automation Science and Engineering, pages 870-878, volume 7, number 4, 2010.
  17. S. Takai and R. Kumar, "Decentralized Diagnosis for Non failures of Discrete Event Systems Using Inference-based Ambiguity Management", IEEE Transactions on Systems, Man, and Cybernetics-Part A, pages 406-412, volume 40, number 2, 2010.
  18. R. Kumar and S. Takai, "Inference-based Ambiguity Management in Decentralized Decision- Making: Decentralized Diagnosis of Discrete Event Systems", IEEE Transactions on Automation Science and Engineering, pages 479-491, volume 6, number 3, July 2009.
  19. C. Zhou and R. Kumar, "Computation of Diagnosable Fault-Occurrence Indices for Systems with Repeatable-Faults", IEEE Transactions on Automatic Control, pages 1477-1489, volume 54,number 7, July 2009.
  20. W. Qiu, Q. Wen, and R. Kumar, "Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failure", IEEE Transactions on Automation Science and Engineering, page 362-366, volume 6, number 2, 2009.
  21. W.Qiu and R. Kumar, "Distributed Diagnosis Under Bounded-Delay Communication of Immediately Forwarded Local Observations", IEEE Transactions on System, Man, and Cybernetics, Part A, pages 628-643, volume 38, number 3, 2008.
  22. C.Zhou, R. Kumar, and S. Jiang,"Keynote: Hierarchical Fault Detection in Embedded Control Software" 2008 International Workshop on Software Cybernetics , pages 816-823, Turku, Finland, July 2008. (Invited paper for keynote speech).
  23. C. Zhou, R. Kumar, and R. Sreenivas,"Decentralized Modular Diagnosis of Concurrent Discrete Event Systems"2008 Workshop on Discrete Event Systems pages 388-393, Goteborg, Sweden, May 2008.
  24. W.Qiu, R. Kumar, and S. Jiang, "Decidability of Distributed Diagnosis under Unbounded-Delay Communication", IEEE Transactions on Automatic Control, pages 114-117, volume 52, number 1, 2007.
  25. Shigemasa Takai and Ratnesh Kumar,"Inference-Diagnosability: Nonconvergence and Other Complexity Results"Proceedings of SICE Annual Conference 2007, pages 533-539, Takamatsu, Japan, Sept. 2007.
  26. J. Ashley, L. E. Holloway and R. Kumar,"Qualitative Diagnosis of Condition Systems for Multiple Subsystem Failures", American Control Conference, pages 5657-5663, New York City, NY, July 2007.
  27. S. Jiang and R. Kumar, "Diagnosis of Repeated Failures for Discrete Event Systems with Linear- Time Temporal Logic Specifications", IEEE Transactions on Automation Science and Engineering, pages 47-59, 3(1), 2006.
  28. W.Qiu and R. Kumar, "Decentralized failure diagnosis of discrete event systems", IEEE Transactions on Systems, Man & Cybernetics - Part A, pages 384-395, volume 36, number 2, 2006.
  29. W. Qiu and R. Kumar,"A New Protocol for Distributed Diagnosis"2006 American Control Conference, pages 6063-6068, Minneapolis, June 2006.
  30. S.Jiang and R. Kumar, "Failure Diagnosis of Discrete Event Systems with Linear-time Temporal Logic Fault Specifications", IEEE Transactions on Automatic Control, pages 934-945, volume 49, number 6, 2004.
  31. Z.Huang, S. Bhattacharyya, V. Chandra, S. Jiang, and R. Kumar,"Diagnosis of Discrete Event Systems in Rules-based Model using First-order Linear Temporal Logic", Proceedings of 2004 American Control Conference, pages 5114-5119, Boston, MA, June 2004.
  32. S. Jiang, R. Kumar, and H. E. Garcia, "Diagnosis of Repeated/Intermittent Failures in Discrete Event Systems", IEEE Transactions on Robotics and Automation, pages 310-323, volume 19, number 2, April 2003.
  33. S. Jiang, Z. Huang, V. Chandra, and R. Kumar, "A Polynomial Algorithm for Testing Diagnosability of Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1318-1321, volume 46, no. 8, 2001.

Prognosis     Return to Top

  1. J. Chen and R. Kumar, "Stochastic Failure Prognosability of Discrete Event Systems", IEEE Transactions on Automatic Control, accepted, Jan 2015.
  2. J. Chen and R. Kumar, "Failure Prognosability of Stochastic Discrete Event Systems", Proceedings of 2014 American Control Conference, pages 2041-2046, Portland, OR, June 2014.
  3. S. Takai and R. Kumar,"Distributed Prognosis of Discrete Event Systems under Bounded-Delay Communications", IEEE Transactions on Automatic Control,pages 1259-1265, volume 57, number 5, 2012.
  4. S. Takai and R. Kumar, "Inference-based Decentralized Prognosis in Discrete Event Systems", IEEE Transactions on Automatic Control, pages 165-171, volume 56, number 1, 2011.
  5. R. Kumar and S. Takai, "Decentralized Prognosis of Failures in Discrete Event Systems", IEEE Transactions on Automatic Control, pages 48-59, volume 55, no. 1, 2010.

Fault-Tolerance/Reconfiguring Control     Return to Top

  1. Q. Wen, R. Kumar, and J. Huang "Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors", IEEE Transactions on Systems, Man and Cybernetics: A, pages 1056-1066, volume 44, number 8, Aug. 2014.
  2. R. Kumar and S. Takai, "A Framework for Control-Reconfiguration Following Fault-Detection in Discrete Event Systems", IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SafeProcess), pages 848-853, Mexico City, Mexico, August 2012. (Invited Paper.)
  3. Q. Wen, J. Huang, and R. Kumar "Synthesis of Optimal Fault-tolerant Supervisor for Discrete Event Systems", 2008 American Control Conference, pages 1172-1177, Seattle, WA, June 2008.
  4. Q. Wen, R. Kumar, J. Huang, and H. Liu, "A Framework for Fault-Tolerant Control of Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1839-1849, volume 53, number 9, 2008.

Verification/Testing     Return to Top 

  1. H. Ren, J. Huang, S. Jiang and R. Kumar, " A new Abstraction-Refinement based Verifier for Modular Linear Hybrid Automata and its Implementation ", 2014 IEEE International Conference on Networking, Sensing and Control, pages 30-35, Miami, FL, April 2014.
  2. M. Li and R. Kumar,"Reduction of Automated Test Generation for Simulink/Stateflow to Reachability and its Novel Resolution", 2013 IEEE International Conference on Automation Science and Engineering, pages 1089-1094, Madison, WI, 2013. (Invited Paper.)
  3. M. Li and R. Kumar,"Simulink/Stateflow Test Generation based on Extended Finite Automata", 2012 IEEE Conference on Automation Science and Engineering, pages 857-862, Seoul, Korea, August 2012.
  4. M. Li and R. Kumar,"Stateflow to Extended Finite Automata Translation ",2011 IEEE International Computer Systems and Applications Conference, pages 1-6, Munich, July 2011.
  5. C.Zhou, R. Kumar, and S. Jiang,"Analysis of Runtime Data-Log for Software-Fault Localization ", 2011 American Control Conference, pages 5127-5132, San Francisco, June 2011.
  6. M.Li and R. Kumar, "Model-based test generation for Simulink/Stateflow ", 2011 Safe and Secure Systems and Software Symposium (S5), Dayton, June 2011.
  7. C.Zhou and R. Kumar, "Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata with Variables ", IEEE Transactions on Automation Science and Engineering, pages 160-170, volume 10, number 1, 2013.
  8. C. Zhou and R.Kumar, "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata", Journal of Discrete Event Dynamical Systems,pages 223-247, volume 22, number 2,2012.
  9. R.Kumar, C. Zhou, and S. Jiang, "Safety and Transition-Structure Preserving Abstraction of Hybrid Systems with Inputs/Outputs", 2008 Workshop on Discrete Event Systems, pages 206-211, Goteborg, Sweden, May 2008.

Infiniteary (Omega) Behavior/Progress     Return to Top 

  1. R. Kumar, V. K. Garg, and S. I. Marcus, "On Supervisory Control of Sequential Behaviors", IEEE Transactions on Automatic Control, pages 1978-1985, volume 37, number 12, December 1992.

Probabilistic Behavior     Return to Top

  1. J.Chen, C. Keroglou, C. N. Hadjicostis and R. Kumar, ''Revised Test for Stochastic Diagnosability of Discrete-Event Systems", IEEE Transactions on Automation Science and Engineering, May 2016.
  2. J. Chen and R. Kumar, "Failure Detection Framework for Stochastic Discrete Event Systems with Guaranteed Error Bounds", IEEE Transactions on Automatic Control, accepted, Aug. 2014.
  3. J. Chen and R. Kumar, "Stochastic Failure Prognosability of Discrete Event Systems", IEEE Transactions on Automatic Control, accepted, Jan 2015.
  4. J. Chen. M. Ibrahim, and R. Kumar, "Quantification of Secrecy in Partially Observed Stochastic Discrete Event Systems", IEEE Transactions on Automation Science and Engineering, accepted (Sept. 2015).
  5. J. Chen and R. Kumar, "Decentralized Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Transactions on Automation Science and Enginering, Accepted (Sept. 2013).
  6. J.Chen and R. Kumar, "Failure Prognosability of Stochastic Discrete Event Systems", Proceedings of 2014 American Control Conference, pages 2041-2046, Portland, OR, June 2014.
  7. J.Chen, C. Keroglou, C. N. Hadjicostis and R. Kumar, ''Revised Test for Stochastic Diagnosability of Discrete-Event Systems", IEEE Transactions on Automation Science and Engineering, submitted (Jan 2015).
  8. J. Chen and R. Kumar, "Failure Diagnosis of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements", 2014 IEEE International Conference on Networking, Sensing and Control, pages 42-47, Miami, FL, April 2014.
  9. J.Chen and R. Kumar,"Decentralized Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Conference on Automation Science and Engineering, pages 535-546, Madison, WI, 2013. (Invited Paper.)
  10. J.Chen and R. Kumar,"Online Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Multi-Conference on Systems and Control, pages 194-199, Hyderabad, India, 2013. (Invited Paper.)
  11. J.Chen and R. Kumar,"Polynomial Test for Stochastic Diagnosability for Event Driven Systems", IEEE Transactions on Automation Science and Engineering, pages 969-979, volume 10, snumber 4, Oct. 2013.
  12. S.-P. Hsu, A. Arapostathis, and R. Kumar, "On Controlled Markov Chains with Optimality Requirement and Safety Constraint", International Journal on Innovative Computing, Information and Control, pages 2497-2511, volume 6, number 6, 2010.
  13. S.-P.Hsu, A. Arapostathis, and R. Kumar,"On Optimal Control of Markov Chains with Safety Constraint", 2006 American Control Conference, pages 4516-4521, Minneapolis, June 2006.
  14. A.Arapostathis, R. Kumar and S.-P. Hsu, "Control of Markov Chains with Safety Bounds", IEEE Transactions on Automation Science and Engineering, page 333-343, volume 2, number 4, 2005.
  15. W. Wu, A. Arapostathis, and R. Kumar,"On Non-Stationary Policies and Maximal Invariant Safe Sets of Controlled Markov Chains", 2004 IEEE Conference on Decision and Control, pages 3696-3701, Bahamas, December 2004.
  16. A. Arapostathis, R. Kumar and S. Tangirala, "Controlled Markov Chains with Safety Upper Bound", IEEE Transactions on Automatic Control, pages 1230-1234, volume 48, number 7, 2003.
  17. R. Kumar and V. K. Garg, "Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages", IEEE Transactions on Automatic Control, pages 593-606, volume 46, number 4, April 2001.
  18. V. K. Garg, R. Kumar, and S. I. Marcus, "Probabilistic Language Framework for Stochastic Discrete Event Systems", IEEE Transactions on Automatic Control, pages 280-293, volume 44,number 2, 1999.