Selected Publications in Discrete Event Systems

Contents

• Controllability : Language-based Approaches
• Stability and Stabilizability
• State Variable Approach
• Controllability of infinitary behavior
• Max-Plus Algebraic Approaches
• Probabilistic Systems

• R. D. Brandt, V. K. Garg, et al, ``Formulas for Calculating Supremal Controllable and Normal Sublanguages'', System and Control Letters Vol. 15, No. 2, Aug. 1990, pp 111-117.

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

• V. K. Garg, M.T. Raghunath ``Concurrent Regular Expressions and their Relationship to Petri Net Languages,'' Theoretical Computer Science 96 (1992) pp 285-304.

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

• R. Kumar, V. K. Garg, ``Optimal Control of Discrete Event Dynamic Systems Using Network Flow Techniques,'' SIAM Journal on Control and Optimization 1995.

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

• R. Kumar, and V.K. Garg, ```Extremal Solutions of Inequations over lattices,'' Theoretical Computer Science, Novemeber 1995

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

• S. Young, V.K.Garg, ``On Self-Stabilizing Systems: An Approach to the Specification and Design of Fault-Tolearnt Systems,'' Proc. 32nd Conference on Decision and Control, San Antonio, Texas, Dec. 1993, pp. 1200--1205.

• S. Young, V. K. Garg, ``Optimal Sensor and Actuator Choices for Discrete Event Systems,'' Proc. 31st Allerton Conference on Communication, Control, and Computing, Allerton, Illinois, Oct. 1993.

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

• A. Tomlinson, G. Hoagland, V. K. Garg, ``Distributed Resource Management Using Active Supervisory Predicate Control,'' Proc. American Conference on Control Chicago IL, pp 2799--2803, June 1992.

• V. K. Garg, R. Kumar, ``A State-Variable Approach for Controlling Discrete Event Systems with Infinite States,'' Proc. American Conference on Control Chicago IL, pp 2809--2813, June 1992. A revised version

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

• S. Young, D.Spanjol, V.K.Garg, ``Control of Discrete Event Systems Modeled with Infinite Languages,'' Proc. American Conference on Control Chicago IL, pp 2814--2818, June 1992.

• D.D. Cofer, V. K. Garg, ``A Timed Model for the Control of Discrete Event Systems involving Decisions in the Max/Plus Algebra,'' Proc. 31st Conference on Decision and Control Tucson, Arizona, Dec. 1992, pp 3363-3368.

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

• D. D. Cofer, and V. K. Garg, ``Supervisory Control of Real-time Discrete Event Systems using Lattice Theory,'' 33rd Conference on Decision and Control, Lake Buena Vista, Florida, December 1994, pp. 978 -- 983. (for figures) the revised version in IEEE Transactions on Automatic Control Postscript

• D.D. Cofer, V. K. Garg, ``Control of Event Separation Times,'' Proc. 34th Conference on Decision and Control New Orleans, Louisiana, Dec. 1995. Postscript

• G. Brat, V. K. Garg, ``Analyzing non-deterministic real-time systems with (max,+) algebra,'' {\em Proc. Real-Time Systems Symposium (RTSS'98)}, 1998.

• G. Brat, V. K. Garg, ``A (max,+) algebra for periodic timed discrete event systems.'' Workshop on Discrete Event Systems, Caligari, Italy, 1998.

• R. Kumar, V. K. Garg, ``Control of stochastic discrete event systems: Synthesis'' {\em Proc. Conference on Decision and Control (CDC)}, 1998. Postscript

• R. Kumar, V. K. Garg, ``Control of stochastic discrete event systems: Existence'' Workshop on Discrete Event Systems, Caligari, Italy, 1998. Postscript

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

• 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