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