Logical approach to control theory and applications

被引：5
|
作者：
Vassilyev, SN [1 ]
机构：
[1] Russian Acad Sci, Irkutsk Comp Ctr, Siberian Branch, Irkutsk 664033, Russia
来源：
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS | 1997年 / 30卷 / 04期
关键词：
control systems; logical equation; logical modelling; automatic theorem proving; real-time control; hypothesis generation; automaton;
D O I：
10.1016/S0362-546X(96)00360-4
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
methods for analysis and modelling the controlled systems in discrete time are considered. The methods of automatic theorem proving (ATP) and synthesis with applications to real-time control, hypothesis generation and nonlinear analysis of automata dynamics are described.
引用
收藏
页码：1927 / 1937
页数：11
相关论文
共 50 条
  • [41] Aristotle and logical theory
    Vega, Jason A. Wheeler
    INTERNATIONAL JOURNAL OF PSYCHOANALYSIS, 2021, 102 (02): : 379 - 398
  • [42] Introduction to Logical Theory
    Rosenbloom, Paul C.
    SCIENTIFIC MONTHLY, 1953, 77 : 315 - 316
  • [43] THEORY OF LOGICAL NETS
    BURKS, AW
    WRIGHT, JB
    PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1953, 41 (10): : 1357 - 1365
  • [44] INTRODUCTION TO LOGICAL THEORY
    Bausch, Augustus F.
    ETHICS, 1953, 63 (03) : 229 - 229
  • [45] THEORY OF LOGICAL ESSENCES
    FITCH, FB
    MONIST, 1967, 51 (01): : 104 - 109
  • [46] A LOGICAL THEORY OF OBJECTS
    RISKA, A
    MONIST, 1982, 65 (04): : 481 - 490
  • [47] A Logical Theory of Localization
    Vaishak Belle
    Hector J. Levesque
    Studia Logica, 2016, 104 : 741 - 772
  • [48] LOGICAL THEORY OF NUMBER
    LOSEV, AF
    VOPROSY FILOSOFII, 1994, (11) : 82 - 134
  • [49] A Logical Theory of Localization
    Belle, Vaishak
    Levesque, Hector J.
    STUDIA LOGICA, 2016, 104 (04) : 741 - 772
  • [50] A Logical Theory of Life
    Le Mouel, Christophe
    PSYCHOLOGICAL PERSPECTIVES-A QUARTERLY JOURNAL OF JUNGIAN THOUGHT, 2021, 64 (01): : 88 - 117
12345