Pravin Varaiya

Orcid: 0000-0002-1900-9932

Affiliations:
  • University of California, Berkeley, USA


According to our database1, Pravin Varaiya authored at least 194 papers between 1967 and 2023.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1980, "For fundamental contributions to the theory and control of large-scale stochastic systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Mobile Energy Storage in Power Network: Marginal Value and Optimal Operation.
CoRR, 2023

2022
Mobile Storage for Demand Charge Reduction.
IEEE Trans. Intell. Transp. Syst., 2022

Automated Vehicle Safety and Deployment: Lessons from Human Crashes.
Proceedings of the International Conference on Connected Vehicle and Expo, 2022

The Value of Pooling in Last-Mile Delivery.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Electric Vehicle Battery Sharing Game for Mobile Energy Storage Provision in Power Networks.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Selling Demand Response Using Options.
IEEE Trans. Smart Grid, 2021

Optimal Resource Procurement and the Price of Causality.
IEEE Trans. Autom. Control., 2021

Queue Length Estimation from Connected Vehicles with Low and Unknown Penetration Level.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Risk Assessment of Autonomous Vehicles across Diverse Driving Contexts.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Marginal Value of Mobile Energy Storage in Power Network.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Mechanism Design for Demand Response Programs.
IEEE Trans. Smart Grid, 2020

Large-Scale Traffic Signal Offset Optimization.
IEEE Trans. Control. Netw. Syst., 2020

Safety Challenges for Autonomous Vehicles in the Absence of Connectivity.
CoRR, 2020

Pavement performance assessment using a cost-effective wireless accelerometer system.
Comput. Aided Civ. Infrastructure Eng., 2020

Market implementation of multiple-arrival multiple-deadline differentiated energy services.
Autom., 2020

Impact of Driver Classification Regulations on Transportation Network Companies.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Off-Street Parking for TNC Vehicles to Reduce Cruising Traffic.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Piggyback on TNCs for Electricity Services: Spatial Pricing and Synergetic Value.
Proceedings of the 2020 American Control Conference, 2020

2019
The Sharing Economy for the Electricity Storage.
IEEE Trans. Smart Grid, 2019

Sharing Storage in a Smart Grid: A Coalitional Game Approach.
IEEE Trans. Smart Grid, 2019

Analysis of Solar Energy Aggregation Under Various Billing Mechanisms.
IEEE Trans. Smart Grid, 2019

Estimating Phase Duration for SPaT Messages.
IEEE Trans. Intell. Transp. Syst., 2019

A Queuing Approach to Parking: Modeling, Verification, and Prediction.
CoRR, 2019

Distributed Storage Investment in Power Networks.
Proceedings of the 2019 American Control Conference, 2019

Data-Driven Capacity Bidding for Frequency Regulation.
Proceedings of the 2019 American Control Conference, 2019

Strategic Information Platforms in Transportation Networks.
Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018
Rate-Constrained Energy Services in Electricity.
IEEE Trans. Smart Grid, 2018

Flexible Market for Smart Grid: Coordinated Trading of Contingent Contracts.
IEEE Trans. Control. Netw. Syst., 2018

An Intelligent Intersection.
CoRR, 2018

2018 European Control Conference (ECC) June 12-15, 2018. Limassol, Cyprus Optimal Energy Reserve Procurement.
Proceedings of the 16th European Control Conference, 2018

Direct Data-Driven Methods for Risk Limiting Dispatch.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Automatic Power Exchange for Distributed Energy Resource Networks: Flexibility Scheduling and Pricing.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Conic Approximation with Provable Guarantee for Traffic Signal Offset Optimization.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Baseline Estimation and Scheduling for Demand Response.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Optimizing Offsets in Signalized Traffic Networks: A Case Study.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017
Development of a Cost-Effective Wireless Vibration Weigh-In-Motion System to Estimate Axle Weights of Trucks.
Comput. Aided Civ. Infrastructure Eng., 2017

Effect of adaptive and cooperative adaptive cruise control on throughput of signalized arterials.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2017

2016
Duration-Differentiated Energy Services With a Continuum of Loads.
IEEE Trans. Control. Netw. Syst., 2016

The Sharing Economy for the Smart Grid.
CoRR, 2016

Traffic Predictive Control from Low-Rank Structure.
CoRR, 2016

Measuring Impact of Adaptive and Cooperative Adaptive Cruise Control on Throughput of Signalized Intersections.
CoRR, 2016

Queue-length estimation using real-time traffic data.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Sharing electricity storage.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Model and data analysis of two-settlement electricity market with virtual bidding.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Mechanism design for self-reporting baselines in Demand Response.
Proceedings of the 2016 American Control Conference, 2016

