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

被引：0
|
作者：
Terlikowski, T [1 ]
机构：
[1] Polish Acad Sci, Inst Geophys, PL-01452 Warsaw, Poland
来源：
FUNDAMENTA INFORMATICAE | 2002年 / 52卷 / 04期
关键词：
first-order logic; set theory; positive implication; positive correspondence; safe set of control variants;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：377 / 394
页数：18
相关论文
共 50 条
  • [1] A logical approach to control. The concept of Inner Implication
    Terlikowski, T
    FUNDAMENTA INFORMATICAE, 2002, 53 (3-4) : 391 - 397
  • [2] LOGICAL APPLICATION OF COMPUTER CONTROL
    MORRIS, AJ
    MEASUREMENT AND CONTROL, 1977, 10 (06): : 205 - 206
  • [3] LOGICAL CLOCK SYNCHRONIZATION METHOD FOR DUPLICATED DATABASE CONTROL.
    Kaneko, Asao
    Nishihara, Yoshiyuki
    Tsuruoka, Kunitoshi
    Hattori, Mitsuhiro
    NEC Research and Development, 1980, (58): : 89 - 98
  • [4] Some logical functions of joint control
    Lowenkron, B
    JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR, 1998, 69 (03) : 327 - 354
  • [5] Logical approach to control theory and applications
    Vassilyev, SN
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1997, 30 (04) : 1927 - 1937
  • [6] Logical approach to intelligent control and analysis
    Vassilyev, S
    Zherlov, A
    Sivasundaram, S
    WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 4, PROCEEDINGS, 1998, : 133 - 140
  • [7] A LOGICAL APPROACH TO KNOWLEDGE BASED CONTROL
    EGILMEZ, K
    KIM, SH
    JOURNAL OF INTELLIGENT MANUFACTURING, 1990, 1 (01) : 59 - 76
  • [8] Incomplete Logical Control System and its Application to Some Intellectual Problems
    Zhang, Xiao
    Wang, Yuanhua
    Cheng, Daizhan
    ASIAN JOURNAL OF CONTROL, 2018, 20 (02) : 697 - 706
  • [9] Logical approach in knowledge-based control
    Vassilyev, S
    RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVIII, 2002, : 259 - 272
  • [10] Logical approach for intelligent control of multiagent systems
    Maksimkin, N. N.
    Davydov, A. V.
    Vassilyev, S. N.
    Zherlov, A. K.
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 560 - +
12345