Ph.D. Dissertations - Pravin Varaiya

Wireless Weigh-In-Motion: using road vibrations to estimate truck weights
Ravneet Bajwa [2013]

Large Monitoring Systems: Data Analysis, Design and Deployment
Ram Rajagopal [2009]

Games for the Verification of Timed Systems
Vinayak Prabhu [2008]

Modeling and Software Tools for Freeway Operational Planning
Alex A. Kurzhanskiy [2007]

Effect of Slow Fading and Adaptive Modulation on TCP/UDP Performance of High-Speed Packet Wireless Networks
Xuanming Dong [2006]

Localization Using Multidimensional Scaling (LMDS)
Duke Lee [2005]

Wireless Sensor Networks: Energy Efficiency, Delay Guarantee and Fault Tolerance
Sinem Coleri Ergen [2005]

Anytime Channel Coding with Feedback
Hidayet T. Simsek [2004]

Efficient Market Mechanisms and Simulation-Based Learning for Multi-Agent Systems
Rahul Jain [2004]

I-WLAN: Intelligent Wireless Local Area Networking
Mustafa Ergen [2004]

On Constrained Optimal Path Problems and Applications
Zhanfeng Jia [2004]

Freeway Performance Measurement System (PeMS)
Chao Chen [2002]

Internet Demand Experiment: Technology and Market Trial
Richard J. Edell [2001]

Coordinating Automated Vehicles via Communication
Soheila V. Bana [2000]

Design of Accelerometer-Based Gyro-Free Navigation Systems
Kirill S. Mostov [2000]

Incidents on the Freeway: Detection and Management
Karl F. Petty [1997]

Modeling and Simulation of the Automated Highway System
Farokh H. Eskafi [1996]

Formal Verification of Discrete Event and Hybrid Systems
Sonia R. Sachs [1995]

Object Management Systems
Aleks O. Göllü [1995]

Theory of Hybrid Systems and Discrete Event Systems
Anuj Puri [1995]

Control of Hybrid Systems
Akash R. Deshpande [1994]

Design and Evaluation Tool for Network Applications
Charles A. Brooks [1994]

Design and Performance of High-Speed Communication Systems over Time-Varying Radio Channels
Andrea J. Goldsmith [1994]

Estimation in Randomly Time-Varying Systems with Application to Digital Communications
Ahmad R. Shaikh Bahai [1994]

High-Speed Network Traffic: Characterization and Control
Nina A. Taft-Plotkin [1994]

Real-Time Scheduling Policies for Multimedia Storage Systems
James C.-S. Yee [1994]

Congestion Control and Traffic Modeling in Broadband Networks
Michael K.-H. Wong [1993]

Verification and Control of Real-Time Discrete Event Dynamical Systems
Jennifer A. McManis [1993]

Traffic Management of ATM Networks: Service Provisioning, Routing, and Traffic Shaping
Steven H. Low [1992]

Optional Forward Contracts for Electric Power Markets
Thomas W. Gedra [1991]

Prices for Interruptible Electric Power Services
Chin-Woo Tan [1990]

Undecidability Results and Real-Time Semantics for Finitely Recursive Processes
Randall A. Cieslak [1988]

The Design and Evaluation of a Universal Communication Network Controller
Ayman S. Fawaz [1988]

Numerical Study of Hopf Bifurcation in Multimachine Power Systems
Rong-Liang Chen [1987]

Hardware Emulation of Experimental Communications Networks
Lester F. Ludwig [1986]

Extensions of the Multi-Armed Bandit Problem
Cagatay Buyukkoc [1984]

Chaos and Arnold Diffusion in Dynamical Systems with Application to Power System
Fathi M. Abdel Salam [1983]

Qualitative Analysis of the Swing-Equation in Power Systems
Aristotle Arapostathis [1983]

Stability and Computer Simulation of Power Systems
Nicholas A. Tsolas [1983]

Resolving Conflict among Resource Sharing Processes
Constantin A. Courcoubetis [1982]

Identification and Adaptive Control of Markov Chains
Vivek S. Borkar [1980]

Computer Networks: A Martingale Approach
Jean C. Walrand [1979]

Impulse Control of Stochastic Processes
Hemant Desai [1975]

Optimal Control of Jump Processes
Rene K. Boel [1974]

Competititve Growth Models
Dhananjay R. Paranjpe [1973]

Optimizing Models for Urban Development
Mario D. Ripper [1973]

Dynamic Programming Conditions for Partially Observable Stochastic Systems
Mark H. A. Davis [1972]

An Essentially Non-Probabilistic Approach to Bargaining Theory
Dominique G. Decavèle [1971]

Linear Pursuit-Evasion Games
Wladimir Borgest [1970]

Rate of Convergence and Optimality Properties of Root Finding and Optimization Algorithms
Arthur I. Cohen [1970]

Complexity Problems in Real Time Languages
Walter A. Burkhard [1969]

Equivalence in Nonlinear Circuits
Jai P. Verma [1969]

Theory of Differential Games
Jiguan Lin [1969]

The Epsilon-Capacity of Classes of Unknown Channels
Leonard J. Forys [1968]

System Representations
Dennis J. Eggert [1967]