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 条
  • [1] APPLICATIONS OF GSLT (GENERAL SYSTEM LOGICAL THEORY) TO CONTROL IN TRANSFORMATION SYSTEMS
    RESCONI, G
    CYBERNETICS AND SYSTEMS, 1986, 17 (04) : 289 - 329
  • [2] Control theory approach to shadowing and possible applications
    Ogorzalek, M
    Dedieu, H
    ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL II: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 373 - 376
  • [3] ON THE THEORY OF PARALLEL LOGICAL CONTROL ALGORITHMS
    ZAKREVSKIY, AD
    SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1990, 28 (05): : 36 - 46
  • [4] The Geometric Approach to Control: a Light Presentation of Theory and Applications
    Marro, Giovanni
    CONTROL SCIENCE EVOLUTION, 2008, 5 : 157 - 204
  • [5] 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
  • [6] A LOGICAL APPROACH TO KNOWLEDGE BASED CONTROL
    EGILMEZ, K
    KIM, SH
    JOURNAL OF INTELLIGENT MANUFACTURING, 1990, 1 (01) : 59 - 76
  • [7] Logical Equations with Applications to Automatic Design and Control
    A. D. Zakrevskii
    Automation and Remote Control, 2004, 65 : 660 - 670
  • [8] Logical equations with applications to automatic design and control
    Zakrevskii, AD
    AUTOMATION AND REMOTE CONTROL, 2004, 65 (04) : 660 - 670
  • [9] An Approach to Distributed Predictive Control for Tracking-Theory and Applications
    Farina, Marcello
    Betti, Giulio
    Giulioni, Luca
    Scattolini, Riccardo
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2014, 22 (04) : 1558 - 1566
  • [10] Logical approach in knowledge-based control
    Vassilyev, S
    RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVIII, 2002, : 259 - 272
12345