LOGICAL APPROACH TO CONTROL-THEORY AND APPLICATIONS

Authors
VASSILYEV SN
Citation
Sn. Vassilyev, LOGICAL APPROACH TO CONTROL-THEORY AND APPLICATIONS, Nonlinear analysis, 30(4), 1997, pp. 1927-1937
Citations number
29
Journal title
Nonlinear analysis → ACNP
ISSN journal
0362546X
Volume
30
Issue
4
Year of publication
1997
Pages
1927 - 1937
Database
ISI
SICI code
0362-546X(1997)30:4<1927:LATCAA>2.0.ZU;2-9
Abstract
methods for analysis and modelling the controlled systems in discrete time are considered. The methods of automatic theorem proving (ATP) an d synthesis with applications to real-time control, hypothesis generat ion and nonlinear analysis of automata dynamics are described.