Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages 1 Ratnesh Kumar Dept. of Electrical Engineering, Univ. of Kentucky Lexington, KY 40506 Vijay K. Garg Dept. of Elec. and Comp. Eng., Univ. of Texas at Austin Austin, TX 78712 1 This research is supported in part by the National Science Foundation under Grants NSF- ECS-9409712, NSF-ECS-9709796, ECS-9414780, and CCR-9520540, in part by the Office of Naval Research under the Grant ONR-N00014-96-1-5026, a General Motors Fellowship, a Texas Higher Education Coordinating Board Grant ARP-320, and an IBM grant.