Jain, Rahul; Varaiya, Pravin Simulation-based optimization of Markov decision processes: an empirical process theory approach. (English) Zbl 1204.93132 Automatica 46, No. 8, 1297-1304 (2010). MSC: 93E20 60J10 68T05 90C15 PDFBibTeX XMLCite \textit{R. Jain} and \textit{P. Varaiya}, Automatica 46, No. 8, 1297--1304 (2010; Zbl 1204.93132) Full Text: DOI
Jain, Rahul; Varaiya, Pravin P. Combinatorial exchange mechanisms for efficient bandwidth allocation. (English) Zbl 1087.90502 Commun. Inf. Syst. 3, No. 4, 305-324 (2003). MSC: 90B18 91B26 68M10 90C27 91A43 94C99 PDFBibTeX XMLCite \textit{R. Jain} and \textit{P. P. Varaiya}, Commun. Inf. Syst. 3, No. 4, 305--324 (2003; Zbl 1087.90502) Full Text: DOI Euclid
Simsek, Tunc; Varaiya, Pravin Design of autonomous, distributed systems. (English) Zbl 1050.68504 Henzinger, Thomas A. (ed.) et al., Embedded software. 1st international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8–10, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42673-6). Lect. Notes Comput. Sci. 2211, 435-450 (2001). MSC: 68M14 PDFBibTeX XMLCite \textit{T. Simsek} and \textit{P. Varaiya}, Lect. Notes Comput. Sci. 2211, 435--450 (2001; Zbl 1050.68504) Full Text: Link
Varaiya, Pravin Automated highway systems: An example of hierarchical control. (English) Zbl 0969.68678 Inan, M. Kemal (ed.) et al., Verification of digital and hybrid systems. Proceedings of the NATO ASI, Antalya, Turkey, May 26-June 6, 1997. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 170, 391-402 (2000). MSC: 68U99 93C83 90B20 PDFBibTeX XMLCite \textit{P. Varaiya}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 170, 391--402 (2000; Zbl 0969.68678)
Varaiya, Pravin Reach set computation using optimal control. (English) Zbl 0957.68066 Inan, M. Kemal (ed.) et al., Verification of digital and hybrid systems. Proceedings of the NATO ASI, Antalya, Turkey, May 26-June 6, 1997. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 170, 323-331 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{P. Varaiya}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 170, 323--331 (2000; Zbl 0957.68066)
Walrand, Jean; Varaiya, Pravin High-performance communication networks. 2nd ed. (English) Zbl 1005.68894 Oxford: Morgan Kaufmann/ Elsevier. 720 p. (1999). MSC: 68M10 68-02 PDFBibTeX XMLCite \textit{J. Walrand} and \textit{P. Varaiya}, High-performance communication networks. 2nd ed. Oxford: Morgan Kaufmann/ Elsevier (1999; Zbl 1005.68894)
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin What’s decidable about hybrid automata? (English) Zbl 0920.68091 J. Comput. Syst. Sci. 57, No. 1, 94-124 (1998). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., J. Comput. Syst. Sci. 57, No. 1, 94--124 (1998; Zbl 0920.68091) Full Text: DOI Link
Brooks, Charles A.; Varaiya, Pravin Using augmented infinitesimal perturbation analysis for capacity planning in intree ATM networks. (English) Zbl 0898.90057 Discrete Event Dyn. Syst. 7, No. 4, 377-390 (1997). MSC: 90B18 68M10 93C73 62M99 PDFBibTeX XMLCite \textit{C. A. Brooks} and \textit{P. Varaiya}, Discrete Event Dyn. Syst. 7, No. 4, 377--390 (1997; Zbl 0898.90057) Full Text: DOI
Walrand, Jean; Varaiya, Pravin High-performance communication networks. (English) Zbl 0997.68546 San Francisco, CA: Morgan Kaufmann Publ. xix, 535 p. (1996). MSC: 68M10 68-02 PDFBibTeX XMLCite \textit{J. Walrand} and \textit{P. Varaiya}, High-performance communication networks. San Francisco, CA: Morgan Kaufmann Publ. (1996; Zbl 0997.68546)
Kumar, P. R. (ed.); Varaiya, P. P. (ed.) Discrete event systems, manufacturing systems, and communication networks. Based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on control theory, held at the University of Minnesota, Minneapolis, MN, USA. (English) Zbl 0816.00041 The IMA Volumes in Mathematics and its Applications. 73. New York, NY: Springer-Verlag. xvii, 253 p. (1995). MSC: 00B25 93-06 94-06 60-06 68-06 90-06 PDFBibTeX XMLCite \textit{P. R. Kumar} (ed.) and \textit{P. P. Varaiya} (ed.), Discrete event systems, manufacturing systems, and communication networks. Based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on control theory, held at the University of Minnesota, Minneapolis, MN, USA. New York, NY: Springer-Verlag (1995; Zbl 0816.00041)
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin What’s decidable about hybrid automata? (English) Zbl 0978.68534 Proceedings of the 27th annual ACM symposium on the theory of computing (STOC). Las Vegas, NV, USA, May 29 - June 1, 1995. New York, NY: ACM, 373-382 (1995). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., in: Proceedings of the 27th annual ACM symposium on the theory of computing, STOC '95. Las Vegas, NV, USA, May 29 -- June 1, 1995. New York, NY: ACM. 373--382 (1995; Zbl 0978.68534)
Cieslak, Randall A.; Varaiya, Pravin P. Undecidability results for deterministic communicating sequential processes. (English) Zbl 0715.68024 IEEE Trans. Autom. Control 35, No. 9, 1032-1039 (1990). MSC: 68Q05 68Q10 03D35 PDFBibTeX XMLCite \textit{R. A. Cieslak} and \textit{P. P. Varaiya}, IEEE Trans. Autom. Control 35, No. 9, 1032--1039 (1990; Zbl 0715.68024) Full Text: DOI
Inan, Kemal; Varaiya, Pravin Finitely recursive process models for discrete event systems. (English) Zbl 0666.93071 IEEE Trans. Autom. Control 33, No. 7, 626-639 (1988). MSC: 93C30 68N25 90B35 93C55 93B50 PDFBibTeX XMLCite \textit{K. Inan} and \textit{P. Varaiya}, IEEE Trans. Autom. Control 33, No. 7, 626--639 (1988; Zbl 0666.93071) Full Text: DOI
Inan, Kemal; Varaiya, Pravin Finitely recursive processes. (English) Zbl 0644.68038 Discrete event systems: models and applications, IIASA Conf., Sopron/Hung. 1987, Lect. Notes Control Inf. Sci. 103, 1-18 (1988). MSC: 68Q65 68N99 68Q85 PDFBibTeX XML
Cieslak, Randy; Desclaux, C.; Fawaz, Ayman S.; Varaiya, Pravin Supervisory control of discrete-event processes with partial observations. (English) Zbl 0639.93041 IEEE Trans. Autom. Control 33, No. 3, 249-260 (1988). Reviewer: J.Filipiak MSC: 93C99 68Q45 93B50 68N25 93A15 PDFBibTeX XMLCite \textit{R. Cieslak} et al., IEEE Trans. Autom. Control 33, No. 3, 249--260 (1988; Zbl 0639.93041) Full Text: DOI
Courcoubetis, C.; Varaiya, P. Optimal resource allocation for two processes. (English) Zbl 0601.90080 AT&T Bell Lab. Tech. J. 64, 1-14 (1985). MSC: 90B35 68M20 PDFBibTeX XMLCite \textit{C. Courcoubetis} and \textit{P. Varaiya}, AT\& T Bell Lab. Tech. J. 64, 1--14 (1985; Zbl 0601.90080)
Buyukkoc, C.; Varaiya, P.; Walrand, J. The c\(\mu\) rule revisited. (English) Zbl 0557.60082 Adv. Appl. Probab. 17, 237-238 (1985). MSC: 60K25 90B22 93E20 68M20 60K30 PDFBibTeX XMLCite \textit{C. Buyukkoc} et al., Adv. Appl. Probab. 17, 237--238 (1985; Zbl 0557.60082) Full Text: DOI
Walrand, Jean; Varaiya, Pravin Interconnections of Markov chains and quasi-reversible queuing networks. (English) Zbl 0441.60092 Stochastic Processes Appl. 10, 209-219 (1980). MSC: 60K20 60K25 68M20 90B22 PDFBibTeX XMLCite \textit{J. Walrand} and \textit{P. Varaiya}, Stochastic Processes Appl. 10, 209--219 (1980; Zbl 0441.60092) Full Text: DOI
Walrand, Jean; Varaiya, Pravin Calculation of response time in closed networks of queues. (English) Zbl 0498.68025 Mathematical theory of networks and systems, int. Symp., Delft 1979, Vol. 3, 357-361 (1979). MSC: 68M20 68U20 PDFBibTeX XML
Burkhard, W. A.; Varaiya, P. P. Complexity problems in real time languages. (Russian) Zbl 0289.02022 Sloznost’ Vycisl. Algorit. 235-251 (1974). MSC: 03D10 68Q45 68Q25 PDFBibTeX XML
Burkhard, W. A.; Varaiya, P. P. Complexity problems in real time languages. (English) Zbl 0222.02041 Inf. Sci. 3, 87-100 (1971). MSC: 03D15 03D10 68Q15 PDFBibTeX XMLCite \textit{W. A. Burkhard} and \textit{P. P. Varaiya}, Inf. Sci. 3, 87--100 (1971; Zbl 0222.02041) Full Text: DOI