In this paper we propose to implement supervisory control by extending the plant Finite State Machine (FSM). Plant and supervisor are modeled by regular FSM. Supervisory control is introduced by extending the plant with boolean variables, guard formulas and updating functions. Boolean variables are used to encode the supervisor's states. Event observation is captured by a set of boolean functions that update the value of boolean variables and are triggered by the occurrence of events. Finally, control is introduced by guarding events with boolean formulas. The resulting Extended Finite State Machine (EFSM) implements the supervisory control map in the sense that the languages closed and marked by the EFSM are equal to those of the supervised system. An application of our approach in the synthesis of communication protocols is presented.keywords discrete-event systems, extended finite state machines, supervisory control, protocol design.
WireWireless sensor networks(WSNs) are generally comprised of densely deployed sensor nodes, which causes highly redundant sensor data transmission and energy waste. Many studies have focused on energy saving in WSNs. However, delay problem also should be taken into consideration for mission-critical applications. In this paper, we propose a BISA (Bio-Inspired Scheduling Algorithm) to reduce the energy consumption and delay for WSNs inspired by biological systems. BISA investigates energy-efficient routing path and minimizes the energy consumption and delay using multi-channel for data transmission. Through simulations, we observe that the BISA archives energy efficiency and delay guarantees.
This paper proposes a scheme for distributed load balancing in mobile communication networks based on supervisory control framework. Using load information exchanged with neighboring cells, the "supervisors" that reside in the base stations distribute load among cells by controlling handover parameters in a distributed manner. The supervisors are designed so that the load difference among neighboring cells are kept under a pre-defined value. Results from systematic analysis and simulation indicate that our scheme effectively balances traffic load among cells and reduces call blocking rate of the overloaded cells.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.