Abstract：

We present a new methodology to design wireless communication network protocols based on the decomposition of protocols into fundamental components. The new formal and model-based approach allows a systematic study of network performance and cross-layer analysis and design of routing, scheduling, MAC and PHY layer protocols. The routing protocol is divided into multiple components. We use the method to design new and improved neighbor discovery and topology dissemination components for mobile wireless networks. To analyze and optimize the topology dissemination component we introduce the stable path topology control problem for link-state routing in mobile multihop networks. We formulate the selective link-state broadcast as a graph pruning problem with restricted local neighborhood information and we develop general conditions for the distributed local policies to preserve the stable routing paths globally. We provide an efficient algorithm, to compute these local policies that yield a pruned graph. We demonstrate that this algorithm, when used with the popular ETX metric, outperforms topology control mechanisms commonly used for Mobile Ad Hoc Networks such as in the OLSR protocol. We illustrate, using examples, that composition operators used in many function computations in a networked system follow the semiring axioms. We present an abstract framework, using a special idempotent semiring algebraic path problem, to handle multiple metrics for composition. Under this framework, we identify a class of tractable composition rules that can be solved efficiently in different multi-criteria settings. We demonstrate, using an example from trusted routing, that logical security rules of admission control can be combined with delay performance metrics using this multi-criteria optimization framework.

Biography: