Title of article
Logical approach to control theory and applications Original Research Article
Author/Authors
Stanislav N. Vassilyev، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
11
From page
1927
To page
1937
Abstract
Logical 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.
Keywords
Control systems , logical equation , Automatic theorem proving , hypothesis generation , logical modelling , Automaton , real-time control
Journal title
Nonlinear Analysis Theory, Methods & Applications
Serial Year
1997
Journal title
Nonlinear Analysis Theory, Methods & Applications
Record number
856091
Link To Document