Supervisory Control for the AODV Routing Protocol

The model of the AODV routing protocol, being favorable in several wireless networks (VANET, ZigBee etc.) is presented for a network with parametric number of nodes in the Ramadge Wonham (RW) framework of discrete event systems. Simulation of the automaton of the protocol, for a given four-node network, is provided. For a generic network consisting of n nodes, the goal is to introduce a first simple hierarchy of the requests of the nodes and the routing paths. To this end, a specification is introduced to express the desired hierarchy. The specification of the hierarchy is presented in the form of a simple rule. The rule is translated to a regular language. A supervisor automaton is designed to realize the desired regular language. The nonblocking property of the request flow between the nodes of the network and the satisfactory marked behavior of the controlled automaton are proved. To illustrate the effectiveness of the present control scheme, a four-node network simulation of the controlled automaton of the protocol is provided.