utorok 15. októbra 2013

Nové paradigmy teórie riadenia
NEW PARADIGMS OF CONTROL THEORY
Jan SARNOVSKY
Department of Cybernetics and Artificial Intelligence, TU Kosice, email: sarnovj@tuke.sk
ABSTRACT: The dominant paradigms in control theory are described in the contribution. The evolution of the control theory as a part of science is based on the classical cumulativistic development of paradigm where an old paradigm is replaced by a new one. From this point of view it is very important to apply the correspondence principle in the control theory. The analysis of paradigm of control theory enables the anticipation of possible development of the control theory in the sense of determining or prognosing the new paradigm. In connection with the development of the control theory it is necessary to take into account evolutionary cybernetics and interdisciplinary connections.
Key words: control theory, paradigm, evolution

1.      INTRODUCTION

The problems of science development and the development of scientific theories especially, are one of the most discussed questions in present methodology of sciences. The problem of the relation between logical structure of science knowledge and its history is particularly expressive in scientific revolution, which is proceeding in natural sciences of our age. Niels Bohr, when he was building up the theory of atom, he was formulating “the correspondence principle”, which is regarded as the most important general principle of methodology of sciences. It has become the central point of interests of philosophers, logicians, and methodologist examining the problems and science development, and the crucial point of various philosophical and methodological conceptions. The Bohr’s principle having expressed the correspondence between the old theory T1 and new theory T2 suppose:
1.      using to the extreme the idea of old theory at the constructing of theoretical model of new theory,
2.      introducing the new postulates in the case of rising of antinomies, which enable its overcoming,
3.      building up the new theory T2 from which it is possible to deduce theory T1 corresponding with the kernel of original theory T1, and T1 needn’t be identical with T1.
The Bohr’s principle contradicts with the viewpoint of classical cumulativism, which the development of science cognition understands as the gradual growth of knowledge. This principle, however, contradict with extreme anticumulativism.

2.      PHILOSOPHICAL AND METHODOLOGICAL CONCEPTIONS

The problems, which have been given above, are solved by various philosophical and methodological conceptions.
a.      Logical positivism comes out from the principles of the extreme empirism and verificionism and incline to classical cumulativism.
b.      The Popper philosophy of science comes out from some antagonistic attitudes against positivism, for example it pose inductionism versus deductionism, empirism versus critical rationalism and especially versus so called methodological falsificationism. The growth of scientific cognition is possible to express by scheme:P1 - TT - EE - P2, where P1 are problems to be solved, TT are the tentative theories, EE is elimination of errors, and P2 are new problems.
c.      Historical school (Kuhn, Lakatos, Feyerabend) – the representatives of this school acutely condemn empirism, ahistorism, cumulativism, etc.
The basic notions of Kuhn’s conception are “paradigm” and  “scientific community”. The structure of paradigm is certain metaphysic (ontological) assertions, values and models modes of solving of concrete tasks. The scientific community is the group (groups) of scientists which confess and “believe” in a certain paradigm. From there we have the notion of “normal science, which is based on the classical cumulativistic development of paradigm and the notion “scientific revolution” which means the replacing of an old paradigm by a new one and has anticumulativistic character. The Kuhn’s cycle of the scientific knowledge has the period of normal science: (the using paradigm to the known facts, the extending of its limits, to the solving of “puzzles”, the interpretation in the textbooks). The next is the period of crisis (the scientific community is ceasing “to believe” in old paradigm and is begin “to believe in a new one). The scientific revolution is the solving of the qualitative changes in the development of scientific knowledge.
Lakatos had attempted about the definite synthesis of Popper’s and Kuhn’s conceptions. He has introduced the notion “research programs”, whereby the function of paradigm has so called “firm kernel” of research program, which is commonly accepted and as such is irrefutable. The source of development, according to Lakatos, is the concurrency of research programs.
The most radical wing of this school represent P.K. Feyerabend, which in the essence deny the correspondence principle and offers the conception of “pluralistic methodology”, respectively, “the anarchistic methodology” of knowledge. In the sense of this conception, the philosophy of science is changing to the philosophy of history of science.

3.      THE PARADIGMS IN CONTROL THEORY

