Logical approach to control theory and applications
โ Scribed by Stanislav N. Vassilyev
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 888 KB
- Volume
- 30
- Category
- Article
- ISSN
- 0362-546X
No coin nor oath required. For personal study only.
โฆ Synopsis
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
๐ SIMILAR VOLUMES
We propose a first approximation to the modeling of cognitive decisions based on the theory of associative memories. The basic structure are the matrix memories of Anderson-Kohonen adapted to include the modulation of associations via tensorial preprocessing of inputs. This view admits an easy imple