#### Filter Results:

- Full text PDF available (280)

#### Publication Year

1967

2017

- This year (4)
- Last 5 years (47)
- Last 10 years (107)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Andrea J. Goldsmith, Pravin Varaiya
- IEEE Trans. Information Theory
- 1997

We obtain the Shannon capacity of a fading channel with channel side information at the transmitter and receiver, and at the receiver alone. The optimal power adaptation in the former case is “water-pouring” in time, analogous to water-pouring in frequency for time-invariant frequency-selective fading channels. Inverting the channel results in a large… (More)

- Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
- STOC
- 1995

Hybrid automata model systems with both digital and analog components, such az embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify the precise boundary between decidability and undecidability of the… (More)

- Pravin Varaiya
- 1993

Proponents of Int,elligent Vehicle/Highway System or IVHS see it as a new technology which will make a major change in highway transportation. Control, communication and computing technologies will be combined into an IVHS system that can significantly increase safety and highway capacity without new roads having to be built. This paper outlines key… (More)

- Sofie Pollin, Mustafa Ergen, +6 authors Francky Catthoor
- IEEE Trans. Wireless Communications
- 2006

Advances in low-power and low-cost sensor networks have led to solutions mature enough for use in a broad range of applications varying from health monitoring to building surveillance. The development of those applications has been stimulated by the finalization of the IEEE 802.15.4 standard, which defines the medium access control (MAC) and physical layer… (More)

- Andrea J. Goldsmith, Pravin Varaiya
- IEEE Trans. Information Theory
- 1996

The Finite-State Markov Channel (FSMC) is a discrete time-varying channel whose variation is determined by a finite-state Markov process. These channels have memory due to the Markov channel variation. We obtain the FSMC capacity as a function of the conditional channel state probability. We also show that for i.i.d. channel inputs, this conditional… (More)

- Jean C. Walrand, Pravin Varaiya
- IEEE Trans. Information Theory
- 1983

A system based on orthogonal frequency division multiple access (OFDMA) has been developed to deliver mobile broadband data service at data rates comparable to those of wired services, such as DSL and cable modems. We consider the resource allocation problem of assigning a set of subcarriers and determining the number of bits to be transmitted for each… (More)

- Pravin Varaiya, Felix F. Wu, Janusz W. Bialek
- Proceedings of the IEEE
- 2011

- Sinem Coleri Ergen, Pravin Varaiya
- Wireless Networks
- 2010

Algorithms for scheduling TDMA transmissions in multi-hop networks usually determine the smallest length conflict-free assignment of slots in which each link or node is activated at least once. This is based on the assumption that there are many independent point-to-point flows in the network. In sensor networks however often data are transferred from the… (More)

- Mustafa Ergen, Duke Lee, Raja Sengupta, Pravin Varaiya
- IEEE Trans. Vehicular Technology
- 2004

WTRP (Wireless Token Ring Protocol) is a medium access control (MAC) protocol for wireless networks. The MAC protocol through which mobile stations can share a common broadcast channel is essential in wireless networks. In a IEEE 802.11 network, the contention among stations is not homogeneous due to the existence of hidden terminals, partially connected… (More)