On the existence of near-optimal fixed time control of traffic intersection signals.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015
PointQ model of an arterial network: calibration and experiments.
CoRR, 2015

Equilibria in two-stage electricity markets.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Offset optimization for a network of signalized intersections via semidefinite relaxation.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Duration-deadline jointly differentiated energy services.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Low-dimensional models in spatio-temporal wind speed forecasting.
Proceedings of the American Control Conference, 2015

The real value of load flexibility - congestion free dispatch.
Proceedings of the American Control Conference, 2015

2014
RSSI-Fingerprinting-Based Mobile Phone Localization With Route Constraints.
IEEE Trans. Veh. Technol., 2014

A Wireless Accelerometer-Based Automatic Vehicle Classification Prototype System.
IEEE Trans. Intell. Transp. Syst., 2014

Compressive Origin-Destination Matrix Estimation.
CoRR, 2014

Rate-constrained Energy Services: Allocation Policies and Market Decisions.
CoRR, 2014

Duration-Differentiated Services in Electricity.
CoRR, 2014

Control Experiments for a Network of Signalized Intersections Using the '.Q' Simulator.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

High-resolution sensing of urban traffic.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

2013
Real-Time Scheduling of Distributed Resources.
IEEE Trans. Smart Grid, 2013

In-pavement wireless weigh-in-motion.
Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013

A statistically robust payment sharing mechanism for an aggregate of renewable energy producers.
Proceedings of the 12th European Control Conference, 2013

Aggregate flexibility of a collection of loadsπ.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Selling Random Wind.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

Optimal power and reserve capacity procurement policies with deferrable loads.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Real-time scheduling of deferrable electric loads.
Proceedings of the American Control Conference, 2012

Risk limiting dispatch of wind power.
Proceedings of the American Control Conference, 2012

Optimal sharing of quantity risk for a coalition of wind power producers facing nodal prices.
Proceedings of the American Control Conference, 2012

2011
Smart Operation of Smart Grid: Risk-Limiting Dispatch.
Proc. IEEE, 2011

Theory and computational techniques for analysis of discrete-time control systems with disturbances.
Optim. Methods Softw., 2011

Optimization of Output Feedback Control Under Set-Membership Uncertainty.
J. Optim. Theory Appl., 2011

Reach set computation and control synthesis for discrete-time dynamical systems with disturbances.
Autom., 2011

GRIP - Grids with intelligent periphery: Control architectures for Grid2050<sup>π</sup>.
Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

Arterial travel time estimation based on vehicle re-identification using magnetic sensors: Performance analysis.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

In-pavement wireless sensor network for vehicle classification.
Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

A Power Efficient Modulation Technique for High-Speed Communication over Wired Channels.
Proceedings of the Global Communications Conference, 2011

2010
TDMA scheduling algorithms for wireless sensor networks.
Wirel. Networks, 2010

Real-Time Measurement of Link Vehicle Count and Travel Time in a Road Network.
IEEE Trans. Intell. Transp. Syst., 2010

On synthesizing team target controls under obstacles and collision avoidance.
J. Frankl. Inst., 2010

Simultaneous Sequential Detection of Multiple Interacting Faults
CoRR, 2010

Simulation-based optimization of Markov decision processes: An empirical process theory approach.
Autom., 2010

A new approach for combined freeway Variable Speed Limits and Coordinated Ramp Metering.
Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

Optimal contracts for wind power producers in electricity markets.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Combining Variable Speed Limits with Ramp Metering for freeway traffic control.
Proceedings of the American Control Conference, 2010

Using Aurora Road Network Modeler for Active Traffic Management.
Proceedings of the American Control Conference, 2010

2008
Performance Analysis of Slotted Carrier Sense IEEE 802.15.4 Medium Access Layer.
IEEE Trans. Wirel. Commun., 2008

Formulation of Distributed Coordination Function of IEEE 802.11 for Asynchronous Networks: Mixed Data Rate and Packet Size.
IEEE Trans. Veh. Technol., 2008

Adaptive Acoustic Beamformer With Source Tracking Capabilities.
IEEE Trans. Signal Process., 2008

Performance Analysis of Slotted Carrier Sense IEEE 802.15.4 Acknowledged Uplink Transmissions.
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

Distributed Online Simultaneous Fault Detection for Multiple Sensors.
Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

Pairwise Algorithm for Distributed Transmit Beamforming.
Proceedings of IEEE International Conference on Communications, 2008

2007
Energy efficient routing with delay guarantee for sensor networks.
Wirel. Networks, 2007

Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems.
IEEE Trans. Autom. Control., 2007

Unequal Importance Image Communication over Heterogeneous Networks.
Proceedings of the 65th IEEE Vehicular Technology Conference, 2007

