Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

2 Terlikowski T.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: inner implication

Sortuj według:

Ogranicz wyniki do:

Descriptional independence and the formal definition of sequential control structure

Terlikowski T.

Fundamenta Informaticae

2003

Vol. 54, nr 4

369-385

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].

A logical approach to control. The concept of Inner Implication

Terlikowski T.

Fundamenta Informaticae

2002

Vol. 53, nr 3,4

391-397

In this paper, continuing our research in [7], we introduce a logical notion of inner implication. This notion is aimed at a formalization of some concepts of control theory. The respective notion of control structure and the concept of risk will be discussed in the following parts of the work. The reader will find all relevant notions in [7].