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: positive 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. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants

Terlikowski T.

Fundamenta Informaticae

2002

Vol. 52, nr 4

377-394

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.