In the following we will characterise the development of control theory on the basis of cited above notions, we will define its paradigms, and on the basis of such analysis we will determine the destination of control theory in the next period.
The paradigm of classic control theory (CT)
The development of CT, its history, is the subject of many works in which are introduced the fundamental stages of CT development, the contributions of individual scientists, the prognosis of the following development. Although the evaluating and approaches of individual authors are various, yet it is possible to follow the main evolution line of CT. As in the encyclopaedia of cybernetics is stated, the foundations of CT as a science are set in the works of English physicist G. Maxwell, the Russian scientist I. A. Vyshnegradskij and A. A. Lyapunov, the Slovak scientist A. Stodola. This first evolution stage very good elaborated by M. Tolle in the book “Regulung der Kraft- machinen, Berlin, Springer, 1905), had ended on the beginning of 20th century. According to A. A.  Andropov, A. Stodola had very important role in the development of CT, while the works of Tolle evaluate as a pedagogical and compiling.
The introduced stage we can name in the sense of T. Kuhn as the paradigm of classical CT. In the next period is CT unceasingly unfolding, improved and completed (the stage of “normal science”), for example diagrams of Nyquist (1932)   Michajlov (1938) and Nejmark( 1947), stability criteria of Routh-Schur, Hurwitz (by the stimulus of A. Stodola); there are solved the problems of linearization of non-linear system, problems of autonomous and invariant systems, and the problems connected with the acting of stochastic disturbances. The difficulties arising at the solving of the more complex tasks of the synthesis of multivariable systems had necessitated to a certain accumulating of problems, which we can comprehend in the sense of T. Kuhn, as a certain “crisis period”.
The paradigm of optimal and adaptive CT
The solving of big part of these problems was reached in the next period of the development of CT, in the fiftieth years. This stage can be characterised as a certain “revolution” and the change of paradigm, which can be named as “the paradigm of optimal and adaptive CT” (in the sixtieth had been used the name “the modern control theory”). The change of paradigm had had the typical signs of “scientific revolution”.
Let us introduce at least some of them: establishing the notion “the state”(the state space); consistent using state description in the form of vector and matrix differential equation (instead of classical scalar one); using exact mathematical methods (variation calculus, Bellman’s dynamic programming. Pontrjagin’s maximum principle, Kalman’s filtration), instead of various intuitive graphical-computing ones for the determining of regulator parameters. At the same time is worked out theory of adaptive and learning system and begin the using of computers for the design and control of introduced system. From today point of view there had been really “revolution change of paradigm” (from the time viewpoint too; the period of classical paradigm had been some decades, the change of paradigm several years).
The paradigm of large-scale dynamic system control
At the end of sixtieth years each time the more frequently had been creating the claims to solve tasks, which had been characterised by the more complexity. In the realm of large-scale control systems arise the next leap-the next change of paradigm. It follows the paradigm of control of “extra-ordinary complicated systems”.
The all-classical procedures consist in common assumption of centralisation (the information about system and the calculation based on this information are centralised too. It is necessary to stress, that from the theoretical point of view, the notion of centrality is common for both, the classical CT and for modern CT. The assumption of centrality we use e.g. at the SISO systems as well as at the MIMO systems.
In the large-scale control system, the assumption of centrality failures, because of absence of the centralised information, or for the lack of central computing system capacity. The examples of these systems are e.g.: energetic system, transport networks, communicating networks, ecological and economic systems, and the large-scale technological processes. The massive using of microcomputers provokes the need of producing distributed computer control systems. The creating of various information systems with distributed databases represents a new challenge for decentralised decision and control systems.
There is an effort to produce decentralised decision and control systems, distributed computing control systems and hierarchical control system from the economical and reliable reasons. The requiring goals - the producing of distributed computing control structure - are not possible to reach by help of known centralised methods and procedures, connected with classical and modern control theory.
The decentralised control had arisen as a response to these difficulties. The base characteristic of decentralised control is the existence of the interaction among subsystems.   The basic problem of decentralised control methods is the decomposition. The large-scale system is necessary to divide (decompose) to the set of simpler subsystems. The every subsystem has its goal and its activity is in harmony with these goals. The goals of individual subsystems can be contradictory. That is the reason for the coordination of subsystems. The coordinator (the decision unit which perform the coordination) control the activity of individual subsystems in order to attain the global goals.
The paradigm of DEDS
At the beginning of eightieth begin the rapid development of automation of the discrete manufacturing processes. The big research teams were solving the problems of robot control and so-called flexible manufacturing systems (FMS). The control methods, which have been given above, had termed as inconvenient. This crisis situation had necessitated to the arising of “the paradigm of DEDS”(discrete events dynamic system).
At present time in modern technological systems new classes of model need to be developed, because traditional models are not appropriate. An example of these systems is FMS, computer networks, traffic systems, etc. The state of these systems, the evolution of the system is governed by the intricate interactions of discrete events. For these systems does not exist elegant and succinct models and there are no control methods rivalling the economy and the power of these for continuous systems.
The second group of systems, so-called hybrid dynamical systems (HDS), in which the state of systems include both continuous and discrete variables, but also nonnumeric symbolic variable (manipulators with set of sensors, subsystems of technological processes, systems with many failure modes such as the large-scale power systems.
The research of control methods for DEDS and HDS should integrate the results of classical control theory with methods and models such as formal language theory, formal logic, queuing networks, markov chains, Petri nets, and with the development in computer science and principles and methods of artificial intelligence.
The correspondence principle in CT
Let’s analyse how the principle of correspondence is asserted in the development of CT. For the simplicity and shortness we will showe some examples. The classical control theory (theory T1) was not able to solve the optimal control of multivariable dynamic systems completely and unambiguously. The results which were reached on the base of variational calculus in analytical design of regulators (Letov, Kalman), is expressed by the known relations u = Kx (theory T2). From the theory T2 is possible to derive relations for SISO on the base of introduced relations (theory T1), which partially or wholly correspond with the classical theory T1.
The analogical examples we can find between the paradigm of large-scale dynamic systems and the paradigm of optimal an adaptive CT. At the very high number of state variables arise the problems of stability and quality of system control, because there is needed to solve the big number of equation (theory T1). The starting point is the decomposition and decentralised control (theory T2). Such decentralised control correspond, and even, n some cases, is identical with the original centralised design (theory T1).
The more interesting results would bring the analysis of the asserting of correspondence principle between the paradigm of DEDS and the preceding paradigms. With regards to the considerably differences (different mathematical apparatus, difference to defining of control goals, the physical difference of control objects, etc.), makes valuable the principle of correspondence only on the more abstract level, especially in the acceptance of notions and terminology from preceding paradigms of CT.

4.      THE ANTICIPATIONS OF THE NEXT POSSIBLE EVOLUTION

The analysis of paradigm of control theory enables the anticipation of possible development of CT in the sense of determining or prognosing the new paradigm. It is indicated that there are many problems, which arises at the control of large-scale systems in the original cybernetics sense.
The complexity and heterogeneity of considering systems require using the modelling and simulation methods for design and realisation of complex systems. In the connection with simulation the experimentation (including the simulating experiments) is the necessary part of analysis and design. It is particularly necessary especially in the system (e.g. DEDS), where there is not the long tradition in modelling.
To the considerable measure, in the control of complex cybernetics system can contribute the methods of artificial intelligence; especially in the creation of mathematical models of complex systems, in the formalisation of process control and decision processes. Next in the using of programming tools of artificial intelligence for control of cybernetics systems, and in the creation of expert systems for the control and decision.
From the introduced knowledge, as has been given above, results the determining of these objects of CT, which are indicated as a complex systems, multilevel systems, hierarchical systems, etc. It is necessary to stress that the notion of complex systems is one of the base cybernetics categories, and the author had been busy with its in some works referring to philosophical and methodological aspects of cybernetics complex systems and artificial intelligence. The really complex (as S. Beer says-the extraordinary complex systems) can be described by help of some formalism only in the isolated cases.
In the majority definition of cybernetics is stressed that it is the science about control. From these reasons there is necessary to examine the notion of control and its task in the contemporary science knowledge. This notion is reaching, at the present time, far beyond the frame of cybernetics, and in the defining direction serve as a connecting factor of sciences examining the various kinds of control.
The cybernetics system are characteristic by high level of organisation, by ability to secure the processes of development, selforganization and selfreproducing. These systems introduce the highest degree of control systems.
The generally feature of these system are the superiority (qualitative and quantitative) of internal connections over external ones; the presence of integral qualities. In the connections with the fact, that the main content of control is its purposefulness, Ashby and Beer consider as a goal of control the homeostasis. That is, the homeostasis is this qualitative edge, which separate the control processes from among the all processes of material world.
However, the homeostasis does not cover the all essence of control. It is, so saying, the substance of first order. In the structural aspect is characterised by negative feedback and in the functional aspect by goal of keeping of its existence by adapting to its environment.
In the literature as a control goal often occur the keeping or raising of system organisation, the transition from the more probably state to the less probably one, respective by lowering of entropy. But it may occur to some contradictions. For example how to enlist not rare cases when the control goal is the lowering of its level of the organisation, nay the aware of destroying of control object.
The more complicated is the system and its functions, the more complicated are the manifestation of its control. Absolutely particular difficulties arise at the analysis of complex man-machine systems and social systems.
In the connection with the growth of mankind arises many problems which substantially changes the conditions of human existence on the Earth as also the traditional ideas about the technical but also about the social and cultural evolutions; there are creating so-called the global problems of the world evolution. The system approach is used for its study. The most used method is the cybernetics modelling for the creating of so-called “model of the world”. The base goal of global modelling is the studying of various alternatives of the future development of mankind. For such approach to the knowledge of the future is characteristic the original understanding of the present, of the substance and the direction of the future changes.
One of the base principles of the existence of the activity of the complex systems is its controllability. For the time being we don’t know whether exist some limit of the complexity of the system structure. It is not excluding that the exceeding of the defining threshold of the number of the elements, and its interactions, can necessitate to possible disintegration of the system. S. Lem note that the development of the civilisation does not necessitate automatically to the growth of the all-individual rights. On the contrary, the development can be accompanied by establishing of the new “prohibitions”.
The notions which has been given above from the realm of cybernetics and complex systems has the modest goal: to direct attention to the facts, that these science areas can render some methodological starting point at the solving of the intricate problems of the present time. In this way is opened the new paradigm in the control theory-the paradigm of “extraordinary complex (cybernetics) systems”. This future stage of control theory in the harmony with the correspondence principle must include all results of control theory development, and related science realms (e.g. the methods of modelling and simulation, the methods of artificial intelligence, etc. This introduced paradigm is opening the new possibilities in the research programs and its using in the pedagogical process.
At the same time, the ebb-and-tide of scientific fashions had drawn researchers interested in more concrete models from the original “first order” cybernetics to artificial intelligence, and from there to neural networks, autonomous robots, artificial life, and complex adaptive systems. Although all these approaches are closely related, many of the important cybernetic insights seem to have been forgotten in the process. As a result, for many people nowadays “cybernetics” only survives as a fancy label for various technological hypes. The time seems ripe to revive and renew the cybernetic tradition by integrating its ideas with the newly developed insights into evolution and complexity.
Evolutionary cybernetics
Evolutionary cybernetics can be defined as the study of how the processes of variation and selection give rise to organization. This means, first of all, a study of the dynamics of distinctions, connections, variety, closure and constraint, that is, the fundamental aspects of organized complexity. This will allow us to better understand how systems emerge out of unstructured aggregates of components, and how variation and selection take place at different system levels and between different, co-evolving systems.  Then, we need to study the evolution of goal-directedness, i.e. control systems. This problem has two aspects, one qualitative or discrete (how does a control level emerge?), one more quantitative or continuous (how does a control system develop?). The evolutionary emergence of control can be called a metasystem transition, and is the subject of the accordingly named “metasystem transition theory”.  Darwinian reasoning readily explains why control systems tend to emerge: natural selection prefers systems that can survive in spite of a variety of perturbations, and thus control systems that have survival as their basic goal will tend to proliferate. As to the mechanism producing control, it is relatively easy to imagine variation processes closing in on themselves in a negative feedback loop constrained by a particular value of a variable (e.g.  autocatalytic cycles of chemical reactions that depend on the availability of one particular scarce molecule, such as DNA).  Once a control loop has arisen, a cybernetic analysis of the different properties and components of this loop can help us understand how variation and selection can make control more efficient. For example, a greater variety of possible actions will allow the control system to cope with more diverse problems (Ashby’s law of requisite variety), while a greater sensitivity in perception will allow it to distinguish more accurately between different situations. A better internal model of its environment will allow it to more reliably anticipate the results of its actions, while a more balanced hierarchy of goals and values will guide it in choosing those actions that are most likely to contribute to its long-term survival.

5.      Interdisciplinary connections

Evolutionary cybernetics is clearly related to a number of other new disciplines and approaches. It stands to the domain of evolutionary systems (also called “systems theory of evolution”), as cybernetics stands to its sister discipline of systems science: in principle the subject domains mostly overlap, in practice the cybernetics focus is more on functions and goals, while the systems focus is more on structures. This means that evolutionary cybernetics will pay more attention to issues such as values, ethics, future development, and technological applications. Both evolutionary cybernetics and systems are closely related to biosemiotics, which, however, has the more restricted focus of the emergence of closed sign systems or “meaning” in organisms.
The presently popular approach of complex adaptive systems too studies many of the same issues, but lacks a focus on hierarchical organization and especially goal-directedness, preferring the use of methods imported from mathematics, physics and chemistry, where the notion of function or “purpose” is absent. The cybernetic paradigm is more influential in the related disciplines of artificial life and especially autonomous agents, which try to model the development of autonomous, goal-directed systems. However, the emphasis here is purely on implementations of models in hardware or software, without much attention to their necessary theoretical and philosophical foundations, or their applications to wider social and psychological issues. Some of these philosophical, psychological and social issues have become the subject of an array of new disciplines: evolutionary epistemology, ethics, metaphysics, psychology, economics, memetics, etc. However, apart from their common base in Darwinian theory, these approaches stand largely on their own, lacking the transdisciplinary integration that has always been the hallmark of cybernetics and systems science.
REFERENCES
[1]   J. Viceník: Disputes about Character of Methodology of Science, (in Slovak). Pravda, 1988.
[2]   M. Bunge: Philosophy in Physics, (in Russian). Progress, Moskva, 1975.
[3]   M. D. Mesarovic and Y. Takahara: General System Theory, (in Russian). Mir, Moskva, 1978.
[4]   L. S. Pontrjagin and all: Mathematical ,Theory of Optimal Processes, (in Czech). SNTL, Praha, 1964.
[5]   V. Veselý and J. Murgaš: Decentralized Adaptive Stabilization of Nonlinear systems. Int.J.Control, vol. 58
         (1993), no. 6, pp. 1445-1460.
[6]   R. E. Kalman, P. L. Falb, M. A. Arbib: Topics in Mathematical System Theory, (in Russian). Mir, Moskva, 1971.
[7]   A. S. Willsky: Some Solutions, Some Problems, and Some Questions. IEEE Contr. Magazine, September, 1982,
        pp. 4-16.
[8]   E. Bristol: Process Control: An Application Theorist’s View of Control. IEEE Contr. Magazine, March, 1982,
         pp. 3-15.
[9]   W. R. Ashby: Cybernetics, (in Czech). Orbis, Praha, 1961.
[10] J. Sarnovský: Some Philosophical and Methodological Problems of Cybernetics, Artificial Intelligence and
         Complex Systems. Cybernetics and Informatics, vol. 3 (1990), no. 2., pp. 1-18.
[11] P. R. Belanger: Editorial on Controllable and Observable Theory. IEEE Trans. AC, vol. AC-32 (1987), no.7, July.
[12] S. Beer: Cybernetics and Management, (in Czech). Svoboda, Praha, 1966.
[13] S. Talukdar and all: Multiagent Organizations for Real-Time Operations. Proceedings of the IEEE, vol. 80
        (1992), no. 5, May.

0 komentárov:

Zverejnenie komentára

Prihlásiť na odber Zverejniť komentáre [Atom]

<< Domov