Logical approach to control theory and a
โ
Stanislav N. Vassilyev
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 888 KB
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