Research

Prof. Kumar's research focuses on modeling, control, diagnosis, and verification of event-driven systems, real-time systems, and hybrid systems, and their applications in manufacturing, communication protocols, embedded control, hardware and software systems, and power systems. Selected publications by area are as given below.

 

1.    DISCRETE EVENT SYSTEMS

1.1.  Modeling/Realization/Implementation

1.2.  Interaction Modeling/Control

1.3.  Sensing/Estimation

1.4.  Language/Safety Control

1.5.  Temporal-Logic/(Bi)similarity Control

1.6.  Nondeterministic Control

1.7.  Directed Control

1.8.  Stability

1.9.  Diagnosis

1.10.  Prognosis

1.11.  Fault-Tolerance

1.12. Verification

1.13.  Infiniteary (Omega) Behavior

1.14.   Probabilistic Behavior

 

2.    REAL-TIME/ HYBRID/ NETWORKS/ SOFTWARE

2.1.  Real-time Systems

2.2.  Hybrid Systems

2.3.  Model-Based Software

2.4.  Extended-Automata/Petri Nets

2.5.  Temporal Logic

2.6.  Networked/Distributed Systems

2.7.  Web Services

2.8.  Security

3.    OTHERS

3.1.  Power Systems

3.2.  Autonomous/Intelligent Systems

3.3.  Markov Chains

3.4.  PCB Placement/Coal Segregation

3.5.    Precision Ag

 

Modeling/Realization/Implementation

  1. C. Zhou and R. Kumar, "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata", Journal of Discrete Event Dynamical Systems, DOI 10.1007/s10626-010-0096-1, Dec. 2010.
  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.

Back to Research
Back to Home

Interaction Modeling/Control

  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.

Back to Research
Back to Home

Sensing/Estimation

  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.

Back to Research
Back to Home

Language/Safety Control

  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.

Back to Research
Back to Home

Temporal-Logic/(Bi)similarity Control

  1. C. Zhou, and R. Kumar, "Bisimilarity Enforcement for Discrete Event Systems using Deterministic Control", IEEE Transactions on Automatic Control, pages 2986-2992, volume 58, number 12, 2011.
  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. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.

Back to Research
Back to Home

Nondeterministic Control

  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.

Back to Research
Back to Home

Directed Control

  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.

Back to Research
Back to Home

Stability

  1. 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.

Back to Research
Back to Home

Diagnosis

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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).
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. W. Qiu and R. Kumar, "A New Protocol for Distributed Diagnosis", 2006 American Control Conference, pages 6063-6068, Minneapolis, June 2006.
  17. 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.
  18. 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.
  19. 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.
  20. 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.

Back to Research
Back to Home

Prognosis

  1. S. Takai and R. Kumar, "Distributed Prognosis of Discrete Event Systems under Bounded-Delay Communications", IEEE Transactions on Automatic Control, Accepted May 2011.
  2. 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.
  3. 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.

Back to Research
Back to Home

Fault-Tolerance

  1. 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.
  2. 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.

Back to Research
Back to Home

Verification

1.      M. Li and R. Kumar, "Stateflow to Extended Finite Automata Translation", 2011 IEEE International Computer Systems and Applications Conference, Munich, July 2011.

2.      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.

3.      M. Li and R. Kumar, "Model-based test generation for Simulink/Stateflow", 2011 Safe and Secure Systems and Software Symposium (S5), Dayton, June 2011.

4.      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, Accepted (April 2011).

5.      C. Zhou and R. Kumar, "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata", Journal of Discrete Event Dynamical Systems, DOI 10.1007/s10626-010-0096-1, Dec. 2010.

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.

Back to Research
Back to Home

Infiniteary (Omega) Behavior

  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.

Back to Research
Back to Home

Probabilistic Behavior

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. R. Kumar and V. K. Garg, "Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages", IEEE Transactions on Automatic Control, volume 46, number 4, pages 593-606, April 2001.
  7. 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.

Back to Research
Back to Home

Real-time Systems

  1. L. Ouedraogo and R. Kumar, "Exact Response Time of FlexRay Communication Protocol", 2011 International Wireless Communications and Mobile Computing Conference (IWCMC), pages 789-794, Isanbul, July 2011.
  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.

Back to Research
Back to Home

Hybrid Systems

  1. 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.
  2. 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.

Back to Research
Back to Home

Model-Based Software

1.      M. Li and R. Kumar, "Stateflow to Extended Finite Automata Translation", 2011 IEEE International Computer Systems and Applications Conference, Munich, July 2011.

2.      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.

3.      M. Li and R. Kumar, "Model-based test generation for Simulink/Stateflow", 2011 Safe and Secure Systems and Software Symposium (S5), Dayton, June 2011.

4.      C. Zhou and R. Kumar, "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata", Journal of Discrete Event Dynamical Systems, DOI 10.1007/s10626-010-0096-1, Dec. 2010.

5.      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).

6.      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.

 

Back to Research
Back to Home

Extended-Automata/Petri Nets

1.      M. Li and R. Kumar, "Stateflow to Extended Finite Automata Translation", 2011 IEEE International Computer Systems and Applications Conference, Munich, July 2011.

2.      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, Accepted (April 2011).

3.      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.

4.      C. Zhou and R. Kumar, "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata", Journal of Discrete Event Dynamical Systems, DOI 10.1007/s10626-010-0096- 1, Dec. 2010.

5.      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.

 

Back to Research
Back to Home

Temporal Logic

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.

Back to Research
Back to Home

Networked/Distributed Systems

1.      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.

2.      S. Xu, R. Kumar, and A. Pinto, "Correct-by-Construction and Optimal Network Synthesis for Distributed Control/Embedded Systems", IEEE Transactions on Automation Science and Engineering, Accepted (July 2011).

3.      L. Ouedraogo and R. Kumar, "Exact Response Time of FlexRay Communication Protocol", 2011 International Wireless Communications and Mobile Computing Conference (IWCMC), pages 789-794, Isanbul, July 2011.

4.      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.

5.      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.

6.      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.

7.      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.

8.      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.

Back to Research
Back to Home

Web Services

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.

Back to Research
Back to Home

Security

1.      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.

Back to Research
Back to Home

Power Systems

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.

Back to Research
Back to Home

Autonomous/Intelligent Systems

  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.

Back to Research
Back to Home

Markov Chains

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. R. Kumar and V. K. Garg, "Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages", IEEE Transactions on Automatic Control, volume 46, number 4, pages 593-606, April 2001.
  6. 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.

Back to Research
Back to Home

PCB Placement/Coal Segregation

  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.

Back to Research
Back to Home

Precision Ag

1.      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.

2.      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.

3.      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.

4.      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.

 

Back to Research
Back to Home