Decomposition of Energy Consumption in IEEE 802.11.
Proceedings of IEEE International Conference on Communications, 2007

Wideband Adaptive Beamforming System for Speech Recording.
Proceedings of the IEEE International Conference on Acoustics, 2007

2006
PEDAMACS: Power Efficient and Delay Aware Medium Access Protocol for Sensor Networks.
IEEE Trans. Mob. Comput., 2006

Heuristic methods for delay constrained least cost routing using κ-shortest-paths.
IEEE Trans. Autom. Control., 2006

Ellipsoidal Techniques for Reachability Under State Constraints.
SIAM J. Control. Optim., 2006

Simulation-based Uniform Value Function Estimates of Markov Decision Processes.
SIAM J. Control. Optim., 2006

Smart pay access control via incentive alignment.
IEEE J. Sel. Areas Commun., 2006

A comparison principle for equations of the Hamilton-Jacobi type in set-membership filtering.
Commun. Inf. Syst., 2006

Estimating network internal link loss behavior from end-to-end multi-cast measurements.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2006

Throughput performance of a wireless VoIP model with packet aggregation in IEEE 802.11.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2006

Universal Quantile Estimation with Feedback in the Communication-Constrained Setting.
Proceedings of the Proceedings 2006 IEEE International Symposium on Information Theory, 2006

Effects of A-D conversion nonidealities on distributed sampling in dense sensor networks.
Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

Optimal Placement of Relay Nodes for Energy Efficiency in Sensor Networks.
Proceedings of IEEE International Conference on Communications, 2006

Ellipsoidal Toolbox (ET).
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005
Throughput Analysis and Admission Control for IEEE 802.11a.
Mob. Networks Appl., 2005

On multi-hop routing for energy efficiency.
IEEE Commun. Lett., 2005

Saturation throughput analysis of IEEE 802.11 wireless LANs for a lossy channel.
IEEE Commun. Lett., 2005

Reducing Highway Congestion: An Empirical Approach.
Eur. J. Control, 2005

Bandwidth Guaranteed Routing for Ad Hoc Networks with Interference Consideration.
Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005

Bode Lecture: Reducing Highway Congestion: An Empirical Approach.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

On Verification of Controlled Hybrid Dynamics through Ellipsoidal Techniques.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Efficient Market Mechanisms for Network Resource Allocation.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004
WTRP - wireless token ring protocol.
IEEE Trans. Veh. Technol., 2004

Scalar estimation and control with noisy binary observations.
IEEE Trans. Autom. Control., 2004

PAC learning for Markov decision processes and dynamic games.
Proceedings of the 2004 IEEE International Symposium on Information Theory, 2004

Throughput analysis of an extended service set in IEEE 802.11.
Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

Task planning and execution for UAV teams.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Grid discretization based method for anisotropic shortest path problem over continuous regions.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Simulation-based uniform value function estimates of discounted and average-reward MDPs.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Router Scheduling Configuration Based on the Maximization of Benefit and Carried Best Effort Traffic.
Telecommun. Syst., 2003

QoS aware adaptive resource allocation techniques for fair scheduling in OFDMA based broadband wireless access systems.
IEEE Trans. Broadcast., 2003

Mechanism Design for Networking Research.
Inf. Syst. Frontiers, 2003

Combination Exchange Mechanisms for Efficient Bandwidth Allocation.
Commun. Inf. Syst., 2003

Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs.
Proceedings of the 28th Annual IEEE Conference on Local Computer Networks (LCN 2003), 2003

Wireless Token Ring Protocol-Performance Comparison with IEEE 802.11.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

Power Efficient System for Sensor Networks.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003

Pricing Network Services.
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

Noisy data-rate limited estimation: renewal codes.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Structure and interpretation of signals and systems.
Addison-Wesley, ISBN: 978-0-201-74551-1, 2003

2002
On Reachability Under Uncertainty.
SIAM J. Control. Optim., 2002

On Ellipsoidal Techniques for Reachability Analysis. Part II: Internal Approximations Box-valued Constraints.
Optim. Methods Softw., 2002

On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations.
Optim. Methods Softw., 2002

Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks.
Proceedings of the International Conference on Internet Computing, 2002

Control under communication constraints.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Design of Autonomous, Distributed Systems.
Proceedings of the Embedded Software, First International Workshop, 2001

Communication and control of distributed hybrid systems.
Proceedings of the American Control Conference, 2001

2000
Control design of an automated highway system.
Proc. IEEE, 2000

Ellipsoidal Techniques for Reachability Analysis.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
Providing Internet access: what we learn from INDEX.
IEEE Netw., 1999

