Descriptional independence and the formal definition of sequential control structure

Authors:
Tomasz Terlikowski
Affiliations:
Institute of Geophysics, Polish Academy of Sciences, 64 Ksiecia Janusza str., 01-452 Warsaw, Poland
Venue:
Fundamenta Informaticae
Year:
2003

Citing 3
Cited 4

Mathematical control theory: deterministic finite dimensional systems (2nd ed.)

Mathematical control theory: deterministic finite dimensional systems (2nd ed.)
A Logical Approach to Control. Some New Logical Concepts and their Application to the Notion of Safety for Control Variants

Fundamenta Informaticae
A logical approach to control. The concept of Inner Implication

Fundamenta Informaticae

Information in a Two-Stage Decision Process. General Idea and Classification

Fundamenta Informaticae
Risk-type Description of Control Variants

Fundamenta Informaticae
On the Notion of Elementary Description

Fundamenta Informaticae
Risk in Control. On the Notion of Risk Function

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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] positive implication, inner implication, descriptional independence, sequential control structure.