A logical approach to control. The concept of inner implication

Authors:
Tomasz Terlikowski
Affiliations:
Institute of Geophysics, Polish Academy of Sciences, ul. Ks. Janusza 64 pok.405, 01-452 Warsaw, Poland
Venue:
Fundamenta Informaticae
Year:
2002

Citing 1
Cited 5

A logical approach to control: some new logical concepts and their application to the notion of safety for control variants

Fundamenta Informaticae

Descriptional independence and the formal definition of sequential control structure

Fundamenta Informaticae
Risk in control. On the notion of risk function

Fundamenta Informaticae
Risk-type description of control variants

Fundamenta Informaticae
On the Notion of Elementary Description

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

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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