Risk in Control. On the Notion of Risk Function

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

Abstrakty

EN

In this paper, we introduce the concept of risk in control. We pose ourselves and we try to answer the general question: what is risk function? The respective definitions using the necessary logical notions are formulated and analyzed with the aid of numerous examples. The reader will find all relevant notions in [14], [15], [16] and [17].

Słowa kluczowe

EN

set theory; control variants; risk function; functional description; elementariness

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 58, nr 2
• Strony: 151--165
• Opis fizyczny: Bibliogr. 17 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). Mathematical Library, vol. 20, PWN, Warszawa, 1981.
• [3] S. Łojasiewicz. Introduction into Real Functions Theory (in Polish). Mathematical Library, vol. 46, PWN, Warszawa, 1976.
• [4] K. Kuratowski and A. Mostowski. Set Theory (in Polish). Monografie Matematyczne, vol 27, PWN, Warszawa, 1978.
• [5] A. Mostowski. Mathematical Logic (in Polish). Monografie Matematyczne, Warszawa-Wrocław, 1948.
• [6] W. van Orman Quine. Philosophy of Logic. Prentice-Hall, Englewood Cliffs, NY, 1973. (Polish transl. PWN, Warszawa, 1977).
• [7] H. Rasiowa. Introduction into Contemporary Mathematics (in Polish). Math. Library vol. 30, PWN, Warszawa, 1971.
• [8] E. D. Sontag. Mathematical Control Theory. Springer Verlag, New York, 1998.
• [9] J. Słupecki and L. Borkowski. Elements of Mathematical Logic and Set Theory (in Polish). PWN, Warszawa, 1984.
• [10] A. Tarski. Logico–philosophical Writings. Vol. 1: Truth (in Polish). PWN, Warszawa, 1995.
• [11] A. Tarski. Introduction to Logic (in Polish, first edition 1936). Philomat, Warszawa, 1996.
• [12] T. Terlikowski. On Definition of Two Notions Related to the Safety and Risk in Formal Control Theories (manuscript in Polish). Institute of Geophysics of PAS, 1990.
• [13] T. Terlikowski. ¡¡ ABC ¿¿ — On the Use of Normal Forms of Sentential Expression for Defining Certain Notions (related to control theory) (manuscript in Polish). Institute of Geophysics of PAS, Warszawa, 1999.
• [14] 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.
• [15] T. Terlikowski. A Logical Approach to Control. The Concept of Inner Implication. Fundamenta Informaticae, 53(3,4), 2002.
• [16] T. Terlikowski. Descriptional Independence and the Formal Definition of Sequential Control Structure. Fundamenta Informaticae, 54(4), 2003.
• [17] T. Terlikowski. On the Notion of Elementary Description, to appear in Fundamenta Informaticae, 2003.