- 1 BVRKS, A. W Computation, behavior and structure in fixed and growing au~oma~ In Self-Or#an~zing Systems, Pergamon Press (1960).Google Scholar
- 2 BvRKs, A. W., and ttao WANQ. "The Logic of Automata," J. ACM ~, (1957) 193-218, 279-297. Google Scholar
- 3 Cr~vaca, A. Applientlon of reeursive arithmetic to the problem of circuit synthesis. In Summer inst,tute for Symbolic Logic Summaries, Institute for Defense Analysis (1957).Google Scholar
- 4 CRAIG, W. Linear reasoning. A new form of the Herbrund-Gentzen theorem. J. Symbolic Logic P~, No. 3, (1957) 250-268.Google Scholar
- 5 FIS~R, 1~. A. The Genetzcal Theory of Natural Selection. Dover (1958).Google Scholar
- 6 GELERNTER, }={. L., and ROCHESTER, N. Intelligent behavior in problem-solving machines. IBM J. Res. Day. 2, No. 4, (1958) 336-345.Google Scholar
- 7 HOLLAND, J. I-l. A universal computer capable of executing an arbitrary number of sub-programs simultaneously. Prec. Eastern Joint Comp. Conf. (1959) 108-113.Google Scholar
- 8 tIoLL~m), J.H. Iterative circuit computers. Prec. Western Joint Comp. Conf. (1960) 259-265.Google Scholar
- 9 JAXOWATZ, C. V.; SavEr, R. L.; and WHI~, G.M. Adaptive waveform rccognition. GE Research Lab Report 60-RL-2435 E (1960).Google Scholar
- 10 LYNDON, R.C. An interpolation theorem in the predicate calculus. Pacific J. Math. 9, No. 1, (1959) 129-142.Google Scholar
- 11 MINSK~, M. "Steps Toward Artificial Intelligence," Prec. IRE, $9, No. 1, (1961) 8--30.Google Scholar
- 12 MOORE, E.F. Machine models of self-reproduction. Paper presented at meeting of Amer. Math. See, Cambridge, Mass. October, 1959.Google Scholar
- 13 NEWV.L~, A.; S~xw, J. C.; and Sz~ON, H. A. A variety of intelligent learning in a general problem solver. In Self-Organizing System~, Pergamon Press (1960).Google Scholar
- 14 NEWEh~, A. On programming a highly parallel machine to be an intelligent technician. Prec. Western Joint Comp. Conf. (1960) 267-282.Google Scholar
- 15 RxmN, M. O., and SCOT~, D. Finite automata and their decision problems. IBM J. Res. Day. 3~ No. 2, (1959) 114-125.Google Scholar
- 16 S~MUEL, A.L. Some studies in machine learning, using the game of checkers. IBM J. Res. Day. 8, No. 3, (1959) 210~229.Google Scholar
- 17 SELFRIDGE, O.G. Pandemonium, a paradigm for learning. In Mechanizatwn of Thought Processes, Nat'l. Phys. Lab. Symp. No. 10, tter Majesty's Stationery Office (1959).Google Scholar
- 18 TURING, A.M. On computable numbers, with an application to the entscheidungsproblem. Prec. Lend. Math. Soc. (2), 48, (1936) 230-265.Google Scholar
- 19 TURINa, A. M. Computing machinery and intelligence. Mind 59, (1950) 433-460.Google Scholar
- 20 TURING, A.M. The chemical basis of morphogenesis, Phil. Trans. Roy. Soc. ser. B 287, (1952) 37 ft.Google Scholar
- 21 yon NEUM_~NN, J. and I~ORGENSTERN, 0. Theory of Games and Economic Behavior. Princeton (1947).Google Scholar
- 22 vo~ NEUMANN, J. The general and logical theory of automata. In Cerebral Mechanisms in Behavior--The Hixon Symposium. Wiley (1951).Google Scholar
- 23 vo:~ NEW~.~'~N, J. The theory of automata. Construction, reproduction, homogeneity. Unpublished manuscript.Google Scholar
- 24 WR~GI~T, S. Physiological genetics, ecology of populations, and natural selection In The Evolution of Life, Chicago (1960).Google Scholar
Index Terms
- Outline for a Logical Theory of Adaptive Systems
Recommendations
Defining adaptivity and logical architecture for engineering (smart) self-adaptive cyber–physical systems
Abstract Context:Modern cyber–physical systems (CPSs) are embedded in the physical world and intrinsically operate in a continuously changing and uncertain environment or operational context. To meet their business goals and ...
Highlights- The community lacks a precise definition of adaptivity and self-adaptive systems.
Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory
CSE '13: Proceedings of the 2013 IEEE 16th International Conference on Computational Science and EngineeringCyber Physical Systems(CPS) combines the interactions between control processes and physical processes. Behaviors of the interactions in Cyber Physical Systems are divided into discrete dynamics and continuous dynamics. The interactions must be time-...
Comments