{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:50:36Z","timestamp":1725486636297},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411437"},{"type":"electronic","value":"9783540400264"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40026-5_14","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T19:59:07Z","timestamp":1181678347000},"page":"209-222","source":"Crossref","is-referenced-by-count":5,"title":["Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Theel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"14_CR1","unstructured":"A. Arora. Encyclopedia of Distributed Computing, chapter Stabilization. Kluwer Academic Publishers, 1999."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0020-0190(95)00065-K","volume":"54","author":"J. Desel","year":"1995","unstructured":"J. Desel, E. Kindler, T. Vesper, and R. Walter. A simplified proof for a self-stabilizing protocol: A Game of Cards. Information Processing Letters, 54:327\u2013328, 1995.","journal-title":"Information Processing Letters"},{"issue":"8","key":"14_CR3","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. Dijkstra","year":"1975","unstructured":"E. Dijkstra. Guarded commands, nondeterminacy, and formal derivation of programs. Communications of the Association for Computing Machinery, 18(8):453\u2013457, Aug. 1975.","journal-title":"Communications of the Association for Computing Machinery"},{"issue":"ll","key":"14_CR4","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E. W. Dijkstra","year":"1974","unstructured":"E. W. Dijkstra. Self stabilizing systems in spite of distributed control. Commun. ACM, 17(ll):643\u2013644, 1974.","journal-title":"Commun. ACM"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01843566","volume":"1","author":"E. W. Dijkstra","year":"1986","unstructured":"E. W. Dijkstra. A belated proof of self stabilization. Distributed Computing, 1:5\u20136, 1986.","journal-title":"Distributed Computing"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"O. Follinger. Nichtlineare Regelungen I (in German). R. Oldenburg Verlag, Munich, Germany, 1998.","DOI":"10.1524\/9783110406153"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"M. G. Gouda and T. Herman. Stabilizing Unison. IPL, pages 171\u2013175, August 1990.","DOI":"10.1016\/0020-0190(90)90020-X"},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/12.88464","volume":"40","author":"M. G. Gouda","year":"1991","unstructured":"M. G. Gouda and N. J. Multari. Stabilizing communication protocols. IEEE Transactions on Computers, 40(4):448\u2013458, Apr. 1991.","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"W. Hahn. Stability of Motion. Springer-Verlag, 1967.","DOI":"10.1007\/978-3-642-50085-5"},{"key":"14_CR10","unstructured":"R. Isermann. Digitale Regelsysteme, Band I (in German). Springer-Verlag, New York, 1988. ISBN 0-387-16596-7."},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1115\/1.3662604","volume":"82","author":"R. E. Kalman","year":"1960","unstructured":"R. E. Kalman and J. E. Bertram. Control System Analysis and Design Via the \u201cSecond Method\u201d of Lyapunov-Part I: Continuous-Time Systems. Transactions of the ASME, Journal of Basic Engineering, 82:371\u2013393, June 1960.","journal-title":"Transactions of the ASME, Journal of Basic Engineering"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"R. E. Kalman and J. E. Bertram. Control System Analysis and Design Via the \u201cSecond Method\u201d of Lyapunov-Part II: Discrete-Time Systems. Transactions of the ASME, Journal of Basic Engineering, 82:394\u2013400, June 1960.","DOI":"10.1115\/1.3662605"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0020-0190(88)90131-7","volume":"29","author":"J. L. W. Kessels","year":"1988","unstructured":"J. L. W. Kessels. An exercise in proving self-stabilization with a variant function. Information Processing Letters, 29:39\u201342, 1988.","journal-title":"Information Processing Letters"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"203","DOI":"10.5802\/afst.246","volume":"9","author":"M. A. Ljapunov","year":"1907","unstructured":"M. A. Ljapunov. Probleme general de la stabilite du movement. Ann. Fac. Sci. Toulouse, 9:203\u2013474, 1907.","journal-title":"Ann. Fac. Sci. Toulouse"},{"key":"14_CR15","unstructured":"D. Mandrioli and C. Ghezzi. Theoretical Foundations of Computer Science. John Wiley and Sons, 1987."},{"issue":"l","key":"14_CR16","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/151254.151256","volume":"25","author":"M. Schneider","year":"1993","unstructured":"M. Schneider. Self-stabilization. ACM Computing Surveys, 25(l):45\u201367, 1993.","journal-title":"ACM Computing Surveys"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"G. Tel. Introduction to Distributed Algorithms. Cambridge University Press, 1994.","DOI":"10.1007\/BFb0020419"},{"key":"14_CR18","unstructured":"O. Theel. Verification of Dijkstra\u2019s Self-Stabilizing Token Ring Algorithm by Means of Non-Linear Control System Analysis. Technical Report TUD-BS-2000-02, Darmstadt University of Technology, Dept. of Computer Science, Institute for System Architecture, D-64283 Darmstadt, Germany, March 2000. Accepted for Publication at the Intern. Symposium on Computational Intelligence (CI\u201900) being part of the Intern. ICSC Congress on Intelligent Systems and Applications (ISA 2000), Wollongong, Australia, December 12-15, 2000."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"O. Theel and F. C. Gartner. An Exercise in Proving Convergence through Transfer Functions. In Proc. of the 4th Workshop on Self-Stabilizing Systems (WSS\u201999), being part of the 19th International Conference on Distributed Computer Systems (ICDCS\u201999), Austin, TX, U.S.A., pages 41\u201347. IEEE, June 1999.","DOI":"10.1109\/SLFSTB.1999.777485"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1109\/TAC.1977.1101446","volume":"22","author":"V. I. Utkin","year":"1977","unstructured":"V. I. Utkin. Variable Structure Systems with Sliding Modes. IEEE Transactions on Automatic Control, 22:212\u2013222, 1977.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"J. C. Willems. The Analysis of Feedback Systems. Number 62 in Research Monograph. The M.I.T. Press, Cambridge, MA, U.S.A., 1971.","DOI":"10.7551\/mitpress\/1258.001.0001"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40026-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T07:02:47Z","timestamp":1683874967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40026-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411437","9783540400264"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-40026-5_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}