Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Control and Cybernetics

1 2015

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: network equivalence

Sortuj według:

Ogranicz wyniki do:

Dynamic network functional comparison via approximate-bisimulation

Donnarumma F., Murano A., Prevete R.

Control and Cybernetics

2015

Vol. 44, no. 1

99--127

It is generally unknown how to formally determine whether diﬀerent neural networks have a similar behaviour. This question intimately relates to the problem of ﬁnding a suitable similarity measure to identify bounds on the input-output response distances of neural networks, which has several interesting theoretical and computational implications. For example, it can allow one to speed up the learning processes by restricting the network parameter space, or to test the robustness of a network with respect to parameter variation. In this paper we develop a procedure that allows for comparing neural structures among them. In particular, we consider dynamic networks composed of neural units, characterised by non-linear diﬀerential equations, described in terms of autonomous continuous dynamic systems. The comparison is established by importing and adapting from the formal veriﬁcation setting the concept of δ−approximate bisimulations techniques for non-linear systems. We have positively tested the proposed approach over continuous time recurrent neural networks (CTRNNs).