Associative synthesis of finite state automata model of a controlled object with hyperdimensional computing

The main contribution of this paper is a study of the applicability of hyperdimensional computing and learning with an associative memory for modeling the dynamics of complex automation systems. Specifically, the problem of learning an evidence-based model of a plant in a distributed automation and control system is considered. The model is learned in the form a finite state automata.

[1]  Pentti Kanerva,et al.  Sparse Distributed Memory , 1988 .

[2]  Evgeny Osipov,et al.  Imitation of honey bees’ concept learning processes using Vector Symbolic Architectures , 2015, BICA 2015.

[3]  Stephen I. Gallant,et al.  Representing Objects, Relations, and Sequences , 2013, Neural Computation.

[4]  Dmitri A. Rachkovskij,et al.  Modification of Holographic Graph Neuron Using Sparse Distributed Representations , 2016 .

[5]  Jan M. Rabaey,et al.  High-Dimensional Computing as a Nanoscalable Paradigm , 2017, IEEE Transactions on Circuits and Systems I: Regular Papers.

[6]  Evgeny Osipov,et al.  No Two Brains Are Alike: Cloning a Hyperdimensional Associative Memory Using Cellular Automata Computations , 2017, BICA 2017.

[7]  Richard Reviewer-Granger.  Unified Theories of Cognition , 1991, Journal of Cognitive Neuroscience.

[8]  Gerald Tripp.  Regular expression matching using associative memory , 2010 .

[9]  Evgeny Osipov,et al.  Integer Echo State Networks: Hyperdimensional Reservoir Computing , 2017, ArXiv.

[10]  Dmitri A. Rachkovskij,et al.  Neural Distributed Autoassociative Memories: A Survey , 2017, ArXiv.

[11]  Bart De Moor,et al.  Geometric Analogue of Holographic Reduced Representation , 2007, ArXiv.

[12]  Okko Johannes Räsänen,et al.  Sequence Prediction With Sparse Distributed Hyperdimensional Coding Applied to the Analysis of Mobile Phone Use Patterns , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[13]  Dmitri A. Rachkovskij,et al.  Representation and Processing of Structures with Binary Sparse Distributed Codes , 2001, IEEE Trans. Knowl. Data Eng..

[14]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[15]  Y. Ahmet Sekercioglu,et al.  Holographic Graph Neuron: A Bioinspired Architecture for Pattern Processing , 2015, IEEE Transactions on Neural Networks and Learning Systems.

[16]  Juergen Jasperneite,et al.  The Future of Industrial Communication: Automation Networks in the Era of the Internet of Things and Industry 4.0 , 2017, IEEE Industrial Electronics Magazine.

[17]  Valeriy Vyatkin,et al.  Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties , 2017, IEEE Transactions on Industrial Informatics.

[18]  Friedrich T. Sommer,et al.  Theory of the superposition principle for randomized connectionist representations in neural networks , 2017, ArXiv.

[19]  Leonard Pitt,et al.  The minimum consistent DFA problem cannot be approximated within any polynomial , 1993, JACM.

[20]  Evgeny Osipov,et al.  Modality classification of medical images with distributed representations based on cellular automata reservoir computing , 2017, 2017 IEEE 14th International Symposium on Biomedical Imaging (ISBI 2017).

[21]  Evgeny Osipov,et al.  Recognizing Permuted Words with Vector Symbolic Architectures: A Cambridge Test for Machines , 2016, BICA.

[22]  Evgeny Osipov,et al.  On Bidirectional Transitions between Localist and Distributed Representations: The Case of Common Substrings Search Using Vector Symbolic Architecture , 2014, BICA.

[23]  Luca Benini,et al.  Hyperdimensional biosignal processing: A case study for EMG-based hand gesture recognition , 2016, 2016 IEEE International Conference on Rebooting Computing (ICRC).

[24]  Nikolaos Papakonstantinou,et al.  Fault detection in the hyperspace: Towards intelligent automation systems , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

[25]  Valeriy Vyatkin,et al.  Plant model inference for closed-loop verification of control systems: Initial explorations , 2016, 2016 IEEE 14th International Conference on Industrial Informatics (INDIN).

[26]  Tony A. Plate,et al.  Holographic reduced representations , 1995, IEEE Trans. Neural Networks.

[27]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[28]  Simon D. Levy,et al.  Bracketing the Beetle: How Wittgenstein's Understanding of Language Can Guide Our Practice in AGI and Cognitive Science , 2014, AGI.

[29]  C. Lee Giles,et al.  Learning and Extracting Finite State Automata with Second-Order Recurrent Neural Networks , 1992, Neural Computation.

[30]  Özgür Yilmaz,et al.  Symbolic Computation Using Cellular Automata-Based Hyperdimensional Computing , 2015, Neural Computation.

[31]  Dana Angluin,et al.  Inference of Reversible Languages , 1982, JACM.

[32]  Pentti Kanerva,et al.  Hyperdimensional Computing: An Introduction to Computing in Distributed Representation with High-Dimensional Random Vectors , 2009, Cognitive Computation.