channels as channel models.
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 au-tomata. By improving on previous decidability and un-decidability results, we identify the precise boundary between decidability and undecidability of the… (More)
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)
— 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)
In IEEE 802.11 wireless LANs, the DCF access method and the PCF access method operate alternatively within a superframe to service the time-varying traffic demands. Due to different medium access mechanisms deployed by DCF and PCF, they work well for some particular types of traffic scenarios respectively, while their performance may degrade under some… (More)
A hybrid system models both discrete event and continuous dynamics. We present a modeling formalism and a veriication methodology for hybrid systems. The veriication methodology is based on abstracting the continuous dynamics in the hybrid system by simpler continuous dynamics. We present two methods for doing this: in the rst method, a diierential… (More)
—The idea of extending Mobile IP capabilities to ad-hoc networks introduces fast agent discovery, increases cell coverage of access points, and extends ad-hoc network size by providing connection to the Internet. We aim to show that an adaptive protocol is required since different protocols are optimum for different environments. We propose two protocols… (More)
— 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… (More)