The present application relates to systems and methods for identification of parameters of Time Encoding Machines (TEMs) or other asynchronous circuits that encode analog information in the time domain.
Many technologies are available for data acquisition, which is the process of converting physical data (for example, sounds and images) into a digital or analog signal. Data acquisition can be used in biological systems using neurons.
TEMs can be a low-power and low-bandwidth alternative to classical samplers that provide an interface between the analog physical world and the digital signal processing stage in many modern electronic devices. They can arise as models of (nonlinear) samplers in signal processing, as models of sensors, analog-to-discrete (A/D) converters and data acquisition systems in communications, as well as models of sensory systems in neuroscience.
While TEMs and other systems are available for data acquisition, there is a need to be able to accurately identify the parameters of these systems.
Systems and methods for identification of parameters of a sampling system are provided herein. According to an embodiment of the disclosed subject matter, a method for identification of at least one parameter of a sampling system can include transmitting at least one input signal to at least one channel of the sampling system; measuring an output signal of the sampling system in response to sampling of the at least one input signal by the receiver; and determining, using a processor, the at least one parameter of the sampling system using the at least one input signal and the output signal of the sampling system.
In some embodiments, the sampling system is a time encoding machine (TEM). The TEM can include a filter and the at least one parameter can include an impulse response of the filter. The output can be a time sequence.
In some embodiments, the TEM can include an integrate-and-fire neuron in series with the filter. The TEM can also include an oscillator in series with the filter. The oscillator can be nonlinear, such as a Hodgkin-Huxley neuron. The nonlinear oscillator can have multiplicative coupling.
According to an aspect of the disclosed subject matter, a system for identification of at least one parameter of a sampling system is provided. An exemplary system for identification of at least one parameter relating to a sampling system in response to at least one input signal can include a sampler having at least one input channel and adapted to receive the at least one input signal thereon and an output channel to generate at least one output signal corresponding to the received at least one input signal; and can include a processor, coupled to the sampler, for transmitting the at least one input signal to the sampler, measuring the at least one output signal of the sampler, and determining the at least one parameter of the sampler using the at least one input signal and the at least one output signal.
a-3c are diagrams illustrating further embodiments of the system of
a-6b are diagrams illustrating further details of the method of
a-7b are block diagrams illustrating further details of the method of
a-8h are diagrams illustrating further details of the method of
a-9h are diagrams illustrating further details of the method of
a-10h are diagrams illustrating further details of the method of
a-11g are diagrams illustrating further details of the method of
a-12b are diagrams illustrating further details of the method of
a-14h are diagrams illustrating further details of the method of
a-15g are diagrams illustrating further details of the method of
a-16h are diagrams illustrating further details of the method of
a-17b are diagrams illustrating further details of the method of
a-18b are block diagrams illustrating further details of the method of
a-19f are block diagrams illustrating further details of the method of
a-20b are diagrams illustrating further details of the method of
a-21h are diagrams illustrating further details of the method of
Throughout the drawings, the same reference numerals and characters, unless otherwise stated, are used to denote like features, elements, components or portions of the illustrated embodiments. Moreover, while the disclosed subject matter will now be described in detail with reference to the Figs., it is done so in connection with the illustrative embodiments.
One aspect of the disclosed subject matter relates to systems and methods for identification of parameters of a sampling system. Particularly, the disclosed subject matter relates to identification of parameters of Time Encoding Machines (TEMs) or other asynchronous circuits that encode analog information in the time domain. Additionally, the disclosed subject matter can be used to identify aggregate dendritic processing of neurons in biological sensory systems.
The components of
A TEM according to the disclosed subject matter is shown in
Channel identification for channels having asynchronous sampling, particularly as in time encoding, includes receiving both the input and the corresponding time sequence at the output of a TEM, and identifying the processing elements of the encoder. Such channel identification can be useful for neural encoding and processing, process modeling and control, nonlinear signal processing, and, in general, methods for constructing mathematical models of dynamical systems. Identification of a TEM having a channel and an asynchronous sampler can include providing input (test) periodic signals belonging to the space of bandlimited functions, a class of functions having a finite support in the frequency domain. Bandlimited signals can be used to model signals in communication systems and to describe sensory stimuli encountered in biological systems. Although bandlimited signals are used as one example for the purpose of discussion herein, systems and methods for channel identification described herein can be applied to a wide variety of input signals or input signal spaces, including Hilbert spaces and Reproducing Kernel Hilbert Spaces such as Paley-Wiener spaces, spaces of trigonometric polynomials, Sobolev spaces, or any other suitable signals or signal spaces. Channel identification according to the disclosed subject matter uses a class of test signals that is not white, which can be in contrast to other known methods.
According to one aspect of the disclosed subject matter, (periodic) bandlimited signals belonging to the finite-dimensional space of trigonometric polynomials can be used to show that the identification of the channel (filter) in a noiseless single-input single-output (SISO) variant of
According to another aspect of the disclosed subject matter, A SISO channel identification machine (CIM) is provided. A SISO CIM, under certain conditions, can be used to identify the projection of the filter onto the space of trigonometric polynomials relatively free of loss. Moreover, A SISO CIM algorithm can recover the original filter with arbitrary precision, provided both the bandwidth and the order of the input (test) space are sufficiently high.
According to another aspect of the disclosed subject matter, a multi-input single-output (MISO) variant of the TEM in
According to another aspect of the disclosed subject matter, a class of input (test) signal spaces can be provided and can be used to provide channel identification algorithms for the infinite-dimensional Paley-Wiener spaces. Furthermore, the disclosed subject matter can be applied to noisy systems, where additive noise is introduced either by the channel or the sampler, and a suitable estimate of the channel can be found.
With reference to
Referring to
Referring to
Referring to
Referring to
Test signals u=[u1(t), u2(t), . . . , uM(t)]T, t∈ can be provided at the input to the exemplary circuits described above as elements of an M-dimensional space of trigonometric polynomials M. More general input spaces are discussed below.
Definition 1. The space of trigonometric polynomials is represented as a Hilbert space of complex-valued functions
where ul∈, Ω is the bandwidth, L is the order and T=2πL/Ω, endowed with the inner Product •, •:×→
u, ω=∫0Tu(t)
Given the inner product in eq. (2), the set of elements
forms an orthonormal basis in . Thus, any element u∈ and any inner product u, w can be compactly written as u=Σl=−Lulel and u, ω=Σl=−LLul
also known as a Dirichlet kernel.
It is noted that a function u∈ can satisfy u(0)=u(T) There can be a natural connection between functions on an interval of length T that take on the same values at interval end-points and functions on that are T-periodic: both can provide equivalent descriptions of a similar mathematical object, such as a function on a circle. Herein below, u can denote both a function defined on an interval of length T and a function defined on the entire real line. In the latter case, the function u can be simultaneously periodic with period T and bandlimited with bandwidth Ω, i.e., it can have a finite spectral support supp(u)⊂ [−Ω, Ω], where denotes the Fourier transform. Herein below, ul≠0 for all 1=−L, −L+1, . . . , L, i.e. a signal u∈ can contain all 2L+1 frequency components. However, it should be noted that some signals can have some signal components equal to 0, so long as the entirety of the set of signals can contain all 2L+1 frequency components.
As described above, the exemplary embodiments of
The channel can be a bank of M filters with impulse responses hm, m=1, 2, . . . , M. Each filter can be linear, causal, BIBO-stable and have a finite temporal support of length S≦T i.e., it can belong to the space H={h∈1()| supp(h) ⊂ [0,T]}.The length of the filter support can be smaller than or equal to the period of an input signal, and thus for a given S and a fixed input signal bandwidth Ω, the order L of the space can satisfy L≧S•Ω/(2π). The aggregate channel output can be given by v(t)=Σm=1M(um*hm)(t). The asynchronous sampler can map the input signal v into the output time sequence =(tk)k=1n where n denotes the total number of spikes produced on an interval t∈[0,T].
Definition 2. A signal u∈M at the input to a Filter-Asynchronous Sampler circuit together with the resulting output =(tk)k=1n of that circuit is called an input/output (I/O) pair and is denoted by (u, ).
Channel identification of channels having asynchronous sampling can be defined below.
Definition 3. Let (ui), i=1, 2, . . . , N. be a set of N signals from a test space M. A Channel Identification Machine can estimate the impulse response of the filter from the I/O pairs (ui, i), i=1, 2, . . . , N, of the Filter-Asynchronous Sampler circuit.
Remark 1. A CIM can recover the impulse response of the filter based on the knowledge of I/O pairs (ui, i), i=1, 2, . . . , N, and the sampler circuit. In contrast, a Time Decoding Machine can recover an encoded signal u based on the knowledge of the entire TEM circuit (both the channel filter and the sampler) and the output time sequence .
With reference to the exemplary embodiment of
∫t
where qk=Cδ−b(tk+1−tk). At each spike time tk+1 the ideal IAF neuron can provide a measurement qk of the signal v(t)=(u*h)(t) on the time interval [tk, tk+1) .
Definition 4. The operator : H→ can be given by
()(t)=∫0Th(s)
which is also referred to as the projection operator.
The operator can map a function h∈H into a function h∈ and 2=.
Theorem 1 (Conditional Duality). For all u∈ a Filter-Ideal IAF TEM with a filter kernel h is I/O-equivalent to a Filter-Ideal IAF TEM with the filter kernel . Furthermore, the CIM algorithm for identifying the filter kernel , can be equivalent to the TDM algorithm for recovering the input signal , encoded by a Filter-Ideal IAF TEM with the filter kernel u.
Proof: Since u∈, u(t)=u(•), K(•, t) by the reproducing property of the kernel K(s,t). Hence,
where (a) can follow from the commutativity of convolution, (b) can follow from the reproducing property of the kernel K and the assumption that supp(h)⊂ [0,T], (c) from the equality K(z,t−w)=K (w,t−z). (d) from the definition of in eq. 6, and (e) from the definition of convolution for periodic functions. It follows that on the interval t ∈[0,T], eq. 5 can be rewritten as
where (f) comes from the commutativity of convolution. The right-hand side of eq. 8 can represent the t-transform of a Filter-Ideal IAF TEM with an input and a filter that has an impulse response u. It follows that a TDM can identify , given a filter-output pair (u, ).
a-6b illustrate a conditional duality between channel identification and time encoding. In
Using the parameters of the asynchronous sampler, the measurements qk of the channel output v can be readily computed from spike times (tk)k=1n using the definition of qk (see eq. (2) for the IAF neuron). Furthermore, as described below, for a known input signal, these measurements can be reinterpreted as measurements of the channel itself
Lemma 1. There is a function φk(t)=Σl=−LLφI,kel (t)∈, such that the t-transform of the Filter-Ideal IAF neuron in eq. (8) can be written as
h, φk=qk. (9)
and φl,k=√{square root over (T)} ∫t
Proof The linear functional k: → can be defined by
k(w)=∫t
where w∈ is bounded. Thus, by the Riesz representation theorem there exists a function φk∈ such that k(w)=w, φk, k=1, 2, . . . , n−1, and
q
k=k()=∫t
Since φk∈ we have φk(t)=Σl=−Lφl,kel for some φl,k ∈, l=−L, −L+1, . . . , L. To find the latter coefficients,
By definition of k in eq. (10),
Since qk=∫tkt
Lemma 2. Let u∈ be the input to a Filter-Ideal IAF circuit with h ∈H. If the number of spikes n generated by the neuron in a time interval of length T satisfies n≧2L+2, then the filter projection can be perfectly identified from the I/O pair (u, ) as
Writing eq. (13) for all k=1, 2, . . . , n−1, q=Φh with [q]k=qk, [Φ]w=
Remark 2. Referring now to the exemplary embodiment of
To ensure that the neuron produces 2L+1 measurements in a time interval of length T, tk+1−tk≦T/(2L+2). Since tk+1−tk≦Cδ/(b−c) for |v(t)|≦c<b, Cδ<(b−c)T/(2L+2). Using T=2πL/Ω and taking the limit as L→∞, Cδ<π(b−c)/Ω, also known as the Nyquist-type criterion, for a bandlimited stimulus u∈Ξ, as described further below.
As described further below, the impulse response of the filter h can be identified. Unlike h∈H, the projection can belong to the space . Nevertheless, under certain conditions on h (as described below), can approximate h arbitrarily closely on t∈[0,T], provided that both the bandwidth and the order of the signal u are sufficiently large (see also
With reference to Lemma 2, if the number of spikes n produced by the exemplary system of
Theorem 2. (SISO Channel Identification Machine)
Let {ui|ui ∈}i=1N be a collection of N linearly independent stimuli at the input to a Filter-Ideal IAF circuit with h∈H, If the total number of spikes n=Σi=1N ni generated by the neuron satisfies n≧2L+2, then the filter projection can be identified from a collection of I/O pairs {(ui, )}i=1N as
where h=Φ4q. Furthermore, Φ=[Φ1; Φ2; . . . ; ΦN] and q=[q1; q2; . . . ; qN], with each Φ1 of size (ni−1)×(2L+1) and qi of size (ni−1)×1. The elements of matrices Φi are given by
for all k=1, 2, . . . , n−1 l=−L+1, . . . L, and i=1, 2, . . . , N.
Proof: Since ∈H. ()(t)=Σl=−LLhlel(t). Furthermore, since the stimuli are linearly independent, the measurements (qki)k=1n
or qi=Φih, with [qi]k=qki[Φi]k,l=
Hence, and as described further below, an exemplary embodiment of a time encoding system for channel identification of a SISO Filter-Ideal IAF neural circuit is provided, as shown in
The performance of the identification methods using Lemma 2 and Theorem 2 can be described as follows. A filter in the SISO Filter-Ideal IAF neural circuit (as shown in
With reference to the dendritic processing filter using the causal linear kernel,
with c=3 and α=200. The general form of this kernel can be a plausible approximation to the temporal structure of a visual receptive field. Since the length of the filter support S=0.1 s, a signal with a period T≧0.1 s. can be used. As shown in
In the exemplary circuit described above, a total of n=13 spikes can be generated in an interval of length T=0.2 s. According to Theorem 2, n=2L+2=12 or more spikes, corresponding to 2L+1=11 or more measurements, can be used to identify the projection of the filter h relatively free of loss. Hence, in this embodiment, a single I/O pair (u, ) can be used.
As shown in
The difference between * and h is shown in
The projection of h onto the space of functions that are bandlimited to 100 Hz and have the period T=0:2 s (as in the previous embodiment) can be identified. The order L of the space of input signals can be L=T•Ω/(π)=20, and the neuron can be used to generate n=2L+2=42 or more spikes to identify the projection relatively free of loss. If the neuron produces about 13 spikes on an interval of length T (as in the previous embodiment), a single I/O pair can not suffice. However, the projection can still be recovered if multiple I/O pairs are used.
a-9h show identification of the filter using Theorem 2. As shown in
In another exemplary embodiment, a system is provided where the channel does not alter the input signal, i.e., when h(t)=δ(t), t∈, which is the Dirac delta function. With reference to Remark 2, the CIM can identify the projection of δ(t) onto i.e., the kernel K(t, 0), as shown in
In another exemplary embodiment, a SISO circuit having a channel in cascade with a nonlinear dynamical system that has a relatively stable limit cycle is provided. The (positive) output of the channel v(t)+b can be multiplicatively coupled to the dynamical system (as shown in
The system represented by eq. (18) followed by a zero-crossing detector can be an example of a TEM with multiplicative coupling. The TEM with multiplicative coupling can be substantially input/output equivalent to an TAF neuron with a threshold δ and substantially equal to the period of the dynamical system on a relatively stable limit cycle.
For example, a Filter-van der Pol oscillator-zero-crossing detector (Filter-van der Pol-ZCD) TEM having the van der Pal oscillator can be described by a set of equations
where μ is the damping coefficient. It is assumed that y1 is the only observable state of the oscillator and the zero phase of the limit cycle is the peak of yi.
a-11g show a SISO CIM used to identify the channel. Input signals (as shown in
According to another aspect of the disclosed subject matter, to recover the impulse response of the filter h, the CIM can be used to identify a projection of the filter onto the input space. Under certain conditions, can converge to h, as discussed below.
Proposition 1. If ∫0T|h(t)|2dt<∞, then →h in the L2 norm and almost everywhere on t∈[0,T] with increasing Ω, L and fixed T Moreover, if h is twice continuously differentiable, then →h uniformly.
Proof: Fix the test signal period, i.e., assume L/Ω=const. Since L=ΩT/(2π).
where SL(h) is the Lh partial sum of the Fourier series of h and h(l) is the lth Fourier coefficient. Hence, convergence of to h can be represented by the convergence of the Fourier series of h. The result follows from Carleson's theorem.
Remark 3. More generally, if ∫0T|h(t)|Pdt<∞, then →h in the LP norm and almost everywhere on t∈[0,T] with increasing Ω, L and fixed T by Hunt's theorem.
From Proposition 1, under suitable conditions for h∈H, approximates h arbitrarily closely (in the L2 norm, or MSE sense), using a suitable choice of Ω and L. Since the number of measurements needed to identify the projection can increase linearly with L, single channel identification can produce a countably infinite number of time encoding systems in order to identify the impulse response of the filter with arbitrary precision. Further, h and can be compared in time and frequency domains for multiple values of and L, as shown in
a shows h and its projection for several values of Ω and L in the time domain: Ω=2π•20 rad/s, 2π•50 rad/s and 2π•100 rad/s in the top, middle, and bottom rows, respectively. The period Tis fixed at T=0.2 s in the left column and T=0.5 s in the right column.
According to another aspect of the disclosed subject matter, a method for identification of a bank of M filters with impulse responses hm=m=1, 2, . . . , M.
Referring to the exemplary MISO ASDM-based circuit in
where v=Σm(um*hm(t), φk∈ with φk=Σlφl,k,el(t) and qk=(−1)k[2Cδ−b(tk+1−tk)]. As discussed above, an exemplary method to identify filters hm, m=1, 2, . . . , M, can include identifying them one-by-one, such as in Theorem 2. For example, identification can be achieved by applying signals of the form u=[0, . . . , 0, um, 0, . . . , 0] to identify the filter hm. However, many applications, for example early olfaction, can be unsuitable for this method of system identification. An alternative embodiment of a method to identify all the filters substantially simultaneously is provided below.
Theorem 3. (MISO Channel Identification Machine)
Let {ui|ni∈M}i=1N be a collection of N linearly-independent vector-valued signals at the input of a MISO Filter-Asynchronous Sigma/Delta Modulator (Filter-ASDM) circuit with filters hm∈H, m=1, . . . , M. The filter projections m can be suitably identified from a collection of I/O pairs {(uii)}i=1N as
m=1, .. . , M. The coefficients hlm can be given by h=Φ+q with q=[q1, q2, . . . , qN]T, [qi]k=qki and h=[h−t1, . . . , h−LM, h−L+11, . . . , h−L+1M,hl1, . . . , hl1. . . , hlM]T, provided that the matrix Φ has rank r(Φ)=M(2L+1). The matrix Φ can be given by
where uli=[uli1, uli2, . . . , uliM], i=1, 2, . . . , N. Finally, the elements of matrix Φi can be given by
Proof Since m∈ for all m=1, . . . , M. (m)(t)=Σl=−LLhlmel(t). Hence, for the mth component of the stimulus ui, (uim*hm)(t)=(uim*m)(t)=√{square root over (T)}Σl=−LLhimulmel(t) and
Using the definition of φki=Σl=−LLφl,iel(t) , and substituting eq. (26) into the t-transform of eq. (22),
or qi=ΦiUih with [qi]k=qki, [Φi]kl=√{square root over (T•φl,ki)}, Ui=diag(u−Li, . . . , uLi), uli=[uli1, . . . , uliM] and h=[h−L1, . . . , h−LM, h−L+11, . . . , h−L+1M, . . . , hL1, . . . , hLM]T. Repeating for all stimuli ui, i=1, . . . , N, q=Φh with Φ as shown in eq. (24). This system of linear equations can be solved for h, provided that the rank of Φ satisfies the condition r(Φ)=M(2L+1) To find the coefficients
a shows an exemplary MIMO time-encoding interpretation of channel identification for an exemplary MISO Filter-ASDM-ZCD circuit (shown in
Remark 4. Using eq. (26), vi=Σl=−LLvliel(t) with vli=√{square root over (T)}Σm≦1Mhlmulim. For all i=1 , . . . , N, vl=Ulhl, where [Ul]im=√{square root over (T)}ulim•hl=[hli, hl2, . . . hl M]T and vl=[vl1, vl2, . . . , vlN]T. To identify the multidimensional channel, this system of equations can be solved for every l. It can also be that N≧M, i.e., the number N of test signals ui can be greater than the number of signal components M.
Remark 5. The rank condition r(Φ)=M(2L+1) can be satisfied by increasing the number N of input signals ui. For example, if on average the system is providing v measurements in a time interval t∈[0,T], then the number of test signals N can be at least N=[M(2L+1)/v].
Results for identifying the channel in the exemplary MISO Filter-ASD114-ZCD circuit of
with t∈[0, 0.1]s, c=3 and α=200 and β=20 ms. Signals can be bandlimited to 100 Hz and have a period of T=0.2 s, and thus, the order of the space L=20. Using Theorem 3, the ASDM can generate at least M(2L+2)=126 trigger times to identify the projections 1, 2, and 3 substantially free of loss. N can equal 5 different triplets ui=[ui1, ui2, ui3], i=1, . . . , 5, to generate 131 trigger times. A single such triplet u1 is shown in
Results for identifying the channel in the exemplary MISO Filter-HH/MC circuit of
According to another aspect of the disclosed subject matter, the results presented above are generalized in two areas. In one embodiment, a class of signal spaces for test signals is provided. In another embodiment, channel models with noisy observations are provided.
Previous embodiments described herein provide channel identification for particular spaces of input signals, for example in the space of trigonometric polynomials. The finite-dimensionality of this space and the relative simplicity of the associated inner products make the spaces suitable for implementation of a SISO CIM or MISO CIM. However, fundamentally the identification methodology can rely on the geometry of the Hilbert space of test signals. Computational tractability can be based on kernel representations in an RKHS.
Theorem 4. Let {ui|ui∈(I)}i=1N be a collection N of linearly independent and bounded stimuli at the input of a Filter-Asynchronous Sampler circuit with a linear processing filter h∈H and the t-transform
k
i()=qki (29)
where ki: → is a bounded linear functional mapping into a measurement qki. Then there is a set of sampling functions {(φki)k∈}i=1N, in such that
q
k
i=, φki, (30)
for all k∈, i=1, 2, . . . , N. Furthermore, if is an RKHS with a kernel K(s,t), s, t∈I, then φki(t)=. Let the set of representation functions {(ψki)k∈}i=1N, span the Hilbert space . Then
If {(φki)k∈}i=1N and {(φki)k∈}i=1N are orthogonal bases or frames for then the filter coefficients amount to h=Φ+q, where h=[h1, h2, hN]T with [hi]k=hki, [Φij]ik=φki, φki and [q1, q2, . . . , qN]T with [qi]l=qki for all i, j=1, 2, . . . , N and k, l∈.
Proof: By the Riesz representation theorem, since the linear functional k: → can be bounded, there can be a set of sampling functions {(φki)k∈}i=1N in such that ki()=, φki. If is an RKHS, a sampling function φki can be computed using the reproducing property of the kernel K as in
φki(t)=φki, K(•,t)≡=. (32)
Finally, writing all inner products φki, =qki yields, with reference to the notation above, a system of linear equations Φh=q and the filter coefficients amount to h=Φ+q.
In an exemplary embodiment, the Paley-Wiener space, which is relatively closely related to the space of trigonometric polynomials, is considered. For example, the finite-dimensional space can be a discretized version of the infinite-dimensional Paley-Wiener space
Ξ={u∈2()|supp(u) ⊂ [−Ω, Ω]} (33)
in the frequency domain. An element u∈ can have a line spectrum at frequencies lΩ/L. l=−L, −L+1, . . . , L. This spectrum can become relatively dense in [−Ω, Ω] as L→∞. The space Ξ with an inner product •, •: Ξ×Ξ→ given by
u,w
=
u(t)w(t)dt (34)
can also be an RKHS with an RK
with t,s∈. Defining the projection of the filter h onto Ξ as
() (t)=(s)
Lemma 1 holds with φk∈Ξ and Theorem 2 can be applied as discussed below.
Proposition 2. Let {ui|supp(ui)=[−Ω, Ω]}i=1N be a collection of N linearly independent and bounded stimuli at the input of a Filter-Ideal IAF neural circuit with a dendritic processing filter h∈H. If
then ()(t) can be suitably identified from the collection of I/O pairs {(ui, )}i=1N as
where ψki(t)=K(t,tki), i=1, 2, . . . , N, and k∈. Furthermore, h=Φ+q, where h=[h1, h2, . . . , hN]T with [hi]k=hki, [Φij]lk=∫ui(s−tkj)ds and q=[q1, q2, . . . qN]T with [qi]l=Co−b(tl+1i−tli) for all i,j=1, 2, . . . , N, and k,l∈.
Proof As discussed above, the spikes(tki)k∈ in response to each test signal ui, i=1, 2, . . . N, can represent distinct measurements qk=φki, of ()(t). Thus, the {(qki)k∈}i=1N, s can be projections of onto {(φki)k∈}i=1N, where
φki(t)=k(K(•, t))=∫t
Since the signals can be linearly independent and bounded, if
or equivalently if the number of test signals
the set of functions {(ψki)k∈}i=1N with ψki(t)=K(t,tki). can be a frame for Ξ. Hence,
If the set of functions {(φki)k∈}i=1N can form a frame for Ξ, the coefficients hki, k∈, i=1, 2, . . . , N, can be found by taking the inner product of eq. (39) with each element of {φli(t)}i=1N:
for i=1, 2, . . . , N, l∈. Letting [Φij]lk=φli, φkj.
for i=1, 2, . . . , N, l∈. Writing eq. (41) in matrix form, q=Φh with
[Φij]lk=φli, φkj=φli(•), K(•, tkj)=φli(tkj)=∫μμ+1ui(s−tki) ds (42)
Furthermore, the coefficients hki, i=i, 2, . . . , N and k ∈, can amount to h=Φ+q.
Results of a SISO CIM for a Paley-Wiener space of test signals is shown in
In an alternative embodiment of the disclosed subject matter, a plurality of temporal windows of a test signal can be used to identify a filter, as an alternative or in addition to using a plurality of test signals, as shown in
For a SIMO TEM with a common input signal u∈Ξ and a vector filtering kernel h(t)=[h1(t), h2(t), . . . , hN(t)]T, the stimulus u(t) can be reconstructed from a collection of spike times {(tk1)k∈, . . . , (tkN)k∈} using a multiple-input single-output (MISO) time decoding machine (TDM). The recovery is given by u(t)=Σi=1NΣk∈ckjψkj(t), where ψkj(t)=g (t−tkj), c=G+q and [Gij]lk=φli, ψkj=g*1[t
From a systems identification point of view, ∈Ξ encoded using a SIMO TEM with a vector filtering kernel given by [h]i=u, for i=1, 2, . . . , N, as shown in
The disclosed subject matter described herein can be applied to other spiking neuron models. For example, for a leaky IAF neuron,
Similarly, for a TAF neuron with a bias b and a threshold δ,[qi]l=δ−b, and [Gij]lk=u(tli−(tkj−τj+T)).
a-19f show certain aspects of this alternative embodiment of identifying dendritic processing in a Filter-ideal IAF neural circuit, where Ω=π•100 rad/s,
In
a-20b show the kernel identification error of an exemplary embodiment of the disclosed subject matter.
If parameters of a spiking neuron model or a sampler are not known, additional input signals can be used to derive a circuit that is Ξ-I/O-equivalent to the original circuit. For example, considering the circuit of
In the exemplary embodiments above, it can be assumed that the I/O system was relatively noiseless. Noise can be introduced at least by the channel or the sampler. With reference to the t-transform of eq. (5), the analysis described in the previous embodiments can be suitably extended to I/O systems with relatively noisy measurements.
Recall that the t-transform of an IAF neuron can be given by
∫t
where n is the number of spikes generated by the neuron in an interval of length T. The measurements qk can be obtained by applying a piece-wise linear operator on the channel output v=u*h. If either th e channel or the sampler introduce an error, a noise term can be added to the t-transform:
,φk=qk+εk. (44)
Here, εk˜(0, σ2), k=1, 2, . . . , n−1. are i.i.d
In the presence of noise, identifying the projection can introduce a certain amount of error. However, an estimate of can be suitable for an appropriately defined cost function. For example, a bi-criterion Tikhonov regularization problem can be formulated
where the scalar λ>0 can provide a trade-off between the faithfulness of the identified filter projection to measurements (qk)k=1n−and its norm ∥∥.
Theorem 5. Equation (19) can be solved explicitly in analytical form. A suitable solution can be achieved by
with h=(ΦHΦ'λI)-1ΦHq, Φ=[Φ1, Φ2, . . . ; ΦN] and Φi, i=1, 2, . . . , N, as defined in eq. (15).
Proof: Since the minimizer can be in it can be of the form given in eq. (46). Substituting this into eq. (45),
where Φ=[Φ1, Φ2, . . . ; ΦN] with Φi, i=1, 2, . . . , N, as defined in eq. (15). This quadratic optimization problem can be solved analytically by expressing the objective as a convex quadratic function J(h)=hHΦHΦh−qHΦh+qHq+λhHh with H denoting the conjugate transpose. A vector h can minimize J if ∇J=2(ΦHΦ+λI)h−2ΦHq=0, i.e., h=(ΦHΦ+λI)-1ΦHq.
Remark 6. As described above, identification of the projection ()(t)=Σl=−LLhlel(t) can amount to finding h∈ such that the sum of the residuals (, Φk−qk)2 can be minimized In other words, an unconstrained convex optimization problem of the form
where h=[h-L, . . . , hL] and Φ=[Φ1; Φ2; . . . ; ΦN] with Φi, i=1, 2, . . . , N, as defined in eq. (15).
In an exemplary embodiment, noise can be added to the measurements(qki)k=1−1, i=1, 2, by the neuron, and the noise can be represented by introducing randomized thresholds that are normally distributed with a mean δ and a standard deviation 0.1δ, i.e., δk˜(δ, (0.1δ)2):
∫t
Thus, the randomized thresholds can result in additive noise εki˜(0,(0.1Cδ)2), i=1,2.
a-21h show results of noisy channel identification in an exemplary SISO Filter-IAF circuit using multiple I/O pairs.
As an example and not by way of limitation, as shown in
The foregoing merely illustrates the principles of the disclosed subject matter. Various modifications and alterations to the described embodiments will be apparent to those skilled in the art in view of the teachings herein. It will be appreciated that those skilled in the art will be able to devise numerous modifications which, although not explicitly described herein, embody its principles and are thus within its spirit and scope.
This application claims priority to U.S. Provisional Patent Application Ser. No. 61/388,926, filed on Oct. 1, 2010, the entirety of the disclosure of which is explicitly incorporated by reference herein.
This invention was made with government support under National Institute of Health Grant No. R01 DC008701-05. The government has certain rights in the invention.
Number | Date | Country | |
---|---|---|---|
61388926 | Oct 2010 | US |