1. Field
The present application relates to methods and systems for Time Encoding Machines and Time Decoding Machines.
2. Background Art
Most signals in the natural world are analog, i.e., cover a continuous range of amplitude values. However, most computer systems for processing these signals are binary digital systems. Generally, synchronous analog-to-digital (A/D) converters are used to capture analog signals and present a digital approximation of the input signal to a computer processor. That is, at precise moments in time synchronized to a system clock, the amplitude of the signal of interest is captured as a digital value. When sampling the amplitude of an analog signal, each bit in the digital representation of the signal represents an increment of voltage, which defines the resolution of the A/D converter. Analog-to-digital conversion is used in numerous applications, such as communications where a signal to be communicated can be converted from an analog signal, such as voice or video, to a digital signal prior to transport along a transmission line or other transmission means.
Applying traditional sampling theory, a band limited signal can be represented with a quantifiable error by sampling the analog signal at a sampling rate at or above what is commonly referred to as the Nyquist sampling rate. It is a continuing trend in electronic circuit design to reduce the available operating voltage provided to integrated circuit devices. In this regard, power supply voltages for circuits are constantly decreasing. While digital signals can be processed at the lower supply voltages, traditional synchronous sampling of the amplitude of a signal becomes more difficult as the available power supply voltage is reduced and each bit in the A/D or D/A converter reflects a substantially lower voltage increment.
Systems and methods for using Time Encoding and Decoding Machines are disclosed herein.
In some embodiments, systems for decoding a signal encoded by a Time Encoding Machine (TEM) include a Time Decoding Machine (TDM) for decoding a portion of a TEM-encoded signal, the TDM having a TDM-input and a TDM-output, the TDM-input for receiving a portion of a TEM-encoded signal over a first time-window, the TDM-output for transmitting a decoded approximated signal over the first time-window, and a stitching circuit, having a stitching-input connected to the TDM-output, the stitching circuit combining the decoded approximated signal over the first time-window with at least one other decoded approximated signal over a second time-window, where the first time-window and said second time-window overlap. In some embodiments, the TDM calculates a value of the TEM-encoded signal, u, over the first time-window, [ti, ti+N], wherein the value of u at a given time, t, is approximated by solving for a periodic bandlimited signal
where the bandwidths of each period of ui(t) are Ω and 2Nπ/Ω (for N≧1), respectively, coefficients [di]n=di,n, and di is solved by letting znm=ejm2Ωt
for n=0, . . . , N−2 do:
b
m=(bm−bm−1)/(zm−zm−n−1)
for n=N−2, . . . , 0 do:
b
m
=b
m
−b
m+1
n
and letting di=b. In further embodiments,
for ai=yiHyi and xi and yi denote solutions of Vandermonde systems Vixi=Di(P−abH)ri and Viyi=Diai respectively, where [Vi]nm=ejm2Ωt
In some embodiments, the coefficients [di]n=di,n can be recovered by solving equation ViH Vidi=ViHDiPqi,where ViH is a conjugate transposition of Vi, [Vi]nm=ejm2Ωt
In some embodiments, the first and second time-windows, ωn, can be defined by a function
where K represents a value of desired overlapping trigger times, J=N−2M−K, τn=tnJ+M, σ=tnJ+M+K, N represents a number of trigger times and
The stitching circuit can combine the first and second time-windows by solving equation
Some embodiments include a post-filtering circuit connected to an output of the stitching circuit for receiving a combined TEM-decoded signal, the post-filtering circuit removing an approximate error, e[k]=u(kS)−û(kS), from the combined TEM-decoded signal of the stitching circuit by solving for an equation
where S represents a sampling rate of the TEM-encoded signal.
Some methods for decoding a signal encoded by a Time Encoding Machine (TEM) include defining a plurality of time-windows, each time-window corresponding to a portion of a TEM-encoded signal and made up of a plurality of trigger values, at least two of the time-windows overlapping, decoding each of the time-windows using a Time Decoding Machine (TDM) to generate a decoded time-window, and stitching the decoded time-windows together to generate a TEM-decoded signal. In some embodiments, each of the time-windows overlaps with at least one other time-window. In further embodiments, the TDM calculates a value of the TEM-encoded signal, u, over one of the time-windows, [ti, ti+N], where the value of u at a given time, t, is approximated by solving for periodic bandlimited signal
where the bandwidths of each period of ui(t) are Ω and 2Nπ/Ω (for N≧1), respectively, the coefficients [di]n=di,n, and di can be solved by letting znm=ejm2Ωt
for n=0, . . . , N−2 do:
b
m=(bm−bm−1)/(zm−Zm−n−1)
for n=N−2, . . . , 0 do:
b
m
=b
m
−b
m+1
n
and di=b.
In some embodiments
for ai=yiHyi and xi and yi denote solutions of Vandermonde systems Vixi=Di(P−abH)ri and Viyi=Diai respectively, where [Vi]nm=ejm2Ωt
In further embodiments the coefficients [di]n=di,n can be recovered by solving equation ViHVidi=ViHDiPqi, where ViH is a conjugate transposition of Vi, [Vi]nm=ejm2Ωt
In some embodiments, the time-windows, ωn, can be defined by a function
where K represents a value of desired overlapping trigger times, J=N−2M−K,τn=tnJ+M, σ=tnJ+M+K, N represents a number of trigger times and
In some embodiments, stitching can be accomplished by solving the equation
Some embodiments further include post-filtering the TEM-decoded signal by removing an approximate error, e[k]=u(kS)−û(kS), from the TEM-decoded signal by solving for an equation
where S represents a sampling rate of the TEM-encoded signal.
Systems for transmitting data using a human body include a first data source holding data to be transmitted connected to a Time Encoding Machine (TEM), the TEM comprising an input and an output, the input for receiving the data to be transmitted from the data source and the output connected to a first body interface mechanism, the first body interface mechanism comprising an input for receiving TEM-encoded data to be transmitted, the body interface mechanism in connection with a first part of a human body for transmitting the TEM-encoded data, a second body interface mechanism in connection with a second part of the human body for receiving the TEM-encoded data, the second body interface mechanism comprising an output in connection with a data destination, and the data destination in communication with a Time Decoding Machine for decoding the TEM-encoded data.
In accordance with such systems, the first data source can be a pacemaker, glucose monitor, pulseoximeter, electrocardiography device, electroencephalography device, MP3 device, or mobile phone device.
In some embodiments, the TEM can be an integrate and fire neuron circuit or an asynchronous sigma/delta modulator. In further embodiments, the TEM can have multiplicative coupling and/or feedback.
In some embodiments, the part of a human body is skin and the first and second body interface mechanisms further include an insulator in physical contact with the skin. In further embodiments, the first body interface further comprises an AM modulator for modulating the TEM-encoded data prior to transmission through the insulator and the second body interface further comprises an AM demodulator for demodulating the TEM-encoded data prior to transmitting the TEM-encoded data to the data destination.
Some systems for transmitting data across a HAN further include a data collection device included in the data destination, the data collection device comprising a TDM for decoding the TEM-encoded signal. In further embodiments, the data collection device further includes a data storage area for storing an output of the TDM.
The accompanying drawings, which are incorporated and constitute part of this disclosure, illustrate preferred embodiments of the disclosed subject matter and serve to explain its principles.
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 present disclosed subject matter will now be described in detail with reference to the Figs., it is done so in connection with the illustrative embodiments.
Improved systems, methods, and applications of Time Encoding and Decoding machines are disclose herein. The methods and systems disclosed improve recovery of Time Encoding Machine-encoded signals and enhance the data transmission capabilities of a Human Area Network.
Time encoding is a real-time asynchronous mechanism of mapping the amplitude of a bandlimited signal u(t), tε, into a strictly increasing time sequence (tk), kε, where and denote the sets of real numbers and integers, respectively. A Time Encoding Machine (TEM) is the realization of an asynchronous time encoding mechanism. A Time Decoding Machine (TDM) is the realization of an algorithm for signal recovery with arbitrary accuracy. With increasing device speeds TEMs are able to better leverage a temporal model of encoding a signal. The interest in temporal encoding in neuroscience is closely linked with the natural representation of sensory stimuli (signals) as a sequence of action potentials (spikes). Spikes can be discrete time events that carry information about stimuli. While in some embodiments the time of every spike, or trigger, can be recorded, in other embodiments, the number of spikes, or triggers, within each of a given time unit can be recorded.
A general class of TEMs that exhibit multiplicative coupling and feedforward and feedback include those described in A. A. Lazar, “Time Encoding Machines with Multiplicative Coupling, Feedforward and Feedback”, IEEE Transactions on Circuits and Systems-II: Express Briefs, Vol. 53, No. 8, pp. 672-676, August 2006 (“Lazar IEEE”), which is incorporated by reference. As depicted in
For the TEMs considered, the bandlimited signal at the input can be perfectly recovered from the zero crossings of the modulated signal and the threshold sequence. Perfect reconstruction can be achieved provided that a Nyquist-type rate condition is satisfied. Although methods used in frame theory and irregular sampling can be used to establish these conditions, as described by A. A. Lazar and L. T. Tóth, “Perfect Recovery and Sensitivity Analysis of Time Encoded Bandlimited Signals”, IEEE Transactions on Circuits and Systems-I: Regular Papers, Vol. 51, No 10, pp. 2060-2073, October 2004 and A. A. Lazar, “Time Encoding with an Integrate-and-Fire Neuron with a Refractory Period”, Neurocomputing, Vol. 58-60, pp. 53-58, 2004, which are incorporated by reference, the algorithms can be easy to find and only require solving a consistent but (typically) ill-conditioned infinite-dimensional system of linear equations.
As stated above,
∫t
where u=u(t),tε, is the output time sequence. The elements of the time sequence can also be referred to as trigger times. The input signal is assumed to be bounded in amplitude |u(t)|≦c<b, has finite energy on and is bandlimited to |−Ω,Ω|.
∫t
with y(t0)=−(δ1−δ0). Equations 1 and 2 are instantiations of the t-transform and map the amplitude information contained in the bandlimited signal u=u(t), tε, into the increasing time sequence (tk), kε.
In one embodiment, the class the class of TEMs under consideration can be I/O equivalent with a nonlinear circuit with input u(t), tε, and output (tk), kε, that satisfies the t-transform ∫t
is satisfied, the bandlimited input signal u=u(t), tε, can be recovered as:
where
is the impulse response of an ideal lowpass filter
(LPF) with cutoff frequency Ω. The set of coefficients cl,lε satisfy the system of linear equations:
for all kε. The matrix G and vectors q and c verify the linear equation Gc=q.
One method of signal recovery, as disclosed herein, uses an overlapping sequence of finite-dimensional coverings of the infinite-dimensional system. The method can be (i) insensitive with respect to the TEM parameters, (ii) highly efficient and stable and, (iii) implemented in real-time. The method is based on the observation that the recovery of time encoded signals given a finite number of observations has the property that the quality of signal recovery is very high in a reduced signal range. Generally, according to the disclosed subject matter, a local representation of the time-encoded signal can be obtained using a Vandermonde formulation of the recovery algorithm. Once the signal values are obtained from a finite number of possibly overlapping observations, the reduced-range segments can be stitched together. The signal obtained by segment stitching can be finally filtered for improved performance in recovery.
In one embodiment, finite-dimensional recovery algorithms can recover a signal by considering a set of trigger values [ti,ti+N],iε, of the real line , where N is an arbitrary positive integer. Using finite windows of time triggers to solve for an infinite set of time triggers, we can solve for u(t) over a restricted range, or where tε[ti+m,ti+N−M], for given integers i, N>1, and 0<M<N/2.
In this embodiment u(t) on [ti, ti+N] can be approximated by the periodic bandlimited signal:
where di,n is a set of coefficients whose values are to be determined. The bandwidth of the period of ui(t) are Ω and 2Nπ/Ω (for N≧1), respectively. Moreover, the coefficients [di]n=di,n, satisfy the matrix equation
Vidi=DiPqi (7)
for all iε, where [Vi]nm=ejm2Ωt
The Vandermonde system Vidi=DiPqi can be solved for di by the Björk-Pereyra algorithm: Let znm=ejm2Ωt
for n=0, . . . , N−2 do:
b
m=(bm−bm−1)/(zm−zm−n−1)
for n=N−2, . . . , 0 do:
b
m
=b
m
−b
m+1
n (8)
Following the recursion in Equation 8, di=b.
In one embodiment, both sides of Equation 7 can be multiplied by ViH, where the superscript H stands for conjugate-transposition, transforming Equation 7 into the normal equation:
Vidi=DiPqi (9).
Since ViHVi is a Toeplitz matrix with elements Σl=0Ne(m−n)2Ωt
In some embodiments, the oscillator can be described by a periodic orbit in the phase space. In such embodiments, the TEM with multiplicative coupling and feedback can be described by the ASDM shown in
Additionally, the bounds for Tk give:
Further, as
for all kε, the TEM parameter values of κ and δ need not be known. A TDM or recovery algorithm based on this equation of qk+1+qk can be called “parameter-insensitive” because it does not rely on the TEM parameter values of κ and δ. The Vandermonde system of Equation 7 can be reduced to an underdetermined linear system, whose minimum-least-square and minimum-norm solution is given by:
where ai=yiHyi and xi and yi denote the solutions of the Vandermonde systems Vixi=Di (P−abH)ri and Viyi=Diai respectively, where [ri]n=(−1)i+n+1Ti+n does not depend on κδ, aH=[ . . . , 0, 1, 0, 1], and bH=[0, . . . , 0, 0, 1].
In one embodiment, because approximations can be achieved within finite time intervals, as described above, reconstruction of the overall input signal u(t) on the real line can be carried out by (i) carrying out approximations in different intervals, (ii) cutting out the accurate parts by appropriate windows with finite support in the time domain and forming a partition of unity, (iii) summing up the windowed approximations, and (iv) carrying out post-processing. As depicted in
Splitting the encoded signal into windows can be achieved by many different methods. For example, the Wavelet theory can be used to define windows. In one embodiment, variable windows, determined by trigger times, can be used. In this embodiment, the windows can overlap over a certain number of trigger times. The number of trigger times that overlap in adjacent windows will be subsequently denoted by K. Using the notation J=N−2M−K, τn=tnJ+M, σ=tnJ+M+K the windows can be defined as:
where the θn(t)'s are appropriately chosen functions.
In some embodiments, an appropriate function for θn(t) can be:
In some embodiments, samples of the reconstructed signal û(t), taken uniformly with appropriate sampling period S, can be calculated. In this way the reconstructed signal can be processed by standard digital algorithms. In some embodiments, because the bandwidth of unj(t) is Ω, the bandwidth of the product unJ(t)ωn(t) in Equation 16, and thus that of û(t), is Ω+v. Therefore, in those embodiments, for
aliasing can be reduced or avoided.
In some embodiments, the reconstructed signal in discrete-time can be given by û(kS) *h[k], where the h[k] is the impulse response of a discrete-time LPF with (digital) cutoff frequency π/(1+v/Ω) and * denotes the convolution. Because the reconstruction error spreads over the range εω(−Ω−v, Ω+v), lowpass filtering can further improve the overall accuracy. Additionally, the Nyquist rate of the samples can be recovered via decimating the filtered reconstructed samples. In other embodiments, depending on the application, approximating the original samples u(kS) can yield better results than approximating the filtered samples u(kS)*h[k].
In some embodiments, increasing N can improve the accuracy of reconstruction as well as broaden ωn(t) in the time domain, and hence decrease v. However, increasing N can also increase the condition number of the Vandermonde systems. In some embodiments, by appropriately choosing the parameter K and θ(t) in Equation 14, v can be decreased for fixed N and M. For example, a frequency localization for Wn(ω) can be achieved by using
while both ωn and its derivative are continuous.
In some embodiments, post-filtering can be employed by accounting for the error, e[k]=u(kS)−û(kS), where
and S represents the sampling rate. Where filtering with h[k] impulse response, the error {tilde over (e)}[k]=e[k]*h[k].
In one embodiment, since the tk's form a strictly increasing sequence of k, a practical reconstruction algorithm cannot use these values because of potential overflow. However, the Tk's are bounded by π/Ω, as seen in Equation 3, and as such a reconstruction algorithm that only uses Tk's can be beneficial.
In this embodiment, the samples of the windows employed can be generated without using large sampling times. Because ωn(t)=0 for t≦τn, where τn is monotonically increasing with n, as seen in Equation 14, the first sample occurs at ┌τn/S┐, where ┌ ┐ is the ceiling operation. For a window shifted towards the origin as ωn(t+lnS), for an appropriate positive integer ln, ωn(t+lnS)=0 for t+lnS≦τn, i.e., for t≦τn−lnS. The first sample of the shifted window occurs at ┌(τ−lnS)/S┐ and ωn(┌τn/S┐)=ωn(┌τn−lnS)/S┐). As a result, window samples can be generated by using a bounded set of independent variables after shifting the window close to the origin by appropriate integer multiples of the (given) sampling period.
As for the matrix parameters in the finite-dimensional coverings, no problems arise with the ri's. The Di's and the Vi's are determined, on the other hand, by the trigger times through e−hΩt
In some embodiments, TEMs and TDMs can be used in Human Area Networking (HAN). Human Area Networks use the human body to transmit data between devices. These signals can be between data collection devices and sensors, such as pacemakers, glucose monitors, pulseoximeters, electrocardiography (ECG) machines, and electroencephalography (EEG) machines, or between consumer electronics, such as cellphones or music players.
One important aspect to HAN design and implementation is energy efficiency. This is especially true in certain biomedical or health-monitoring applications such as pacemakers, glucose monitors, pulseoximetry, electrocardiography (ECG), and electroencephalography (EEG). In contrast, for some applications, the requirements for accuracy and speed (bandwidth) are rather modest. For example, 8-bit accuracy and 100-500 Hz bandwidth is typical in ECG and EEG systems, as described by E, V. Aksenov, Yu. M. Ljashenko, A. V. Plotnikov, D. A. Prilutskiy, S. V. Selishchev, E. V. Vetvetskiy, “Biomedical data acquisition systems based on sigma-delta analogue-to-digital converters” in Proc. IEEE EMBS 23rd Annual International Conference, October 2001, vol. 4, pp, 3336-3337, which is incorporated by reference. In these examples, the energy consumption of the body-mounted sensors can be a critical factor. In some embodiments, the body-mounted sensors connect to a data-collector. The data collector can be any device capable of storing and/or relaying data or electronic signals such as a radio device, mobile telephone, personal digital assistant (PDA), or enhanced wristwatch. For simplicity sake, when referring to a PDA in the remainder of this disclosure, any data collector can be used. In some embodiments, more power can be assigned to the data collector, placed close to or on the human body. Further, in some embodiments, the sensor signals can be evaluated at a remote site (center) where practically unlimited power can be assumed.
The technological evolution of low-power integrated circuits (ICs), and wireless communication allows the production of low-cost, miniature, lightweight, intelligent physiological sensors. These units enable the deployment of sensor networks for health monitoring often referred to as human, personal or body area networks. In these solutions analog-to-digital (A/D) conversion and wireless digital transmission is carried out by the sensor nodes using radio-frequency (RF) channels via tiny antennas. Power dissipation due to both A/D conversion and digital transmission are two major limitations. In typical recent RF applications the amount of energy needed for transmitting one single bit amounts to that of executing about 1000 32-bit computations.
As further depicted in
The TEM 1205, modulator 1210, and demodulator 1209 can be implemented using standard discrete-component circuit elements and commercially available ICs.
In one embodiment of a HAN, the PDA can recover the Tk's from the demodulator output d(t), digitize them, and forward the digitized Tk's for signal reconstruction at the remote site. In some embodiments, an approximation of the Tk's using a simple level-crossing scheme, as shown in
The clock frequency fCLK can be known at the center (remote site). A software module can carry out this algorithm using the samples of the demodulator output delivered by the digital oscilloscope.
The disclosed subject matter and methods can be implemented in software stored on computer readable storage media, such as a hard disk, flash disk, magnetic tape, optical disk, network drive, or other computer readable medium. The software can be performed by a processor capable of reading the stored software and carrying out the instructions therein.
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 thus be appreciated that those skilled in the art will be able to devise numerous techniques which, although not explicitly described herein, embody the principles of the disclosed subject matter and are thus within the spirit and scope of the disclosed subject matter.
This application claims priority from, and is a Continuation of: International Application No. PCT/US08/65542 filed on Jun. 2, 2008, which itself claims priority from: U.S. patent application Ser. No. 11/965,337 filed on Dec. 27, 2007; U.S. Provisional Patent Application No. 60/941,498 filed on Jun. 1, 2007; U.S. Provisional Patent Application No. 60/944,997 filed on Jun. 19, 2007; U.S. Provisional Patent Application No. 60/976,675 filed on Oct. 1, 2007; and U.S. Provisional Patent Application No. 60/987,477 filed on Nov. 13, 2007, the entire disclosures of which are incorporated by reference herein.
This invention was made with government support under grant No. CCF-06-35252, awarded by the National Science Foundation. The government has certain rights in the invention.
Number | Date | Country | |
---|---|---|---|
60987477 | Nov 2007 | US | |
60944997 | Jun 2007 | US | |
60976675 | Oct 2007 | US | |
60941498 | Jun 2007 | US |
Number | Date | Country | |
---|---|---|---|
Parent | PCT/US2008/065542 | Jun 2008 | US |
Child | 12628067 | US |
Number | Date | Country | |
---|---|---|---|
Parent | 11965337 | Dec 2007 | US |
Child | PCT/US2008/065542 | US |