Pravin Varaiya
Publications by Year
Research Areas
Traffic control and management, Traffic Prediction and Management Techniques, Transportation Planning and Optimization, Formal Methods in Verification, Smart Grid Energy Management
Most-Cited Works
- → Capacity of fading channels with channel side information(1997)2,045 cited
- → Smart cars on smart roads: problems of control(1993)1,359 cited
- → Survey of decentralized control methods for large scale systems(1978)1,079 cited
- → Freeway Performance Measurement System: Mining Loop Detector Data(2001)696 cited
- → Supervisory control of discrete-event processes with partial observations(1988)566 cited
- → Max pressure control of a network of signalized intersections(2013)557 cited
- → What's decidable about hybrid automata?(1995)520 cited