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

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

Citing 1
Cited 7

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

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

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

Fundamenta Informaticae
Some Issues on Inner Structure of Information. A Definition of the Decision Making Problem

Fundamenta Informaticae
Risk-type Description of Control Variants

Fundamenta Informaticae
Descriptional independence and the formal definition of sequential control structure

Fundamenta Informaticae
On the Notion of Elementary Description

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

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

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.