V.K. Garg

Using predicate transformers for supervisory control

R. Kumar, V.K. Garg, S.I. Marcus, 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

Control of event separation times in discrete event systems

V.K. Garg, D.D. Cofer, 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

Optimistic distributed simulation based on transitive dependency tracking

Yi-Min Wang, V.K. Garg, O.P. Damani, 1997, Proceedings 11th Workshop on Parallel and Distributed Simulation.