Selected Publications

    2005

  1. R. Kumar, V. K. Garg, Computation of State Avoidance Control for Infinite State Systems in Assignment Program Framework, IEEE Transactions on Automation Science and Engineering}, Volume 2, No. 1, January 2005, pp. 87 - 91. pdf

    2. 2001

  2. R. Kumar and V. K. Garg, Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages ,IEEE Transactions on Automatic ControlVolume 46, No. 1, April 2001, pp. 593 -- 606.Postscript

    3. 1999

  3. V. K. Garg, R. Kumar, S. I. Marcus, Probabilistic Language Frameworkfor Stochastic Discrete Event Systems,{\em IEEE Transactions on Automatic Control}, Vol. 44, No. 2, February 1999, pp. 280 -- 293.Postscript

    4. 1998

  4. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: SynthesisProc. Conference on Decision and Control (CDC), December 1998.Postscript

  5. R. Kumar, V. K. Garg,Control of stochastic discrete event systems: ExistenceWorkshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 24-29.Postscript

  6. G. Brat, V. K. Garg,A max-plus algebra for periodic real-time systems,The 9th Symposium of the International Federation of Automatic Control on Information Control in Manufacturing, Nancy-Metz, France, June 24-26, 1998.Postscript

    7. 1997

  7. V. K. Garg, Observation and Control for Debugging Distributed Computations,{\em Proc. Third International Workshop on Automated Debugging (AADEBUG'97)},Linkoping, Sweden, May 97, pp. 1 -- 12. Keynote presentation.Postscript ...........slides

    8. 1996

  8. D. D. Cofer, and V. K. Garg, Supervisory Control of Real-time Discrete Event Systems using Lattice Theory, IEEE Transactions on Automatic Control Vol. 41, No. 2, February 1996, pp. 199-209.Postscript

    9. 1995

  9. S. Young, and V. K. Garg, Model Uncertainty in Discrete Event Systems, SIAM Journal on Control and Optimization Vol. 33,No. 1, January 1995, pp. 208 -- 226.postscript

  10. R. Kumar, V. K. Garg, Optimal Controlof Discrete Event Dynamic Systems Using Network Flow Techniques, SIAM Journal on Control and Optimization 1995.postscript

  11. R. Kumar, V.K. Garg, and S. I. Marcus, Finite Buffer Realization of Input-Output Discret Event Systems, IEEE Transactions on Automatic Control, Vol. 40, No. 6, June 1995, pp. 1042 -- 1053.postscript

  12. D. D. Cofer, V. K. Garg, Control of Event Separation Times,Proc. 34th Conference on Decision and Control,New Orleans, December 1995, pp. 2005 - 2010.Postscript

  13. D. D. Cofer, V. K. Garg, Idempotent Structures in the Supervisory Control of Discrete EventSystems, in Idempotency, J. Gunawardena, Ed.,Cambridge University Press, 1995.

    14. 1994

  14. D. D. Cofer, V. K. Garg, On Controlling Timed Discrete EventSystems, DIMACS Workshop on Verification and Control ofHybrid Systems, New Brunswick, New Jersey, Oct. 1995, Lecture Notes in Computer Science 1066,Springer-Verlag, pp. 340-349.

  15. D. D. Cofer, V. K. Garg, Supervisory Control of Real-timeDiscrete Event Systems using Lattice Theory,Proc. 33rd Conference on Decision and Control,Lake Buena Vista, Florida, December 1994, pp. 978 - 983.Postscript (for figures)

  16. R. Kumar, V. K. Garg, Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control,Proc. 33rd Conference on Decision and Control,Lake Buena Vista, Florida, December 1994, pp. 3636 - 3641.

  17. D. Cofer, V. K. Garg, A Max-Algebra Solution to the Supervisory ControlProblem for Real-Time Discrete Event Systems, Proc. 11th International Conference on Analysisand Optimization of Systems, Rocquencourt, France, June 1994, pp. 283 - 289.

  18. R. Kumar, V. K. Garg, Assignment Program Model for Control of Infinite State Systems,Proc. 32nd Allerton Conference on Communication, Control, andComputing, Allerton, Illinois, Oct. 1995, pp. 166 - 175 (invited).

    19. 1993

  19. R.Kumar, V. K. Garg, S.I.Marcus,A Predicate Transformer Approach to Control of Discrete Event Systems, IEEE Transactions on Automatic Control Vol. 38, No. 2,February 1993, pp 232-247.Postscript

  20. R.Kumar, V. K. Garg, S.I.Marcus,Stability of Discrete Event System Behavior SIAM Journal on Control and Optimization Vol. 31, No. 5, September 1993, pp. 1294-1320.Postscript

  21. S. Young, V. K. Garg, Self-Stabilizing Machines: An Approach to Design of Fault-Tolerant Systems, Proc. 32nd Conference on Decision and Control,San Antonio, Texas, Dec. 1993, pp. 1200-1205. postscript

  22. D. D. Cofer, V. K. Garg, A Generalized Model for Performance Analysis of Timed and Untimed Discrete Event Systems,Proc. American Control Conference, San Francisco, California, June 1993, pp. 2288-2292.

  23. R. Kumar, V. K. Garg, Logical Design of a Dispatching Unit,Proc. American Control Conference, San Francisco, California, June 1993, pp. 1198-1202.

  24. S. Young, V. K. Garg, Optimal Sensor and Actuator Choices for Discrete Event Systems, Proc. 31st Allerton Conference on Communication, Control, andComputing, Allerton, Illinois, Oct. 1993.Postscript

  25. V. K. Garg, Parallel and Distributed Algorithms for Supervisory Control of Discrete Event Systems, Proc. 32nd Conference on Decision and Control, San Antonio, Texas, Dec. 1993, 2236-2241.

    26. 1992

  26. R. Kumar, V. K. Garg, S.I. Marcus, On $\omega$-Controllability and $\omega$-Observability of Discrete Event Dynamic Systems, IEEE Transactions on Automatic Control Vol. 37, No. 12, December 1992, pp 1978-1985.postscript

  27. V. K. Garg, An Algebraic Approach to Modeling Probabilistic Discrete Event Systems,Proc. 31st Conference on Decision and Control, Tucson, Arizona,Dec. 1992, pp. 2348-2353.Postscript

  28. A. I. Tomlinson, G. Hoagland, V. K. Garg, Distributed Resource Management Using Active Supervisory Predicate Control,Proc. American Control Conference, Chicago, Illinois,June 1992,pp. 2799-2803.Postscript

  29. V. K. Garg, R. Kumar, A State-Variable Approach for Controlling Discrete Event Systems with Infinite States,Proc. American Control Conference, Chicago, Illinois, June 1992, pp. 2809-2813.Postscript

  30. D. Spanjol, S. Young, V. K. Garg, Control of Discrete Event Systems Modeled with Infinite Languages, Proc. American Control Conference, Chicago, Illinois, June 1992, pp. 2814-2818.Postscript

    31. 1991

  31. R. Kumar, V. K. Garg, S.I. Marcus, On Controllability and Observability of Discrete Event Dynamic Systems, System and Control Letters Vol. 17, 1991, pp 157-168. Postscript

  32. R. Kumar, V. K. Garg, S. I. Marcus,On Using Predicate Transformers for Supervisory Control,Proc. Conference on Decision and Control, Brighton,United Kingdom, Dec. 1991, pp. 98-103.

  33. R. Kumar, V. K. Garg, Optimal Control of Discrete Event Dynamic Systems Using Network Flow Techniques, Proc. 29th Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Oct. 1991, pp. 705-714.

  34. S. Young, V. K. Garg, Uncertainty in Discrete Event Systems,Proc. IEEE International Symposium on Intelligent Control,Arlington, Virginia, Aug. 1991, pp. 245-250.

  35. R. Kumar, V. K. Garg, S. I. Marcus,On w-Controllability and w-Normality of DEDS,Proc. American Control Conference, Vol. 3, Boston, Massachusetts, June 1991, pp. 2905-2910.

    36. 1990

  36. R. D. Brandt, V. K. Garg, et al,Formulas for Calculating Supremal Controllable and NormalSublanguages, System and Control Letters Vol. 15, No. 2, Aug. 1990,pp 111-117.Postscript

  37. R. Kumar, V. K. Garg, S. I. Marcus,Language Stability of DEDS,Proc. International Conference on Mathematical Theoryof Control, published as Lecture Notes in Pure and AppliedMathematics, Marcel Dekker, Vol. 142, edited byM. C. Joshi and A. V. Balakrishnan, Bombay, India, 1990, pp. 185-203.

    38. 1989

  38. R. Kumar, V. K. Garg, S. I. Marcus,Control of Discrete Event Dynamic Systems: SupremalControllable and Observable Languages, Proc. 27th Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Sept. 1989, pp. 501-510.