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 . An asynchronous sampler can include (asynchronous) A/D converters, such as one based on an asynchronous sigma/delta modulator (ASDM), nonlinear oscillators, such as a van der Poi oscillator in cascade with a zero-crossing detector (ZCD), and spiking neurons, such as an integrate-and-fire (IAF) or a threshold-and-fire (TAF) neuron. The latter can be a threshold crossing device known as a Lebesgue sampler. The above-mentioned asynchronous sampler models can incorporate the temporal dynamics of spike (pulse) generation and can provide, for example, nonlinear spike generation (sampling) mechanisms with biological properties suitable for neuroscience applications.
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 by extracting the zeros from an observable modulated waveform at the output of the oscillator. Thus, in this exemplary embodiment, the output of the SISO Filter-Nonlinear-Oscillator-ZCD circuit is a time sequence (tk)k∈
.
Referring to , m=1, 2, . . . , M, can be transmitted through a communication channel, and the effect of the channel on each signal can be modeled using a linear filter with an impulse response hm(t), t∈
, m=1, 2, . . . , M. The aggregate channel output v(t)=Σm=1Mvm(t)=Σm=1M(um*hm)(t), where um*hM denotes the convolution of with um with hm, can be additively coupled into an ASDM. For example, v(t) can be passed through an integrator and a non-inverting Schmitt trigger to produce a binary output z(t)∈{−b,b},t∈
. By letting z(t) go through a zero-crossing detector, a sequence of zero-crossing times (tk)k∈
can be generated. Thus, in this exemplary embodiment, the output of this Filter-ASDM-ZCD circuit is the time sequence (tk)k∈
.
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
can be a reproducing kernel Hilbert space (RKHS) with a reproducing kernel (RK) given by
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 can be passed through a filter with an impulse response (or kernel) h∈H and then encoded by an IAF neuron with a bias b∈
4 a capacitance C∈
4 and a threshold δ∈
4. The output of the circuit is a sequence of spike times (tk)k=1n on the time interval [0,T] that is available to an observer. This neural circuit is an instance of a TEM and its operation can be described by a set of equations (formally known as the t-transform):
∫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 the Filter-Ideal IAF circuit with an input-filter pair (u, h) can be I/O equivalent to a Filter-Ideal IAF circuit with an input-filter pair (u, Ph). In
can be a projection on a particular input signal space and the two circuits can be I/O-equivalent only for signals in that space. The conditional I/O equivalence represents a difference between time encoding and channel identification. For example, time encoding can differ from channel identification because, unlike time encoding, the power of channel identification can depend on the rich structure of the space of test signals. Further, identifying the filter of the exemplary circuit in
)(t) on t ∈[0,T].
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
)(s)ds=
, φk
. (11)
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)(s)ds=
u,
1[t
, the measurements qk can be projections of v=u*
onto
1[t
can be obtained by first recovering v from these projections then deconvolving it with u. An alternative embodiment can be provided using Lemma 1, since the measurements (qk)k=1n−1 can also be interpreted as the projections of
onto φk i.e.,
, φk
, k=1, 2, . . . , n−1.
can be identified from the latter projections, as described below.
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 )(t)(dt=∫t
)(t)=K(t,0), t ∈
. In other words, if there is no processing on the input signal u, then the kernel K(t,0) in
can be identified as
, This is shown, for example, in
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 is relatively high, the system as described below can result.
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= ki
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 , i=1, 2, . . . , N. can be introduced. When the Filter-Ideal IAF circuit is producing very few measurements of
in response to any given test signal ui, more signals can be used to obtain additional measurements. This can be done, and
can be identified, because
∈
can be fixed. In contrast, identifying
in a two-step deconvolving procedure can require reconstructing at least one ti, which is further complicated due to each ti capable of being signal-dependent and capable of having a relatively small number of associated measurements.
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 , and the filter
* that was identified using the algorithm in Theorem 2 can be plotted. The identified impulse response
* can be distinct from h. In contrast, the mean-squared-error (MSE) between
* and
can be relatively small, and can be equal to −77:5 dB.
The difference between * and h is shown in
=h*
(
)=
(h)
(K(•, 0)) since
and the identified filter
* can contain frequencies present in the reproducing kernel K, or equivalently in the input signal u. The double-sided Fourier amplitude spectrum of K(t, 0) is shown in
with Ω=2π•25 rad/s and L=5. The Fourier amplitude spectrum of the identified projection
* is shown in
K)=supp(
*)=[−Ω, Ω] but supp(
h)⊃[−Ω, Ω], or
* ∈
but h∉
.
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 * is shown together with the original filter h and its projection
. The MSE between
* and
is −73:3 dB.
*, respectively. As shown in
K)=[−Ω, Ω]=supp(
*) but supp(
h) ⊃[−Ω, Ω]. In other words,
* ∈
but h∉
.
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
* is the kernel K(t,0) for
Ω,L 1 with Ω=2π•10 rad/s and L=10. Also shown is the original filter h=δ and its projection
δ*
* and
is −87.6 dB.
*, respectively, and
* ∈
but h ∉
.
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 * is shown together with the original filter h and the projection
. The MSE between the identified filter
* and the projection
is −66.6 dB.
*, respectively, and
* ∈
but h ∉
.
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.
for the same values of Ω and L as in
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 {(ui
i)}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 , which provides the result as discussed above.
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
1*•
2* and
3* are plotted 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 * is shown with the original filter h and its projection
. The MSE between the identified filter
* and the projection
is −71.1 dB.
*, respectively. In contrast to
* do not exhibit a discrete (line) spectrum.
* ∈Ξ but h ∉Ξ.
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 of h onto some Ξ (middle), and h (t) and (
)(t) plotted on the same set of axes (bottom).
u)=[−Ω, Ω] (top), light shaded spikes from a temporal window W=(τ1, τ2) used to construct ĥ(t) (middle), and
approximated by ĥ(t) on |t∈[T1, T2] using spike times (tk−τ+T)k:tk∈W.
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
=∫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, . The spike density D≈43 Hz. In this example, only 43 spikes from 9 temporal windows are used to construct ĥ.
is 1.42×10-3. The RMSE between ĥ and h is 4.23×103.
u)=[−Ω, Ω].l
In of h can be approximated with arbitrary precision (as shown in
faster for a higher average spike rate (spike density D) of the neuron. At the same time, by increasing the stimulus bandwidth Ω, h itself can be approximated with arbitrary precision (as shown in
a-20b show the kernel identification error of an exemplary embodiment of the disclosed subject matter. ) as a function of the number of temporal windows N. The bigger the spike density D of the neuron, the faster the algorithm converges. The impulse response h is the same as in
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,φk
=qk, k=1, 2, . . . , n−1, (43)
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. , δ, (0.1δ)2). As shown in
* is shown with the original filter h and its projection
. The MSE of identification is −31.8 dB. In
* supp (
K)=[−Ω, Ω]=supp(
*) but supp(
h)⊃[−Ω, Ω], so
* ∈
but h∉
. Although a significant amount of noise can be introduced into the system, a suitable estimate
*, can be identified, which is relatively close to the true projection
.
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 |