Descriptional independence and the formal definition of sequential control structure

• Autorzy: Terlikowski T.
• Języki publikacji: EN

Abstrakty

EN

In this paper, continuing our research in [10] and [11] we introduce the notion of descriptional independence. This notion is aimed at a formalization of the concept of sequential control structure, used in the control theory. The reader will find all relevant notions in [10] and [11].

Słowa kluczowe

EN

positive implication; inner implication; descriptional independence; sequential control structure

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 54, nr 4
• Strony: 369--385
• Opis fizyczny: bibliogr. 11 poz.

Twórcy

autor

Terlikowski T.

• Institute of Geophysics of the Polish Academy of Sciences, 64 Księcia Janusz str. 01-452 Warszawa, Poland

Bibliografia

• [1] L. Borkowski, Formal Logic (in Polish), PWN, Warszawa, 1982.
• [2] A. Grzegorczyk, An Outline of Mathematical Logic (in Polish), PWN, Warszawa, 1981.
• [3] A. Mostowski, Mathematical Logic (in Polish), Monografie Matematyczne, Warszawa-Wrocław, 1948.
• [4] W. van Orman Quine. Philosophy of Logic. Prentice-Hall, Englewood Cliffs, NY , 1973 (Polish transl. PWN, Warszawa, 1977).
• [5] E. D. Sontag. Mathematical Control Theory. Springer Verlag, New York, 1998.
• [6] A. Tarski, Introduction to Logic, Philomat (in Polish, first edition 1936) , Warszawa, 1996.
• [7] T. Terlikowski. Information in Two-stage Control - A General Concept and Classification Attempt. Institute of Geophysics PAS, 1981 (ms. in Polish).
• [8] T. Terlikowski. On definition of two notions related to the safety and risk in formal control theories. Institute of Geophysics PAS, Warszawa, 1990 (ms. in Polish).
• [9] T. Terlikowski. The notion of sequential control structure – a general formal analysis. IMACS International Workshop on Decision Support Systems and Qualitative Reasoning. Touluse, France, 1991.
• [10] T. Terlikowski. A logical approach to control. Some new logical concepts and their application to the notion of safety for control variants. Fundamenta Informaticae, 52(4), 2002, pp.377-394.
• [11] T. Terlikowski. A logical approach to control. The concept of inner implication. Fundamenta Informaticae, 2003, in print.