-
2
-
-
0029323387
-
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
-
-
0016543936
-
Guarded commands, nondeterminacy, and formal derivation of pro¬grams
-
Aug
-
E. Dijkstra. Guarded commands, nondeterminacy, and formal derivation of pro¬grams. Communications of the Association for Computing Machinery, 18(8):453- 457, Aug. 1975.
-
(1975)
Communications of the Association for Computing Machinery
, vol.18
, Issue.8
-
-
Dijkstra, E.1
-
4
-
-
84976834622
-
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
-
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
-
-
(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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
19
-
-
33646687619
-
An Exercise in Proving Convergence through Transfer Functions
-
Austin, TX, U.S.A, IEEE, June
-
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’99), being part of the 19th, International Conference on, Distributed Computer Systems (ICDCS’99), Austin, TX, U.S.A., pages 41-47. IEEE, June 1999.
-
(1999)
Proc of the 4Th Workshop on Self-Stabilizing Systems (WSS’99), Being Part of the 19Th, International Conference On, Distributed Computer Systems (ICDCS’99)
, pp. 41-47
-
-
Theel, O.1
Gartner, F.C.2
-
20
-
-
0017478092
-
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
-
-
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
|