Risk-type Description of Control Variants

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

Abstrakty

EN

In this paper, we introduce the notion of risk-type description. The concept is strongly related to the definition of risk function, as analyzed in detail in [20]. The main difference consists in considering objects of other categories, different than those analyzed in [20]. The analysis shows relationships and differences between the two notions, both concerning the idea of risk in control.

Słowa kluczowe

EN

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

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 59, nr 1
• Strony: 91--106
• Opis fizyczny: Bibliogr. 20 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] K. Kuratowski. Introduction into Set Theory and Topology (in Polish). Mathematical Library, vol. 9. PWN. Warszawa, 1975.
• [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, vol. 18, 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). Mathematical Library, vol. 30, PWN. Warszawa, 1971.
• [8] H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics. Monografie Matematyczne, vol. 41, PWN. Warszawa. 1963.
• [9] E. D. Sontag. Mathematical Control Theory. Springer Verlag, New York, 1998.
• [10] J. Słupecki and L. Borkowski. Elements of Mathematical Logic and Set Theory (in Polish). PWN, Warszawa, 1984.
• [11] A. Tarski. Logico-philosophical Writings. Vol. 1: Truth (in Polish). PWN. Warszawa, 1995.
• [12] A. Tarski. Logico-philosophical Writings. Vol. 2: Metalogic (in Polish). PWN. Warszawa, 2001.
• [13] A. Tarski. Introduction to Logic (in Polish, first edition 1936). Philomat. Warszawa, 1996.
• [14] T. Terlikowski. On Definitions of Two Notions Related to the Safety and Risk in Formal Control Theories (manuscript in Polish). Institute of Geophysics of PAS, 1990.
• [15] 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.
• [16] 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). October 2002.
• [17] T. Terlikowski. A Logical Approach to Control. The Concept of Inner Implication. Fundamenta Infomaticae, 53(3,4), December 2002.
• [18] T. Terlikowski. Descriptional Independence and the Formal Definition of Sequential Control Structure. Fundamenta Informaticae. 54(4), March 2003.
• [19] T. Terlikowski. On the Notion of Elementary Description, Fundamenta Informaticae. 56(4). August 2003.
• [20] T. Terlikowski. Risk in Control. On the Notion of Risk Function. Fundamenta Informaticae, 58(2). December 2003.