{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:59:46Z","timestamp":1725494386167},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766261"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76627-8_8","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T15:44:09Z","timestamp":1194277449000},"page":"67-81","source":"Crossref","is-referenced-by-count":1,"title":["Stabilization in Dynamic Systems with Varying Equilibrium"],"prefix":"10.1007","author":[{"given":"Hui","family":"Cao","sequence":"first","affiliation":[]},{"given":"Anish","family":"Arora","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: Models for reactivity. Informatica, 609\u2013678 (1993)","DOI":"10.1007\/BF01191722"},{"issue":"9","key":"8_CR2","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1109\/32.92911","volume":"17","author":"M.G. Gouda","year":"1991","unstructured":"Gouda, M.G., Herman, T.: Adaptive programming. IEEE Transaction of Software Engineering\u00a017(9), 911\u2013921 (1991)","journal-title":"IEEE Transaction of Software Engineering"},{"issue":"10","key":"8_CR3","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/32.256850","volume":"19","author":"A. Arora","year":"1993","unstructured":"Arora, A., Gouda, M.: Closure and convergence: A foundation of fault-tolerant computing. IEEE Transactions on Software Engineering\u00a019(10), 1015\u20131027 (1993)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1007\/978-3-540-30538-5_33","volume-title":"FSTTCS 2004","author":"S. Kutten","year":"2004","unstructured":"Kutten, S., Patt-Shamir, B.: Adaptive stabilization of reactive protocols. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, pp. 396\u2013407. Springer, Heidelberg (2004)"},{"issue":"3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00446-004-0111-6","volume":"17","author":"A. Arora","year":"2005","unstructured":"Arora, A., Nesterenko, M.: Unifying stabilization and termination in message-passing systems. Distributed Computing\u00a017(3), 279\u2013290 (2005)","journal-title":"Distributed Computing"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"OPODIS 2005","author":"J. Burman","year":"2006","unstructured":"Burman, J., Kutten, S., Herman, T., Patt-Shamir, B.: Asynchronous and fully self-Stabilizing time-adaptive majority consensus. In: Anderson, J.H., Prencipe, G., Wattenhofer, R. (eds.) OPODIS 2005. LNCS, vol.\u00a03974, Springer, Heidelberg (2006)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Beauquier, J., Genolini, C., Kutten, S.: Optimal reactive k-stabilization: the case of mutual exclusion. In: PODC. Proceedings of the 18th ACM Symposium on Principles of Distributed Computing, pp. 209\u2013218 (1999)","DOI":"10.1145\/301308.301359"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"DISC 2000","author":"O. Theel","year":"2000","unstructured":"Theel, O.: Exploitation of Lyapunov Theory for Verifying Self-Stabilizing Algorithms. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol.\u00a01914, Springer, Heidelberg (2000)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Dhama, A., Oehlerking, J., Theel, O.: Verification of Orbitally Self-stabilizing Distributed Algorithms using Lyapunov Functions and Poincar\u00e9 Maps. In: Proceedings of the 12th International Conference on Parallel and Distributed Systems (2006)","DOI":"10.1109\/ICPADS.2006.108"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"OPODIS 2005","author":"E. Anceaume","year":"2006","unstructured":"Anceaume, E., D\u00e9fago, X., Gradinariu, M., Roy, M.: Towards a Theory of Self-organization. In: Anderson, J.H., Prencipe, G., Wattenhofer, R. (eds.) OPODIS 2005. LNCS, vol.\u00a03974, Springer, Heidelberg (2006)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/11864219","volume-title":"OPODIS 2006","author":"S. Dolev","year":"2006","unstructured":"Dolev, S., Tzachar, N.: Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms. In: Shvartsman, A.A. (ed.) OPODIS 2006. LNCS, vol.\u00a04305, Springer, Heidelberg (2006)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/978-3-540-49823-0_16","volume-title":"SSS 2006","author":"A. Dasgupta","year":"2006","unstructured":"Dasgupta, A., Ghosh, S., Tixeuil, S.: Selfish stabilization. In: Datta, A.K., Gradinariu, M. (eds.) SSS 2006. LNCS, vol.\u00a04280, pp. 231\u2013243. Springer, Heidelberg (2006)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Arora, A., Ramnath, R., Ertin, E., Bapat, S., Naik, V., Cao, H., et al.: ExScal: Elements of an extreme wireless sensor network. In: Proceedings of the 11th International Conference on Embedded and Real-Time Computing Systems and Applications (2005)","DOI":"10.1109\/RTCSA.2005.47"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Cao, H., Ertin, E., Kulathumani, V., Sridharan, M., Arora, A.: Differential Games in Large Scale Sensor Actuator Networks. In: IPSN. Proceedings of the 5th International Conference on Information Processing in Sensor Networks (2006)","DOI":"10.1145\/1127777.1127792"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Cao, H., Ertin, E., Arora, A.: MiniMax Equilibrium of Networked Differential Games, Technical Report OSU-CISRC-4\/07 (2007)","DOI":"10.1145\/1452001.1452004"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1109\/TIT.1984.1056876","volume":"IT-30","author":"S. Verdu","year":"1984","unstructured":"Verdu, S., Poor, H.: On minimax robustness: A general approach and applications. IEEE Transactions on Information Theory\u00a0IT-30, 328\u2013340 (1984)","journal-title":"IEEE Transactions on Information Theory"},{"key":"8_CR17","volume-title":"ICNP","author":"H. Cao","year":"2006","unstructured":"Cao, H., Parker, K.W., Arora, A.: O-MAC: a receiver centric power management protocol. In: ICNP. Proceedings of the 14th IEEE International Conference on Network Protocols, IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"8_CR18","unstructured":"Cao, H., Arora, A., Parker, K.W., Lai, T.H.: Continuous asynchronous discovery with efficient synchronous communication for mobile networks, Technical Report OSU-CISRC-4\/07 (2007)"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76627-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:55:31Z","timestamp":1619520931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76627-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540766261"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76627-8_8","relation":{},"subject":[]}}