메뉴 건너뛰기




Volumn 1914, Issue , 2000, Pages 209-222

Exploitation of Ljapunov theory for verifying self-stabilizing algorithms

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DISTRIBUTED COMPUTER SYSTEMS; STABILIZATION;

EID: 84958741298     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40026-5_14     Document Type: Conference Paper
Times cited : (6)

References (21)
  • 2
    • 0029323387 scopus 로고
    • A simplified proof for a self- stabilizing protocol: A Game of Cards
    • 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¬328, 1995.
    • (1995) Information Processing Letters , vol.54 , pp. 327¬328
    • Desel, J.1    Kindler, E.2    Vesper, T.3    Walter, R.4
  • 3
  • 4
    • 84976834622 scopus 로고
    • Self stabilizing systems in spite of distributed control
    • (i 13 il l
    • E. W. Dijkstra. Self stabilizing systems in spite of distributed control. Commun. ACM, 17(11):(i 13 il l. 1974.
    • (1974) Commun. ACM , vol.17 , Issue.11
    • Dijkstra, E.W.1
  • 5
    • 0022582906 scopus 로고
    • A belated proof of self stabilization
    • E. W. Dijkstra. A belated proof of self stabilization. Distributed Computing, 1:5-6, 1986.
    • (1986) Distributed Computing , vol.1 , pp. 5-6
    • Dijkstra, E.W.1
  • 6
    • 0011796788 scopus 로고    scopus 로고
    • (in Germ,an). R. Oldenburg Verlag, Mu¬nich, Germany
    • O. Follinger. Nichtlineare Regelungen I (in Germ,an). R. Oldenburg Verlag, Mu¬nich, Germany, 1998.
    • (1998) Nichtlineare Regelungen I
    • Follinger, O.1
  • 7
    • 0025702469 scopus 로고
    • Stabilizing Unison
    • August
    • M. G. Gouda and T. Herman. Stabilizing Unison. IPL, pages 171-175, August 1990.
    • (1990) IPL , pp. 171-175
    • Gouda, M.G.1    Herman, T.2
  • 10
    • 84958815737 scopus 로고
    • Band I (in Germ,an). Springer-Verlag, New York, 0-387-16596-7
    • R. Isermann. Digitale Reyelsysteme, Band I (in Germ,an). Springer-Verlag, New York, 1988. ISBN 0-387-16596-7.
    • (1988) Digitale Reyelsysteme
    • Isermann, R.1
  • 11
    • 84984131619 scopus 로고
    • Control System Analysis and Design Via the “Second Method” of Lyapunov - Part I: Continuous-Time Systems. Transactions of the ASME
    • June
    • R. E. Kalman and J. E. Bertram. Control System Analysis and Design Via the “Second Method” of Lyapunov - Part I: Continuous-Time Systems. Transactions of the ASME, Journal of Basic Engineering, 82:371-393, June 1960.
    • (1960) Journal of Basic Engineering , vol.82 , pp. 371-393
    • Kalman, R.E.1    Bertram, J.E.2
  • 12
    • 84987438982 scopus 로고
    • Control System Analysis and Design Via the “Second Method” of Lyapunov - Part II: Discrete-Time Systems. Transactions of the ASME
    • June
    • R. E. Kalman and J. E. Bertram. Control System Analysis and Design Via the “Second Method” of Lyapunov - Part II: Discrete-Time Systems. Transactions of the ASME, Journal of Basic Engineering, 82:394-400, June 1960.
    • (1960) Journal of Basic Engineering , vol.82 , pp. 394-400
    • Kalman, R.E.1    Bertram, J.E.2
  • 13
    • 0024072262 scopus 로고
    • An exercise in proving self-stabilization with a variant function
    • J. L. W. Kessels. An exercise in proving self-stabilization with a variant function. Information Processing Letters, 29:39-42, 1988.
    • (1988) Information Processing Letters , vol.29 , pp. 39-42
    • Kessels, J.1
  • 14
    • 0001525304 scopus 로고
    • Probleme general de la stabilite du movement
    • M. A. Ljapunov. Probleme general de la stabilite du movement. Ann. Fac. Sci. Toulouse, 9:203-474, 1907.
    • (1907) Ann. Fac. Sci. Toulouse , vol.9 , pp. 203-474
    • Ljapunov, M.A.1
  • 16
    • 0027553308 scopus 로고
    • Self-stabilization
    • M. Schneider. Self-stabilization. ACM Computing Surveys, 25(l):45-67, 1993.
    • (1993) ACM Computing Surveys , vol.25 , Issue.1 , pp. 45-67
    • Schneider, M.1
  • 18
    • 84958815738 scopus 로고    scopus 로고
    • 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’OO) being part of the Intern. ICSC Congress on Intelligent Systems and Applications (ISA 2000), Wollongong, Australia, December 12-15
    • O. Theel. Verification of Dijkstra’s 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’OO) being part of the Intern. ICSC Congress on Intelligent Systems and Applications (ISA 2000), Wollongong, Australia, December 12-15, 2000.
    • (2000) Verification of Dijkstra’s Self-Stabilizing Token Ring Algorithm by means of Non-Linear Control System Analysis
    • Theel, O.1
  • 20
    • 0017478092 scopus 로고
    • Variable Structure Systems with Sliding Modes
    • V. I. Utkin. Variable Structure Systems with Sliding Modes. IEEE Transactions on Automatic Control, 22:212-222, 1977.
    • (1977) IEEE Transactions on Automatic Control , vol.22 , pp. 212-222
    • Utkin, V.I.1
  • 21
    • 84941870296 scopus 로고
    • Number 62 in Research Monograph. The M.I.T. Press, Cambridge, MA, U.S.A
    • J. C. Willems. The Analysis of Feedback System,s. Number 62 in Research Monograph. The M.I.T. Press, Cambridge, MA, U.S.A., 1971.
    • (1971) The Analysis of Feedback System,S
    • Willems, J.C.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.