Logical approach to control theory and applications Original Research Article

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.