Stabilization in Dynamic Systems with Varying Equilibrium

System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operation, such as the environment or external system inputs. In this paper, we formulate the maintenance of optimality of performance in dynamical systems in terms of the standard notion of stabilization. For systems with observable external inputs and computable optimality, stabilization may be achieved by adding a stabilizing input estimator to the system. But environments and external inputs are often unobservable. To overcome this difficulty, we present two alternative methods, one based on a game-theoretic MinMax strategy that leads to Nash equilibrium, and the other based on a feedback control mechanism that adds a stabilizing output transformer to the system. We exemplify these two approaches with a pursuit-evasion application and a MAC layer duty cycle adaptation protocol, respectively.

[1]  Emre Ertin,et al.  MiniMax equilibrium of networked differential games , 2008, TAAS.

[2]  Boaz Patt-Shamir,et al.  Asynchronous and Fully Self-stabilizing Time-Adaptive Majority Consensus , 2005, OPODIS.

[3]  M. Sridharan,et al.  Differential games in large-scale sensor-actuator networks , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.

[4]  Oliver E. Theel Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms , 2000, DISC.

[5]  Anish Arora,et al.  Unifying stabilization and termination in message-passing systems , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[6]  Oliver E. Theel,et al.  Verification of orbitally self-stabilizing distributed algorithms using Lyapunov functions and Poincare maps , 2006, 12th International Conference on Parallel and Distributed Systems - (ICPADS'06).

[7]  Zohar Manna,et al.  Models for reactivity , 1993, Acta Informatica.

[8]  Boaz Patt-Shamir,et al.  Adaptive Stabilization of Reactive Protocols , 2004, FSTTCS.

[9]  Anish Arora,et al.  Closure and Convergence: A Foundation of Fault-Tolerant Computing , 1993, IEEE Trans. Software Eng..

[10]  Mohamed G. Gouda,et al.  Adaptive Programming , 1991, IEEE Trans. Software Eng..

[11]  Anish Arora,et al.  O-MAC: A Receiver Centric Power Management Protocol , 2006, Proceedings of the 2006 IEEE International Conference on Network Protocols.

[12]  H. Vincent Poor,et al.  On minimax robustness: A general approach and applications , 1984, IEEE Trans. Inf. Theory.

[13]  Chen Zhang,et al.  ExScal: elements of an extreme scale wireless sensor network , 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

[14]  Shlomi Dolev,et al.  Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms , 2006, OPODIS.

[15]  Xavier Défago,et al.  Towards a Theory of Self-organization , 2005, OPODIS.

[16]  Shay Kutten,et al.  Optimal reactive k-stabilization: the case of mutual exclusion , 1999, PODC '99.