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

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

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

  3. 3.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. (draft paper)

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

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

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

  7. 7.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. (draft paper)

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

  9. 9.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. (draft paper)

  10. 10.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.(draft paper)

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

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

  13. 13.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. (paper)

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

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

  16. 16.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. (paper) (Expanded Version; Technical Report UILU-ENG 10-2205)

  17. 17.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. (paper)

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

  19. 19.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. (paper)

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

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

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

  23. 23.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).  (paper)

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

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

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

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

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

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

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

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

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

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

  34. 34.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. (paper)

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

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

  37. 37.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. (paper)

  38. 38.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. (paper)

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

  40. 40.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. (paper)

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

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

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

  44. 44.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. (paper)

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

  46. 46.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. (see item 23)

  47. 47.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. (paper)

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

  49. 49.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. (paper)

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

  51. 51.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. (paper)

  52. 52.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. (paper)

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

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

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

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

  57. 57.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. (see item 38)

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

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

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

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