Internet demand under different pricing schemes.
Proceedings of the First ACM Conference on Electronic Commerce (EC-99), 1999

Design, Simulation, and Implementation of Hybrid Systems.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
What's Decidable about Hybrid Automata?
J. Comput. Syst. Sci., 1998

1997
Capacity of fading channels with channel side information.
IEEE Trans. Inf. Theory, 1997

Using Augmented Infinitesimal Perturbation Analysis for Capacity Planning in Intree ATM Networks.
Discret. Event Dyn. Syst., 1997

SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation).
Proceedings of the Hybrid and Real-Time Systems, 1997

MinISO: A Minimal Independent System Operator.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996
Capacity, mutual information, and coding for finite-state Markov channels.
IEEE Trans. Inf. Theory, 1996

A Class of Rectangular Hybrid Systems with Computable Reach Set.
Proceedings of the Hybrid Systems IV, 1996

SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata.
Proceedings of the Hybrid Systems IV, 1996

Decidability of Hybrid Systems with Linear and Nonlinear Differential Inclusions.
Proceedings of the Hybrid Systems IV, 1996

High-performance communication networks.
Morgan Kaufmann, ISBN: 978-1-55860-341-7, 1996

1995
Burst reducing servers in ATM networks.
Queueing Syst. Theory Appl., 1995

Bifurcation, chaos, and voltage collapse in power systems.
Proc. IEEE, 1995

Billing Users and Pricing for TCP.
IEEE J. Sel. Areas Commun., 1995

Models and performance of real-time disk access policies.
Comput. Commun., 1995

Epsilon-Approximation of Differential Inclusions.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

Stability of Hybrid Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

Design and Evaluation Tools for Automated Highway Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

The Rabin Index and Chain Automata, with Applications to Automatas and Games.
Proceedings of the Computer Aided Verification, 1995

1994
Control of multiple service, multiple resource communication networks.
IEEE Trans. Commun., 1994

The Entropy of Traffic Streams in ATM Virtual Circuits.
Proceedings of the Proceedings IEEE INFOCOM '94, 1994

An Algorithm for Optimal Service Provisioning using Resource Pricing.
Proceedings of the Proceedings IEEE INFOCOM '94, 1994

Verification of Hybrid Systems Using Abstractions.
Proceedings of the Hybrid Systems II, 1994

Viable Control of Hybrid Systems.
Proceedings of the Hybrid Systems II, 1994

Decidability of Hybrid Systems with Rectangular Differential Inclusion.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

Suspension Automata: A Decidable Class of Hybrid Automata.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993
A new approach to service provisioning in ATM networks.
IEEE/ACM Trans. Netw., 1993

Smart cars on smart roads: problems of control.
IEEE Trans. Autom. Control., 1993

Automated Highway System Experiments in the Path Program.
J. Intell. Transp. Syst., 1993

Protocol design for an automated highway system.
Discret. Event Dyn. Syst., 1993

A Deterministic Fluid Model for Cell Loss in ATM Networks.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Performance Analysis of Parallel ATM Connections for Gigabit Speed Applications.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Burstiness Bounds for Some Burst Reducing Servers.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Stability of a Class of Dynamic Routing Protocols (IGRP).
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Protocol Design for an Automated Highway System (Abstract).
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
An Analytic Model for Real-Time Multimedia Disk Scheduling.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1992

Coordinating Vehicles in an Automated Highway.
Proceedings of the Future Tendencies in Computer Science, 1992

1991
Throughput in multiple service, multiple resource communication networks.
IEEE Trans. Commun., 1991

1989
Algebras of discrete event models.
Proc. IEEE, 1989

The Programmable Network Prototyping System.
Computer, 1989

1985
Direct methods for transient stability analysis of power systems: Recent results.
Proc. IEEE, 1985

Optimal resource allocation for two processes.
AT&T Tech. J., 1985

1984
Blocking probability in a switching center with arbitrary routing policy.
AT&T Bell Lab. Tech. J., 1984

1983
Optimal causal coding - decoding problems.
IEEE Trans. Inf. Theory, 1983

Multi-Armed Bandit Problems and Resource Sharing Systems.
Proceedings of the Computer Performance and Reliability, 1983

1981
Flows in Queueing Networks: A Martingale Approach.
Math. Oper. Res., 1981

1972
A Critique of Forrester's Model of an Urban Area.
IEEE Trans. Syst. Man Cybern., 1972

1971
Complexity problems in real time languages.
Inf. Sci., 1971

1969
The epsilon-Capacity of Classes of Unknown Channels
Inf. Control., April, 1969

1967
Affine Dynamical Systems.
J. Comput. Syst. Sci., 1967


  Loading...