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 条
  • [31] Adaptive Control Theory and Applications
    Cao, Chengyu
    Ma, Lili
    Xu, Yunjun
    JOURNAL OF CONTROL SCIENCE AND ENGINEERING, 2012, 2012
  • [32] Theory and applications of the repetitive control
    Li, CY
    Zhang, DC
    Zhuang, XY
    SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 27 - 34
  • [33] Logical expressivism, logical theory and the critique of inferences
    Georg Brun
    Synthese, 2019, 196 : 4493 - 4509
  • [34] PROPOSITIONAL-LOGICAL THEORY OF LOGICAL CONSEQUENCE
    WESSEL, H
    DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE, 1980, 28 (12): : 1429 - 1442
  • [35] Logical control approach to fuel efficiency optimization for commuting vehicles
    Kang, Mingxin
    Wu, Yuhu
    Shen, Tielong
    INTERNATIONAL JOURNAL OF AUTOMOTIVE TECHNOLOGY, 2017, 18 (03) : 535 - 546
  • [36] Logical expressivism, logical theory and the critique of inferences
    Brun, Georg
    SYNTHESE, 2019, 196 (11) : 4493 - 4509
  • [37] Logical control approach to fuel efficiency optimization for commuting vehicles
    Mingxin Kang
    Yuhu Wu
    Tielong Shen
    International Journal of Automotive Technology, 2017, 18 : 535 - 546
  • [38] A logical approach to dynamic role-based access control
    Balbiani, Philippe
    Chevalier, Yannick
    El Houri, Marwa
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, 2008, 5253 : 194 - 208
  • [39] LOGICAL-ALGEBRAIC APPROACH TO THE LEARNING OF INITIAL SECTIONS OF THE THEORY OF PROBABILITIES
    Drobotun, B. N.
    TOMSK STATE UNIVERSITY JOURNAL, 2007, (300): : 184 - +
  • [40] FOUNDATIONS OF LOGICAL THEORY
    GOTTLIEB, D
    AMERICAN PHILOSOPHICAL QUARTERLY, 1974, 11 (04) : 337 - 343
12345