A Logical Approach to Control. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants

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

Abstrakty

EN

In this paper, we introduce logical notions of positive implication and positive correspondence aimed at a formalization of notions of safety of control variants in control theory.

Słowa kluczowe

EN

first-order logic; set theory; positive implication; positive correspondence; safe set of control variants

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 52, nr 4
• Strony: 377--394
• Opis fizyczny: bibliogr. 19 poz.

Twórcy

autor

Terlikowski T.

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