"ESSeNCE": Embedded Software, Sensors, Networks, Cyberphysical, and Energy

Prof. Kumar's research area, "ESSeNCE", 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, Sustainable Agriculture, and Biosensing. 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. H. Ren, J. Huang, S. Jiang, and R. Kumar, "Verification using counterexample fragment based specification relaxation: Case of modular/concurrent linear hybrid automata", IET Cyber Physical Systems: Theory and Applications, pages 65-74, 2(2), 2017.
  2. M. Li and R. Kumar, "Reachability Resolution for Discrete-time Hybrid Systems with Application to Automated Test generation for Simulink/Stateflow", IET Cyber Physical Systems: Theory and Applications, pages 28-41, 2(1), 2017.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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. H. Ren, J. Huang, S. Jiang, and R. Kumar, "Verification using counterexample fragment based specification relaxation: Case of modular/concurrent linear hybrid automata", IET Cyber Physical Systems: Theory and Applications, pages 65-74, 2(2), 2017.
  2. M. Li and R. Kumar, "Robustness of Simulink/Stateflow Model Against Implementation Imperfections", 2015 IFAC Analysis and Design of Hybrid Systems, Atlanta, Georgia, Oct. 2015.
  3. M. Li and R. Kumar, "Reachability Resolution for Discrete-time Hybrid Systems with Application to Automated Test generation for Simulink/Stateflow", IET Cyber Physical Systems: Theory and Applications, pages 28-41, 2(1), 2017.
  4. 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.
  5.  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.
  6. 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.
  7. M. Li and R. Kumar,"Model-based test generation for Simulink/Stateflow", 2011 Safe and Secure Systems and Software Symposium (S5), Dayton, June 2011.
  8. 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.
  9. 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.
  10. 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).
  11. 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. H. Ren, J. Huang, S. Jiang, and R. Kumar, "Verification using counterexample fragment based specification relaxation: Case of modular/concurrent linear hybrid automata", IET Cyber Physical Systems: Theory and Applications, pages 65-74, 2(2), 2017. 
  2. M. Li and R. Kumar, "Robustness of Simulink/Stateflow Model Against Implementation Imperfections", 2015 IFAC Analysis and Design of Hybrid Systems, Atlanta, Georgia, Oct. 2015.
  3. M. Li and R. Kumar, "Reachability Resolution for Discrete-time Hybrid Systems with Application to Automated Test generation for Simulink/Stateflow", IET Cyber Physical Systems: Theory and Applications, pages 28-41, 2(1), 2017.
  4. 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.
  5. 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.
  6. 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.
  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. 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.
  9.  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.
  10. 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. H. Ren, J. Huang, S. Jiang, and R. Kumar, "Verification using counterexample fragment based specification relaxation: Case of modular/concurrent linear hybrid automata", IET Cyber Physical Systems: Theory and Applications, pages 65-74, 2(2), 2017.
  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. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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, May 2016, DOI: 10.1109/JSYST.2016.2550607. 
  2.  H. Sahota and R. Kumar,"Network based Sensor Localization in Multi-Media Application of Precision Agriculture-Part 2: Time of Arrival", 2014 IEEE International Conference on Networking, Sensing and Control, pages 203-208, Miami, FL, April 2014. 
  3. 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.
  4. 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.
  5.  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.
  6.  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.
  7.  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.
  8. 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.
  9. 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 Centralized/Distributed Secrecy in Stochastic Discrete Event Systems", In Recent Advances in Systems Safety and Security, pages 21-40, Editors: E. Pricop and G. Stamatescu, Springer, ISBN 978-3-319-32523-1, 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. M. Ibrahim, J. Chen and R. Kumar, "Quantification of Centralized/Distributed Secrecy in Stochastic Discrete Event Systems", In Recent Advances in Systems Safety and Security, pages 21-40, Editors: E. Pricop and G. Stamatescu, Springer, ISBN 978-3-319-32523-1, May 2016.
  2. 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.
  3. 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.
  4. J. Chen and R. Kumar, "Stochastic Failure Prognosability of Discrete Event Systems", IEEE Transactions on Automatic Control, accepted, Jan 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. 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.
  7. 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.)
  8. 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.) 
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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, Biology, and Environment     Return to Top

  1. S. Tabassum, L. Dong, and R. Kumar, "Determination of dynamic variations in optical properties of graphene oxide in response to gas exposure based on thin-film interference", Optic Express, Feb. 2018, DOI: 10.1364/OE.26.006331.
  2. M. A. Ali, S. Tabassum, Q.Wang, Y.Wang, R. Kumar, and L. Dong, "Integrated Dual-Modality Microfluidic Sensor for Biomarker Detection Using Lithographic Plasmonic Crystal", Lab on Chip, Feb. 2018, DOI: 10.1039/C7LC01211J.
  3. S. Tabassum, R. Kumar, and L. Dong, "Nanopatterned Optical Fiber Tip for Guided Mode Resonance and Application to Gas Sensing", IEEE Sensors Journal, pages 7262 7272, 17(22), 2017, DOI: 10.1109/JSEN.2017.2748593.
  4. S. Tabassum, R. Kumar, and L. Dong, "Plasmonic Crystal based Gas Sensor towards an Optical Nose Design", IEEE Sensors Journal, pages 6210-6223, 17(19), 2017, DOI: 10.1109/JSEN.2017.2740176.
  5. Z. Xu, X. Wang, R. J. Weber, R. Kumar, and L. Dong, "Nutrient Sensing Using Chip Scale Electrophoresis and In Situ Soil Solution Extraction", IEEE Sensors Journal, pages 4330-4339, 14(17), 2017.
  6. 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.
  7. 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.
  8. H. Sahota and R. Kumar, "Maximum likelihood based sensor node localization using received signal strength measurements in multiple physical media", IEEE Systems Journal, May 2016, DOI: 10.1109/JSYST.2016.2550607.
  9. 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.
  10.  H. Sahota and R. Kumar,"Network based Sensor Localization in Multi-Media Application of Precision Agriculture-Part 2: Time of Arrival", 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 RF-band Impedance spectroscopy based sensor for in-situ, wireless soil sensing", IEEE Sensors Journal, pages 1997-2005, volume 14, number 6, June 2014.
  12. 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.

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, Journal of Communications, 12(3), pages 180-186, 2017.
  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, "Implementation of Inference-Based Diagnosis: Computing Delay Bound and Ambiguity Levels", Journal of Discrete Event Dynamical Systems, accepted (July 2017), DOI: 10.1007/s10626-017-0253-x.
  2. 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, 62(6), pages 2778-2793, 2017.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. J. Chen and R. Kumar, "Decentralized Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Transactions on Automation Science and Enginering, Accepted (Sept. 2013).
  9. 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.
  10. 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.
  11. 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.)
  12. 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.
  13. 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.)
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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).
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. W. Qiu and R. Kumar,"A New Protocol for Distributed Diagnosis"2006 American Control Conference, pages 6063-6068, Minneapolis, June 2006.
  31. 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.
  32. 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.
  33. 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.
  34. 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, "Verification using counterexample fragment based specification relaxation: Case of modular/concurrent linear hybrid automata", IET Cyber Physical Systems: Theory and Applications, pages 65-74, 2(2), 2017.
  2. M. Li and R. Kumar, "Robustness of Simulink/Stateflow Model Against Implementation Imperfections", 2015 IFAC Analysis and Design of Hybrid Systems, Atlanta, Georgia, Oct. 2015.
  3. M. Li and R. Kumar, "Reachability Resolution for Discrete-time Hybrid Systems with Application to Automated Test generation for Simulink/Stateflow", IET Cyber Physical Systems: Theory and Applications, pages 28-41, 2(1), 2017.
  4. 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.
  5. 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.
  6. 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.
  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. M. Ibrahim, J. Chen and R. Kumar, "Quantification of Centralized/Distributed Secrecy in Stochastic Discrete Event Systems", In Recent Advances in Systems Safety and Security, pages 21-40, Editors: E. Pricop and G. Stamatescu, Springer, ISBN 978-3-319-32523-1, May 2016.
  5. 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.
  6. J. Chen and R. Kumar, "Decentralized Failure Diagnosis of Stochastic Discrete Event Systems", IEEE Transactions on Automation Science and Enginering, Accepted (Sept. 2013).
  7. 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.
  8. 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).
  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. 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.)
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.