Discrete-Event/Discrete-State  Systems (DEDS Systems)

 

  1. 1.Equitable Allocation of Operations and Makespan Minimization for for Autonomous Agents, R. Sengupta, R. Nagi and R.S. Sreenivas, To appear, IEEE Transactions on Automation Science and Engineering, Accepted, March 2022.

  2. 2.On Computing the Supremal Control Invariant Subset of a Right-Closed Set of Markings for an Arbitrary Petri Net, R. Khaleghi and R.S. Sreenivas, Discrete Event Dynamic Systems: Theory and Applications, To Appear, circa 2021. (Springer Link)

  3. 3.Liveness Enforcing Supervisory Policies Tolerant to Controllability Failures for Discrete-Event Systems Modeled by Petri Nets, A. Raman and R.S. Sreenivas, Automatica, Vol. 125, March 2021 (Elsevier Link to paper).

  4. 4.On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets, C. Chen, A. Raman, H. Hu and R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 65, No. 12, December 2020. 5236-5247 (IEEE Xplore Link)

  5. 5.Fault-Tolerant Control of Discrete-Event Systems with Controllability Failures, A. Raman and R.S. Sreenivas, IEEE Control Systems Letters, Vol. 4, No. 3, July 2020, 674-679  (IEEE Xplore Link)

  6. 6.Sequential Synthesis of Supervisory Policies for Discrete-Event Systems Modeled by Petri Nets, A. Raman and R.S. Sreenivas, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Bari, Italy, October 2019. (draft paper - revised version)

  7. 7.Designing Supervisory Policies that Avoid Livelocks in Manufacturing- and Service-Systems Modeled using General Petri Nets: A Tutorial using an Illustrative Example, R. Khaleghi, A. Raman and R.S. Sreenivas, Proceedings of the 9th International Conference on Industrial Engineering and Operations Management (IEOM), Bangkok, Thailand, March, 2019 (draft paper)

  8. 8.At the Intersection of Computing- and Control-Theory: A Tutorial on Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets, A. Raman and R.S. Sreenivas, Proceedings of the 5th Indian Control Conference, Indian Institute of Technology, New Delhi, January, 2019 (draft paper)

  9. 9.Software-Based Synthesis of Maximally Permissive Liveness Enforcing Supervisory Policies for a Class of General Petri Nets, E. Salimi, N. Somnath and R.S. Sreenivas, Proceedings of the 12th IEEE Conference on Industrial Electronics and Applications (ICIEA 2017), Seam Reap, Cambodia, June 2017. (draft paper)

  10. 10.Synthesis of Liveness Enforcing Supervisory Policies in Petri Nets by Stepwise Refinement, N. Somnath and R.S. Sreenivas, Proceedings of the 12th IEEE Conference on Industrial Electronics and Applications (ICIEA 2017), Seam Reap, Cambodia, June 2017. (draft paper)

  11. 11.Characterizing Token Delays of Timed Event Graphs for K-Cyclic Schedules, T-E Lee, H-J Kim, D-H Roh and R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 62, No. 2, February, May 2017, 961-966. (IEEE Xplore Link)

  12. 12.On the Convexity of Right-Closed Sets, E. Salimi and R.S. Sreenivas, British Journal of Mathematics & Computer Science, Vol. 20, Issue 1, 2017. (paper)

  13. 13.On the Algebraic Structure of Solutions to Some Livelock-Avoidance Problems in Manufacturing Systems Modeled by Petri Nets, R. Nagi, E. Salimi and R.S. Sreenivas, Proceedings of the 2016 Industrial and Systems Engineering Research Conference, Anaheim, CA, May 2016. (draft paper)

  14. 14.On Supervisory Policies that Enforce Liveness in Petri Nets that are Similar, E. Salimi, N. Somnath and R.S. Sreenivas, Proceedings of the 7th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) & Robotics, Automation and Mechatronics (RAM), Angkor Wat, Cambodia, July 2015. (draft paper)

  15. 15.A Software Tool for Live-Lock Avoidance in Systems Modeled using a Class of Petri Nets, E. Salimi, N. Somnath and R.S. Sreenivas, International Journal of Computational Science & Applications, Vol. 5, No. 2, April 2015, 1-13. (draft paper)

  16. 16.A Tutorial on the Synthesis of the Maximally Permissive Liveness Enforcing Supervisory Policy in Discrete-Event/Discrete-State Systems modeled by a Class of General Petri Nets, E. Salimi, N. Somnath and R.S. Sreenivas, Indian Control Conference, Indian Institute of Technology, Chennai, January, 2015. (draft paper)

  17. 17.On Invariant-Based Monitors that Enforce Liveness in a Class of Partially Controlled General Petri Nets, E. Salimi and R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 60, No. 10, October 2015, 2825-2830. (IEEE Xplore Link)

  18. 18.On a Sufficient Information Structure for Supervisory Policies that Enforce Liveness in a Class of General Petri Nets, V. Deverakonda and R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 60, No. 7, July 2015, 1915-1921.(IEEE Xplore Link)

  19. 19.A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems, S. Chandrasekaran, N. Somnath and R.S. Sreenivas, Journal of Intelligent Manufacturing, DOI 10.1007/s10845-014-08885, Published online, March, 2014 (link to article at Springer); Volume 26, No. 5, October, 2015, 945-958.

  20. 20.On the Automatic Generation of the Minimally Restrictive Liveness Enforcing Supervisory Policy for Manufacturing- and Service-Systems Modeled by a Class of General Free Choice Petri Nets, S. Chandrasekaran and R.S. Sreenivas, Proceedings of the IEEE International Conference on Networking, Sensing and Control, April, 2013. (paper)

  21. 21.On a Decidable Class of Partially Controlled Petri Nets with Liveness Enforcing Supervisory Policies, R.S. Sreenivas, IEEE Transactions on Systems Man and Cybernetics: Systems, Vol. 43, No. 5, September, 2013, 1256-1261. (IEEE Xplore Link)

  22. 22.A Software Tool for the Synthesis of Supervisory Policies that avoid Livelocks in Petri Net models of Manufacturing- and Service-Systems, 16th Annual Conference of the Society of Operations Management (SOM 2012), December, 2012, New Delhi.

  23. 23.On Enforcing Liveness in a Class of Partially-Controlled General Free-Choice Petri Nets via Supervision, N. Somnath and R.S. Sreenivas, IEEE Transactions on Automation Science and Engineering, Vol. 10, No. 4, October, 2013, 1157-1160. (paper) (Longer & Slightly Different Version: Technical Report UILU-ENG 2012-2101)

  24. 24.On the Existence of Supervisory Policies that Enforce Liveness in Partially Controlled Free-Choice Petri Nets, R.S. Sreenivas, IEEE Transactions on Automatic Control, 435-449, Vol. 57, No. 2, February, 2012. (IEEE Xplore Link) (Expanded-and-Corrected Version; Technical Report UILU-ENG 10-2205)

  25. 25.On Tractable Instances of Modular Supervisory Control, R. Gummadi, N. Singh and R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 56, No. 7, July, 2011, 1621-1635. (IEEE Xplore Link)

  26. 26.Decentralized Modular Diagnosis of Concurrent Discrete Event Systems, C. Zhou, R. Kumar and R.S. Sreenivas, 9th International Workshop on Discrete Event Systems (WODES), May, 2008, Goteborg, Sweden. (paper)

  27. 27.Designs of Bisimilar Petri Net Controllers with Fault Tolerance Capabilities, L. Li, C. Hadjicostis and R.S. Sreenivas, IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, 207-217, Vol. 38, No. 1, January, 2008. (IEEE Xplore Link )

  28. 28.Decentralized Modular Control of Concurrent Discrete Event Systems, C. Zhou, R. Kumar and R.S. Sreenivas, 46th IEEE Conference on Decision and Control, New Orleans LA, December 2007. (paper)

  29. 29.Supervisory Control of DEDS, R.S. Sreenivas, Chapter 3, Discrete Event Hybrid Systems in Robotics and Automation, Editor: Tarek Sobh, Nova Science Publishers, Inc. NY, 2006. (Amazon Link)

  30. 30.On Minimal Representations of Petri Net Languages, R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 51, No. 5, 799-804, May, 2006. (IEEE XPlore Link)

  31. 31.Some Observations on Supervisory Policies that enforce Liveness in Partially-Controlled Free-Choice Petri Nets, (Invited Paper) Mathematics and Computers in Simulation, 266-274, 70 (2006).  (ScienceDirect Link)

  32. 32.Fault Detection and Identification in Petri Net Controllers, L Li, C. Hadjicostis and R.S. Sreenivas, IEEE Conference on Decision and Control (CDC), Bahamas, December 2004. (paper)

  33. 33.On a Generalization of Robust Supervisory Control of Discrete Event Systems, R.S. Sreenivas, (Invited) 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, Osaka, Japan, July 2004.  (paper)

  34. 34.On Partially Controlled Petri Nets that can be made Live by Supervision, R.S. Sreenivas, IEEE Conference on Decision and Control (CDC), Maui, HI, December 2003.  (paper)

  35. 35.Some Observations on Supervisory Policies that Enforce Liveness in Partially Controlled Free-Choice Petri Nets, R.S. Sreenivas, Computational Engineering in Systems Applications (CESA), Lille, France, July 2003.

  36. 36.On minimal representation of Petri net languages, R.S. Sreenivas, 6th International Workshop on Discrete Event Systems (WODES), October 2002, Zaragoza, Spain. 

  37. 37.On a Minimally Restrictive Supervisory Policy that Enforces Liveness in Partially Controlled Free Choice Petri Nets, R.S. Sreenivas, Conference on Decision and Control (CDC), Sydney, Australia, December, 2000. (paper)

  38. 38.On Partially Controlled Free Choice Petri Nets, R. Sreenivas, 5th International Workshop on Discrete Event Systems (WODES),  Ghent, Belgium, August, 2000.(paper)

  39. 39.On readily available supervisory policies that enforce liveness in a class of Completely Controlled Petri Nets, R.S. Sreenivas, 7th Mediterranean Conference on Control & Automation, Haifa, Israel, June 1999.  (paper)

  40. 40.On Supervisory Policies that Enforce Liveness in Completely Controlled Petri Nets with Directed Cut-Places and Cut-Transitions, R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 44, No. 6, June, 1999. (paper)

  41. 41.On Supervisory Policies that Enforce Liveness in in a Class of Completely Controlled Petri Nets obtained via Refinement, R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 44. No. 1, January, 1999. (paper)

  42. 42.An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets, R.S. Sreenivas, Automatica, Vol. 34, No. 12, December, 1998. (IEEE XPlore Link)

  43. 43.On a Free-Choice Equivalent of a Petri Net, R.S. Sreenivas, IEEE Conference on Decision and Control (CDC), San Diego, CA, December 1997.  (paper)

  44. 44.On Commoner’s Liveness Theorem and Supervisory Policies that Enforce Liveness in Free-Choice Petri Nets, R.S. Sreenivas, Systems & Control Letters, 31, 1997. (Science Direct Link)

  45. 45.On the Existence of Supervisory Policies that Enforce Liveness in Discrete Event Dynamic Systems Modeled by Controlled Petri Nets, R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 42, No. 7, July, 1997. (IEEE XPlore Link)

  46. 46.On Supervisory Policies that Enforce Global Fairness and Bounded Fairness in Partially Controlled Petri Nets, R.S. Sreenivas, Discrete Event Dynamic Systems: Theory and Applications, Vol. 7, 1997. (Springer Link)

  47. 47.On Supervisory Policies that Enforce Liveness in Discrete Event Dynamic Systems Modeled by Partially Controlled Petri Nets, R.S. Sreenivas, IEEE Conference on Decision and Control, Kobe, Japan, December, 1996. (paper)

  48. 48.On Asymptotically Efficient Solutions for a Class of Supervisory Control Problems, R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 41, No. 12, December, 1996. (IEEE Xplore Link)

  49. 49.The Existence of Supervisory Policies that Enforce Liveness in Discrete Event Dynamic Systems Modeled by Partially Controlled Petri Nets is Undecidable, R.S. Sreenivas, IEEE International Conference on Control Applications, Dearborn, Michigan, September, 1996. (paper)

  50. 50.Enforcing Liveness via Supervisory Control in Discrete Event Dynamic Systems Modeled by Controlled Petri Nets, R.S. Sreenivas, Workshop on Discrete Event Systems (WODES), Edinburgh, Scotland, August, 1996. (paper)

  51. 51.Enforcing Liveness via Supervisory Control in Discrete Event Dynamic Systems Modeled by Completely Controlled Petri Nets, R.S. Sreenivas, Conference in Information Sciences and Systems (CISS), Princeton University, New Jersey, March, 1996.

  52. 52.On the Existence of Finite State Supervisors for Arbitrary Supervisory Control Problems, R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 39, No. 4, April, 1994. (IEEE Xplore Link)

  53. 53.On Asymptotically Efficient Solutions for a Class of Supervisory Control Problems, R.S. Sreenivas, IEEE International Conference on Systems, Man and Cybernetics, San Antonio, Texas, October, 1994.

  54. 54.On the implications of the solvability of the supervisory control problems for infinite state discrete event dynamic systems, R.S. Sreenivas, Conference in Information Sciences and Systems, Princeton University, New Jersey, March, 1994.

  55. 55.On a Weaker Notion of Controllability of a Language K with respect to a Language L, R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 38, No. 9, September, 1993. (IEEE Xplore Link)

  56. 56.Deterministic λ-free Petri net languages and their Application to the Supervisory Control of Discrete Event Dynamic Systems, R.S. Sreenivas, Midwest Circuits and Systems Conference, Wayne State University, Detroit, Michigan, August, 1993. (paper)

  57. 57.A Note on Deciding the Controllability of a Language K with respect to a Language L, R.S. Sreenivas, IEEE Transactions on Automatic Control, Vol. 38, No. 4, April, 1993. (IEEE Xplore Link)

  58. 58.Hybrid Optimization: An Experimental Study, I. Garai , Y.C. Ho, and R.S. Sreenivas, IEEE Conference on Decision  and Control, Tucson, Arizona, December, 1992. (paper)

  59. 59.Augmented Infinitesimal Perturbation Analysis: An alternate explanation, A.A. Gaivoronski, L. Shi and R.S. Sreenivas, Discrete Event Dynamic Systems: Theory and Applications, Vol. 2, No. 2, 1992. (Springer Link)

  60. 60.Ordinal Optimization of DEDS, Y.C. Ho, R.S. Sreenivas and P. Vakili, Discrete Event Dynamic Systems: Theory and Applications, Vol.2, No.1, July, 1992. (Springer Link)

  61. 61.Performance Analysis of FDDI Token Ring Networks using a Fluid Model, R.S. Sreenivas, Conference in Information Sciences and Systems, Princeton University, New Jersey, March, 1992.

  62. 62.On Petri Net Models of Infinite State Supervisors, R.S. Sreenivas and B.H. Krogh, IEEE Transactions on Automatic Control, Vol. 37, No. 2, February, 1992.  (IEEE Xplore Link)

  63. 63.On Condition/Event Systems with Discrete State Realizations, R.S. Sreenivas and B.H. Krogh, Discrete Event Dynamic Systems: Theory and Applications, 1, 1991. (Springer Link)

  64. 64.Petri net based models for Condition/Event Systems. R.S. Sreenivas and B.H. Krogh, American Control Conference, Boston, MA, June, 1991.

  65. 65.On Discrete State Realizations for Condition/Event Systems, R.S. Sreenivas and B.H. Krogh, Annual Allerton Conference on Communication, Control, and Computing, Urbana-Champaign, Illinois, 1990.

  66. 66.On Fairness and Conflicts in Petri nets, R.S. Sreenivas and B.H. Krogh, Midwest Symposium on Circuits and Systems, Urbana-Champaign, Illinois, August, 1989. (paper)

  67. 67.Petri net Realization of Discrete Event Systems from State Graph Models using Binary Vector Potentials, R.S. Sreenivas and B.H. Krogh, LASIP-88-21, December, 1988, Laboratory for Automated Systems and Information  Processing, Electrical and Computer Engineering Department, Carnegie Mellon University, Pittsburgh, PA.

  68. 68.T-Complement Petri nets, R.S. Sreenivas, Annual Allerton Conference on Communication, Control and Computing,  Urbana-Champaign, Illinois, 1987.

  69. 69.Essentially-Decision-Free Petri nets for Real-Time Resource Allocation, B.H. Krogh and R.S. Sreenivas, IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, 1987. (paper)