#### Filter Results:

- Full text PDF available (34)

#### Publication Year

1994

2016

- This year (0)
- Last 5 years (2)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn 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)

- Sinem Coleri Ergen, Mustafa Ergen, Anuj Puri, Ahmad Bahai
- TBC
- 2002

The channel estimation techniques for OFDM systems based on pilot arrangement are investigated. The channel estimation based on comb type pilot arrangement is studied through different algorithms for both estimating channel at pilot frequencies and interpolating the channel. The estimation of channel at pilot frequencies is based on LS and LMS while the… (More)

- Rahul Jain, Anuj Puri, Raja Sengupta
- IEEE Personal Commun.
- 2001

In this paper, we present an algorithm for routing in wireless ad hoc networks using information about geographical location of the nodes. We assume each node knows its geographical position and the position of the node to which it wants to send a packet. Initially, the nodes only know their neighbors but over time they discover other nodes in the network.… (More)

- Anuj Puri
- Discrete Event Dynamic Systems
- 1998

- Anuj Puri, Pravin Varaiya
- CAV
- 1994

A hybrid system is modeled with a nite set of locations and a di erential inclusion associated with each location. We discuss a subclass of hybrid systems with constant rectangular di erential inclusions. The continuous state of the system is x 2 IR n with x i evolving with di erential inclusion _ x i 2 [L i ; U i ] where L i ; U i are integers (i.e., the… (More)

- Anuj Puri, Vivek S. Borkar, Pravin Varaiya
- Hybrid Systems
- 1995

- Sriram C. Krishnan, Anuj Puri, Robert K. Brayton
- ISAAC
- 1994

- Duke Lee, Roberto Attias, Anuj Puri, Raja Sengupta, Stavros Tripakis, Pravin Varaiya
- 2001

The Wireless Token Ring Protocol (WTRP) is a medium access control protocol for wireless networks in Intelligent Transportation Systems. It supports quality of service in terms of bounded latency and reserved bandwidth. WTRP is efficient in the sense that it reduces the number of retransmissions due to collisions. It is fair in the sense that each station… (More)

- Mustafa Ergen, Duke Lee, +4 authors Stavros Tripakis
- 2001

The Wireless Token Ring Protocol (WTRP) is a medium access control protocol for wireless networks in Unmanned Aerial Vehicles. It supports quality of service in terms of bounded latency and reserved bandwidth. This quality of service guarantee is critical in mesh stability of the formation of the vehicles. The communication of the speed and the velocity of… (More)

- Anuj Puri, Pravin Varaiya
- 1996

Hybrid systems combine diierential equations with discrete event systems. We consider the reachability problem: is there a trajectory from an initial state to a target state in the hybrid system. We show that for hybrid systems with decoupled diierential inclusions, the reachability problem can be decided in a nite number of steps.