๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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


A dynamical approach to logical decision
โœ Eduardo Mizraji; Juan Lin ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 147 KB ๐Ÿ‘ 2 views

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