PHASE-SELECTIVE ENTRAINMENT OF NONLINEAR OSCILLATOR ENSEMBLES
20170237398 · 2017-08-17
Inventors
Cpc classification
International classification
Abstract
A system for entraining an oscillator ensemble is disclosed that includes a plurality of oscillators in an entrained phase pattern. The system includes an entrainment device operatively coupled to each non-linear oscillator of the oscillator ensemble, and the entrainment control device is configured to deliver a 2π-periodic control signal v(θ) to all oscillators of the plurality of oscillators to induce the entrained phase pattern.
Claims
1-10. (canceled)
11. A system for entraining a non-linear oscillator ensemble in an entrained phase pattern, the system comprising: an entrainment control device operatively coupled to each of N non-linear oscillators of the non-linear oscillator ensemble, the entrainment control device is configured to deliver a 2π-periodic control signal v(θ) to each of the N non-linear oscillators, wherein each of the N non-linear oscillators endogenously oscillates at a natural frequency ω.sub.d with a corresponding natural phase φ.sub.j wherein j ranges from 1 to N; an entrainment pattern generator configured to determine a 2π-periodic interaction function Λ.sub.v comprising a relationship between an entrained frequency shift Δω and an entrained phase offset φ for the N non-linear oscillators, the 2π-periodic interaction function Λ.sub.v defining the entrained phase pattern comprising an entrained phase offset φ.sub.j for each of the N non-linear oscillators, each entrained phase offset φ.sub.j consisting of a difference between the natural phase ψ.sub.j and an entrained phase θ; an entrainment control signal generator configured to determine the 2π-periodic control signal v(θ) using the 2π-periodic interaction function Δ.sub.v and a phase response curve Z(θ), the phase response curve Z(θ) characterizing a phase shift of the N non-linear oscillators in response to a weak perturbation, wherein the 2π-periodic control signal v(θ) is configured to: detune the natural frequency ω.sub.j by the entrained frequency shift Δω.sub.j for each of the N non-linear oscillators, the entrained frequency shift Δω.sub.j consisting of a difference between the natural frequency ω.sub.j and an entrained frequency Ω; and shift each of the natural phases ψ.sub.j by the entrained phase offset φ.sub.j for each of the N non-linear oscillators.
12. The system of claim 11, wherein the N non-linear oscillators are detuned to the same entrained frequency Ω consisting of a mean of the natural frequencies ω.sub.j of the N non-linear oscillators.
13. The system of claim 11, wherein each entrained phase offset φ.sub.j is independently selected from a range of entrained phase offsets ranging between 0 and 2π.
14. The system of claim 11, wherein the 2π-periodic interaction function Λ.sub.v comprises a plurality of phase/detuning pairs (φ.sub.j*, Δω.sub.j), each phase/detuning pair (φ.sub.j*, Δω.sub.j) defining an average entrained phase offset φ.sub.j* and corresponding entrained frequency shift Δω.sub.j for each of the N non-linear oscillators in accordance with the entrained phase pattern, and wherein the 2π-periodic interaction function Λ.sub.v* further comprises a negative derivative
15. The system of claim 14, wherein the 2π-periodic interaction function Λ.sub.v comprises an interaction function Λ.sub.v*, wherein:
16. The system of claim 15, wherein the 2π-periodic control signal v(θ) is given by:
17. The system of claim 11, wherein the phase response curve Z(θ) consists of a mean of individual phase response curves Z.sub.j(θ), each individual phase response curve Z.sub.j(θ) corresponding to the j.sup.th non-linear oscillator of the N non-linear oscillators.
18. The system of claim 17, further comprising an oscillator characterization device operatively coupled to each of the N non-linear oscillators, the oscillator characterization device configured to determine, for each of the N non-linear oscillators, at least one of the natural frequency ω.sub.j, the natural phase ψ.sub.j, the phase response curve Z.sub.j(θ), and any combination thereof.
19. The system of claim 18, wherein the oscillator characterization device is configured to determine a phase response curve Z(ψ(t.sub.o)) for each of the N oscillators by: measuring a baseline phase ψ.sub.o(t.sub.o+NT) at N cycles after the absence of an applied pulse and a perturbed phase ψ.sub.1(t.sub.o+NT) at N cycles after the applied pulse, the applied pulse comprising an impulse with a duration Δt and a magnitude M; and determining Z(ψ(t.sub.o) according to:
20. The system of claim 11, wherein the system is configured to entrain the oscillator ensemble in a series of entrained phase patterns by sequentially determining a series of 2π-periodic interaction functions Λ.sub.v defining the series of entrained phase patterns, sequentially determining the series of 2π-periodic control signals v(θ) using the series of 2π-periodic interaction functions Λ.sub.v and the phase response curve Z(θ), and sequentially delivering the series of 2π-periodic control signals v(θ) to each of the N non-linear oscillators.
21. A method of entraining a non-linear oscillator ensemble in an entrained phase pattern, the method comprising: determining a 2π-periodic interaction function Λ.sub.v defining the entrained phase pattern for N non-linear oscillators of the non-linear oscillator ensemble, the entrained phase pattern comprising an entrained phase offset φ.sub.j relative to a natural phase ψ.sub.j for j=1, . . . , N, wherein the 2π-periodic interaction function Λ.sub.v comprises a relationship between an entrained frequency shift Δω and the entrained phase offset φ for the non-linear oscillator ensemble; determining the 2π-periodic control signal v(θ) using the 2π-periodic interaction function Λ.sub.v and a phase response curve Z(θ), the phase response curve Z(θ) characterizing a phase shift of the N non-linear oscillators in response to a weak perturbation; delivering the 2π-periodic control signal v(θ) to each of the N non-linear oscillators, wherein the 2π-periodic control signal v(θ) is configured to: detune the natural frequency ω.sub.j by the entrained frequency shift Δω.sub.j for each of the N non-linear oscillators, the entrained frequency shift Δω.sub.j consisting of a difference between the natural frequency ω.sub.j and an entrained frequency Ω; and shift each of the natural phases ψ.sub.j by the entrained phase offset φ.sub.j for each of the N non-linear oscillators, the entrained phase shift φ.sub.j consisting of a difference between the natural phase ψ.sub.j and an entrained phase θ;
Description
BRIEF DESCRIPTION OF THE DRAWINGS
[0009] The patent or application file contains at least one drawing executed in color. Copies of this patent or patent application publication with color drawing(s) will be provided by the Office upon request and payment of the necessary fee.
[0010] The figures described herein below illustrate various aspects of the disclosure.
[0011]
[0012]
[0013]
[0014]
[0015]
[0016]
[0017]
[0018]
[0019]
[0020]
[0021]
[0022]
[0023]
[0024]
[0025]
[0026]
[0027]
[0028]
[0029]
[0030]
[0031]
[0032]
[0033]
[0034]
[0035]
[0036]
[0037]
[0038]
[0039]
[0040]
[0041]
[0042]
[0043]
[0044]
[0045]
[0046]
[0047]
[0048]
[0049]
[0050]
[0051]
[0052]
[0053]
[0054]
[0055] (φ.sub.1.sup.∞) (grey) and
(φ.sub.2.sup.∞) (green) result in asymptotic phase shifts of φ.sub.1.sup.∞ and φ.sub.2.sup.∞, respectively. When Λ.sub.v(φ)>−Δω then {dot over (φ)}>0 so the phase increases, and when Λ.sub.v(φ)<−Δω the {dot over (φ)}<0 so the phase decreases, as indicated by the arrows to illustrate equation (10);
[0056] /(φ.sub.ij.sup.∞) are indicated in grey for i=1 and green for i=2.
[0057]
[0058]
[0059]
[0060]
[0061]
[0062]
[0063]
[0064]
[0065]
[0066]
[0067]
[0068]
[0069]
[0070]
[0071]
[0072]
[0073]
[0074]
DETAILED DESCRIPTION OF THE INVENTION
[0075] A methodology is presented for constructing weak, globally-applied, open-loop control inputs that synchronize a collection of structurally similar yet heterogeneous nonlinear oscillators while selectively assigning their relative phases on the periodic orbit. Using the technique, the synchronization structure of an oscillating ensemble can be manipulated among diverse phase patterns, seen in relative positions on the limit cycle. A theory is developed specifically to overcome the challenges of experimental implementation when feedback information is unavailable, initial conditions are unknown, and the oscillators are subject to uncertainty in subsystem parameters and stochastic disturbances. The control inputs create and maintain such phase patterns when the coupling between oscillators is weak, while preserving the intrinsic nature of the ensemble to enable nondestructive application to fragile biological and chemical systems. The dynamics of the oscillators may be arbitrary, as long as all are structurally similar and exhibit sufficient nonlinear relaxation for the control design to be realizable. A coherent structure may be established and robustly maintained indefinitely by a single periodic waveform, which can be altered to switch between patterns. The theoretical methodology is demonstrated in practice with experiments to control complex electrochemical ensembles whose dynamics are variable and unknown, and for which state information is unavailable.
[0076] External stimuli that alter neuronal spiking activities are designed. Practically applicable techniques have been derived to control dynamic structures, such as synchrony or clustering, in a population of neurons in the brain.
[0077] The developed method can, among other things, be (1) used for the advancement of the neurostimulation technology for the treatment of neurological disorders, such as Parkinson's disease and epilepsy; (2) adopted to design neurocomputing architectures.
A. Phase Model Approximation
[0078] The effect of inputs on periodic dynamical systems may be approximated using phase models which can be computed for systems with known dynamics or experimentally inferred in practice when the dynamics are unknown. These models are used to characterize circadian cycles, cardiac rhythms, and phenomena in neural and chemical systems, and their simplicity has enabled control design for neuron models given initial conditions and exact parameters. Control techniques have recently been developed for individual nonlinear oscillators and finite collections described by phase models that require exactly known initial conditions, parameters, and dynamics. Many studies on synchronization focus on the network structure of couplings between oscillators, and the nonlinearity in the phase response of each unit is simplified to sinusoidal couplings with its neighbors. However, for the manipulation and desynchronization of electrochemical and neural systems, complex, hierarchical interactions must be established or broken in large collections of nonlinear systems. The dynamics, parameters, and interconnections of these systems are typically problematic to infer, may be noisy, variable, or uncertain, and state observations may be incomplete or unavailable. Such conditions elude tractable formulation, and require an approach where synchronization properties of the systems, i.e., asymptotic phase structure, are manipulated rather than steering the system states directly.
B. Entrainment of an Ensemble
[0079] Our method relies on entrainment, which refers to the dynamic synchronization of oscillating systems to periodic inputs. Each system in an ensemble of N structurally similar units exhibits endogenous oscillation along an attractive periodic orbit with period T.sub.j, and is represented by the Winfree phase model
{dot over (ψ)}.sub.j=ω.sub.j+Z(ψ.sub.j)u (1)
where φ.sub.j=2π/T.sub.j is the natural frequency and Z is the phase response curve (PRC), which quantifies how a weak perturbation u advances or delays the phase ψ.sub.j. A value of ψ.sub.j=0 (equivalently 2π) corresponds to a measurement of the j.sup.th system reaching its maximum.
[0080] i) Phase Coordinate Transformation
[0081] The technique for phase coordinate transformation stems from the early work of Andronov and Vitt, and can be derived directly from the method of Malkin. An oscillator is formally defined as a system of smooth ordinary differential equations
{dot over (x)}=f(x,u),x(0)=x.sub.0,tε[0,∞) (1x) [0082] where x(t)ε.sup.n is the state and u(t)ε
is a control function. The oscillatory property of equation (1x) implies the existence of an attractive, non-constant limit cycle γ(t)=γ(t+T) which is a solution to the unperturbed system {dot over (γ)}=f(γ,0), on the periodic orbit defined by Γ={γε
.sup.n: y=γ(t) for 0≦t<T}⊂
.sup.n. The key idea is to define a mapping between γ(t) to ψ(t) in a way such that the phase of the unperturbed system advances proportionally to time along the periodic orbit, i.e., ψ(t)=ωt, where ω=2π/T is the natural frequency of oscillation for the unforced oscillator. The dynamics equation (1) can then be approximated in phase coordinates by a scalar equation
{dot over (ψ)}=ω+Z(ψ)u, (2x)
which is called a phase model, where Z is the phase response curve (PRC), also called the infinitesimal PRC or iPRC, which quantifies the asymptotic phase shift due to an infinitesimal perturbative input applied at a given phase on the limit cycle. The phase variable ψ(t) is associated to the isochronous manifold corresponding to γ(t)εΓ, from which all undisturbed trajectories asymptotically synchronize. ψ(t)=0 (mod2π) when an observed variable in the state vector y=γ(t) attains its maximum on Γ. The phase model equation (2x) accurately represents the dynamics equation (1x) for sufficiently weak inputs u(t) such that the solution x(t, x.sub.0, u) to equation (1x) remains within a small enough neighborhood of Γ. The PRC for a system with known dynamics of the form in equation (1x) can be computed by various procedures, including an approach similar to that of Malkin that is described in Appendix C of Malkin.
[0083] Phase selective entrainment techniques are developed using experiments in which nickel electrodes undergo anodic dissolution in sulfuric acid and exhibit electrochemical oscillations, for which the experimental apparatus is described in Section IV A. Prior to these experiments, the PRCs of the ensemble elements, which are shown
[0084] To synchronize oscillation of ensemble elements, each subsystem receives the same weak, periodic forcing input of frequency Ω of the form u(t)v(Ωt), where v is 2π-periodic. When the forcing frequency is near the natural frequencies in the ensemble, averaging theory states that the mean difference φ.sub.j between each phase ψ.sub.j and the forcing phase θ=Ωt follows the time-independent dynamic equation
{dot over (φ)}.sub.j=Δω.sub.j+Λ.sub.v(φ.sub.j) (2)
where Δω.sub.j=ω.sub.j−Ω is called the frequency detuning, and
is a 2π-periodic interaction function that characterizes the average effect of the periodic input on the oscillation phase. Such ergodic averaging is discussed in more detail herein below and illustrated in
C. Interaction Functions for Phase Selection
[0085] The input v(Ωt) is designed so each system in equation (1) is entrained to a forcing frequency Ω, e.g., the mean of natural frequencies ω.sub.1<ω.sub.2< . . . <ω.sub.N, and such that the j.sup.th oscillator cycles its orbit with a phase offset of φ.sub.j*; relative to the forcing phase θ. The set of pairs (ω.sub.j,φ.sub.j*) constitutes a pattern for selective entrainment. It is required that {dot over (φ)}.sub.j=Δω.sub.j+Λ.sub.v(φ.sub.j*)=0 eventually holds for each oscillator, i.e., equation (2) has an attractive fixed point at φ.sub.j* for all j at which the slope of the interaction function Λ.sub.v is negative. The function that best satisfies these ideal conditions has steep decreases at phase values φ.sub.j* where entrainment must occur, and crosses (from above) horizontal lines at frequency detuning values−Δω.sub.j. This creates the desired attractive fixed points for equation (2). Because the interaction function is periodic, it must then increase so that Λ.sub.v(2π)=Λ.sub.v(0) holds. Crossings of −Δω.sub.j from below are unstable fixed points, and do not affect convergence.
[0086] The concept is illustrated in
D. Separation of Oscillator Ensembles into Phase Clusters
[0087] Uniquely attractive phase patterns are desired, where a common input synchronizes the oscillators to a pattern independently of their initial phases. The fixed point φ.sub.j* of equation (2) must be unique for each j, which is achieved when the interaction function crosses each horizontal line Δω.sub.j from above only once at φ.sub.j*. This is possible when the phase offsets are monotonically ordered as φ.sub.1*<φ.sub.2*< . . . <φ.sub.N* , for ω.sub.1<ω.sub.2< . . . <ω.sub.N, as demonstrated by segregation of twenty inhomogeneous electrochemical oscillators into clusters in the experiments described in
E. Control of Pattern Transitions in an Ensemble
[0088] Additionally, patterns were established without monotone phase ordering by designing an interaction function of the form at the bottom of
[0089] The pattern “O”, shown in
[0090] Measurements of the “O.fwdarw.K.fwdarw.O” pattern switching experiment appear in
III. Discussion
[0091] Phase-selective entrainment enables the use of a single global signal to robustly assign elements of a noisy nonlinear oscillator ensemble to specific phases without using coupling or feedback information. Control design using interaction functions simplifies the creation of complex synchronization patterns to drawing or automatically generating curves through sets of crossing points and computing the resulting controls with a simple formula, which is an accessible technique for experimentalists. Greater relaxation in the oscillation and ensemble heterogeneity increases pattern controllability, and performance is improved as the oscillations move farther away from the Hopf bifurcation. The asymptotic nature of entrainment yields robustness to noise, disturbances, and model parameter variability while preserving the intrinsic nature of the ensemble.
[0092] Such resilience is required for nondestructive control of under-actuated, noisy, and uncertain biological and chemical ensembles that cannot be readily observed. For example, an effective technology for neurological treatment of Parkinson's disease is provided by deep brain stimulation, which alleviates pathological synchronization in the brain. Selective entrainment could be extended to ensembles with weak coupling to design robust desynchronization inputs, which would potentially benefit noninvasive neurostimulation technology. The goal could be a target distribution that is found to be optimal for leveraging neuroplasticity to prevent resynchronization after the stimulus is ended. The technique could also improve phase regulation to treat cardiac arrhythmias and sleep irregularities. The formalism could also represent the entrainment that occurs in circadian timekeeping.
[0093] A simple sinusoidal forcing of the form v(Ωt)=sin(Ωt) results in a sinusoidal interaction function, because of orthogonality of the trigonometric Fourier basis. Sinusoidal forcing can thus be used to create monotone ordered phase patterns, and could also be used for desynchronization. However, because such an interaction function is decreasing on an interval of length π, the maximum achievable distance between extremal phase offsets φ.sub.1* and φ.sub.N*, is |φ.sub.N*−φ.sub.1*|<π. Thus, a sinusoidal input cannot produce anti-phase synchronization. This approach enables more versatile manipulation of phase relationships beyond this limitation. The application to desynchronization is described herein below and
[0094] The disclosed methodology takes advantage of approximations that are possible in the specific experimental setting. In the experiments described herein, the distribution of natural frequencies of ensemble oscillations varies by ±20% from the (non-zero) mean, the oscillators are very weakly coupled, the amplitude of the required external forcing signal is relatively small, and the entrainment process is approximated well by averaged phase models. In addition, although the ensemble subsystems are slightly heterogeneous and noisy, with variation in natural frequencies and dynamic properties, the phase response curves are very similar. The methodology is expected to function well in other experimental settings in which these conditions are satisfied. Moreover, the method holds promise for extension to other scenarios, e.g., in sub- and superhamornic entrainments (the oscillations are locked to different frequency ratios), where the interaction function based phase description is possible.
[0095] The arrangement of frequency clusters in an oscillator ensemble can also be viewed as encoding information within the spatial pattern produced when selective entrainment is applied. One of several encoded messages can then be retrieved using the phase-selective entrainment process, for which the passkey for retrieving the message is the temporal information contained in a periodic input signal. The passkey is constructed using the PRC and natural frequencies of the dynamical subsystems, and after that input signal is applied, the spatial phase pattern produced in the ensemble reveals the message. This approach may be incorporated in neurocomputing architectures that mimic neural systems in nature. Future investigation is required to understand how network coupling could be suppressed or taken advantage of to improve pattern resilience and information capacity, or effectively encrypt the message by preventing estimation of PRCs and natural frequencies of oscillators in the spatial array.
ii. Model Identification for Oscillating Systems
[0096] Several approaches to model identification have been used to estimate the PRC in real oscillating systems subject to noise and disturbances. A technique is described for phase model identification, which has been applied previously in experiments on electrochemical systems. This model identification procedure does not require online state observations or feedback, but rather relies on post-processing of a pseudo-random input sequence and observations of the effect on a state variable. Suppose that a brief impulse of duration Δt and magnitude M is applied to an oscillator at time t.sub.0, when the phase is ψ(t.sub.0). Specifically, suppose u(t)=M for tε[t.sub.0,t.sub.0+Δt], and u(t)=0 elsewhere. Let ψ.sub.1(t.sub.0+NT) and ψ.sub.0(t.sub.0+NT) represent the phase value when the oscillator has completed N cycles after the pulse is applied, and in the absence of a pulse, respectively. Because Γ is strongly attractive, the system will relax back to the periodic orbit several cycles after the pulse is applied. Assuming that the pulse duration Δt is brief, Z(ψ(t)) is approximately constant on tε[t.sub.0,t.sub.0+Δt], so that integrating equation (2x) results in
ψ.sub.0(t.sub.0+NT)=ωNT+ψ(t.sub.0), (3x)
ψ.sub.1(t.sub.0+NT)=ωNT+ψ(t.sub.0)+∫.sub.t.sub.
[0097] Subtracting equation (3) from equation (4) and solving for Z(ψ(t.sub.0)) results in
[0098] The phases ψ.sub.0 and ψ.sub.1 are valued at 0 (equivalently 2π) at peaks of the observed state variable, and their values between peaks are reasonably approximated by linear interpolation. If y(t) is the observed oscillator output, let T.sub.−1 and T.sub.N denote the latest time at which y(t) reaches a peak before time t.sub.0 and the time when y(t) reaches the N.sup.th peak after the pulse is applied. Because phase on the limit cycle is linearly proportional to time, i.e., ψ(t)=ωt, the phases at two distinct time points t.sub.1, t.sub.2ε[0, T) will satisfy ψ(t.sub.1)−ψ(t.sub.2)=ω.Math.(t.sub.1−t.sub.2). As a result, the linear interpolation yields:
where N is greater than the sufficient number of limit cycles for the perturbed system ψ.sub.1 to have relaxed to the periodic orbit Γ. In one implementation, a sequence of pulses is created at intervals of T(N+r.sub.j), where r.sub.jε(0,1) are pseudo-random, so that post-processing results in a time series Z(ψ.sub.j)ψ.sub.j=ψ.sub.j−1+ωT(N+r.sub.j)(mod2π). The pulse sequence is applied, and the measured peak times are used to estimate the phase differences in equation (6x) in a postprocessing step. The data are fitted using a Fourier series to estimate the PRC Z(ψ). One important advantage of this approach is to enable the concurrent identification of the PRCs for a large ensemble of rhythmic systems with simultaneously measurable output by using a single globally applied pulse sequence applied to the entire ensemble. The measurement state variable signal for each oscillator can then subsequently be processed off-line to produce a collection of phase models. This procedure is used to estimate the PRCs of each electrochemical oscillator in an experimental array, which are shown in
iii) Ergodic Averaging for Oscillating Systems
[0099] The central mechanism of the disclosed control methodology is entrainment, which refers to the dynamic synchronization of an oscillating system to a periodic input. The properties that characterize entrainment of the system in equation (2x) to a periodic forcing control u(t)=v(Ωt), where v is 2π-periodic and Ω is the forcing frequency, are closely approximated by ergodic averaging when the forcing signal is weak, i.e., v=εv.sub.1 where v.sub.1 has unit energy and ε<<1. Given such an input, the system in equation (1x) is guaranteed to remain in a neighborhood of Γ in which the phase model in equation (2x) remains valid. A slow phase variable is defined by φ(t)=ψ(t)−Ωt, and the difference Δω=ω−Ω is called the frequency detuning. The dynamic equation for the slow phase is then
{dot over (φ)}={dot over (ψ)}−Ω=Δω+Z(Ωt+φ)v(Ωt), (7x)
where {dot over (φ)} is called the phase drift. The asymptotic behavior of equation (7x) is obtained by ergodic averaging, which eliminates the explicit dependence on time on the right hand side. An averaging operator :
.fwdarw.
is defined where
is the set of 2π-periodic functions on
, by
[0100] Then the weak ergodic theorem for measure-preserving dynamical systems on the torus implies that for any periodic function v, the interaction function
exists as a continuous, 2π-periodic function in where θ=Ωt is called the forcing phase.
[0101] The formal averaging theorem permits us to approximate equation (7x) by the averaged system
{dot over (φ)}=Δω+Λ.sub.v(φ), (10x)
in the sense that there exists a change of variables φ=φ+εh(φ,φ) that maps solutions of equation (7x) to those of equation (10x). Without being limited to any particular theory, it has been proved previously that this approximation is of order (ε.sup.2), and hence it is appropriate in the case of weak forcing (v=εv.sub.1 with ε<<1). The averaged equation (10x) is autonomous, and approximately characterizes the asymptotic behavior of the system in equation (2x) under periodic forcing. Specifically, the system is entrained by a control u=v(Ωt) when the phase drift equation (10x) satisfies {dot over (φ)}=0, which will occur as t.fwdarw.∞ if there exists a phase φ.sup.∞ that satisfies Δω=Λ.sub.v(φ.sup.∞)=0. Conversely, when both the control waveform v and PRC Z are non-zero, the function Λ.sub.v(φ) is not identically zero, so when the system is entrained there exists at least one φ.sup.∞ε[0,2π) that is an attractive fixed point of equation (10x). Such stable fixed points {φ.sub.i.sup.∞} of equation (10x) are the roots of the equation Δω+Λ.sub.v(φ)=0 that also satisfy Λ.sub.v′(φ)<0, where
The values {φ.sub.i.sup.∞} determine the average phase shift, relative to the forcing phase θ=Ωt, at which the oscillation stabilizes from an initial phase difference φ(0). It is denoted by (φ.sub.i.sup.∞)⊂[0,2π) that the set of initial phases φ(0) that result in convergence of the oscillator to φ.sub.i.sup.∞. In addition, the phases φ.sup.+=arg max.sub.φΛ.sub.v(φ) and φ.sup.−=arg min.sub.φΛ.sub.v(φ) at which the interaction function achieves its maximum and minimum values, respectively, are defined. In order for entrainment to occur, −Λ.sub.v(φ.sup.+)≦Δω≦−Λ.sub.v(φ.sup.−) must hold, so that at least one stable fixed point of Λ.sub.v exists. Thus the range of the interaction function determines which values of the frequency detuning Δω yield phase locking, and the shape of Λ.sub.v determines the possible asymptotic phase shifts φ.sub.i.sup.∞. These properties are illustrated in
iv) Ensemble Interaction Function and Control Input Construction
[0102] The interaction function of a structurally similar ensemble is examined, and methods of constructing and processing the interaction function to create a control input with a desired phase selection effect is disclosed herein. The interaction function formalism is invoked to derive the long-run behavior of a collection of N nonlinear oscillators with phase-reduced dynamics of the form in equation (2x) given by
={{dot over (ψ)}.sub.j=ω.sub.j+Z(ψ.sub.j)u,j=1, . . . ,N} (11x)
which all share an identical PRC. It is supposed, without loss of generality, that the natural frequencies of the ensemble elements are ordered according to ω.sub.1<ω.sub.2< . . . ω.sub.N. If an input of the form u=v(Ωt), where v is 2π-periodic, is applied to all the oscillators in , the collection of average phase drift dynamics of the form in equation (10x) is obtained as given by
={{dot over (φ)}.sub.1=Δω.sub.j+Λ.sub.v(φ.sub.j), j=1, . . . ,N}. (12x)
[0103] If each average drift equation in has a fixed point, then the input waveform v(Ωt) entrains all of the oscillators in
to the frequency Ω, and the pattern that emerges in the phase offsets φ.sub.j.sup.∞ of the oscillators relative to the forcing phase θ=Ωt can be inferred from the interaction function, the frequencies ω.sub.j, and the initial conditions φ.sub.j(0). Specifically, the average phase drift {dot over (φ)}.sub.j of each synchronized oscillator will be zero, and the average phase offset from the forcing phase θ=Ωt will be φ.sub.ij.sup.∞, depending on which set
(φ.sub.ij.sup.∞) the initial phase φ.sub.j(0) belongs to. Here
.sub.j(φ.sub.ij.sup.∞) denotes the set of initial phases for which the j.sup.th oscillator of
is attracted to the asymptotic phase offset φ.sub.ij.sup.∞. When synchronization of the collection
to the fixed points φ.sub.ij.sup.∞ occurs, then {dot over (φ)}.sub.j=Δω.sub.i+Λ.sub.v(φ.sub.j)=0 holds, with
Λ.sub.v(φ.sub.ij.sup.∞)=Δω.sub.j j=1, . . . ,N (13x)
Λ.sub.v′(φ.sub.ij.sup.∞)<0 j=1, . . . ,N, (14x)
where φ.sub.ij.sup.∞ is one of the possible asymptotic phases for the jth oscillator.
[0104] The condition in equation (14x) guarantees that the dynamical configuration is locally attractive and stable, as illustrated for an individual oscillator in satisfy ψ.sub.j(0)=φ.sub.ij.sup.∞ for j=1, . . . , N, then the synchronization pattern will be maintained. The pattern is also established and maintained when the initial conditions are relaxed to φ.sub.j(0)ε
(φ.sub.ij.sup.∞) for j=1, . . . , N. These regions are illustrated for an example interaction function in
[0105] The above analysis describes how the interaction function between a forcing waveform v and the PRC Z common to the collection characterizes the asymptotic phase structure of an oscillator ensemble with heterogeneous natural frequencies. The construction of ideal interaction functions for desired phase patterns is then examined, and the properties of the ensemble that determine their realizability. Because the Z(θ), v(θ), and θ.sub.v(φ) are all 2π-periodic, they may be expressed using Fourier series, and the Fourier series for Λ.sub.v(φ) is readily computed using equation (9x), trigonometric identities, and the orthogonality of the Fourier basis. The functions Z and v may be represented using the truncated series expansions
where the appropriate order r will be discussed below. Applying trigonometric angle sum identities to equation (9) and the orthogonality of the Fourier basis to eliminate terms yields
[0106] Therefore given truncated Fourier series expansions Λ.sub.v.sup.r(θ) and Z.sup.r(θ), the Fourier coefficients of the corresponding truncated series for the control waveform v.sup.r(θ) are given by
where χ.sub.A=1 if A is true, and χ.sub.A=0 otherwise.
[0107] An ideal interaction function Λ.sub.v(φ) that corresponds to the desired phase assignment task in equations (13x)-(14x) can be designed using a sum of scaled and shifted sigmoid functions. The error function is used, which is given by
as the basic element of the construction of the designed ideal interaction function that passes precisely through the coordinates (φ.sub.j*, Δω.sub.j). A smooth approximation to the unit step function is first defined by
σ(x)=½(erf(2x)+1), (21x)
which satisfies σ(−1)≈0, σ(1)≈1, and σ(0)=½. The range points are then created,
r.sub.1=−Δω.sub.1+½(−Δω.sub.1+−Δω.sub.2) (22x)
r.sub.j=½(−Δω.sub.j−Δω.sub.j−1), j=2, . . . ,N (23x)
r.sub.N+1=−Δω.sub.N+½(−Δω.sub.N−1+Δω.sub.N), (24x)
as well as the domain points,
s.sub.j=½(φ.sub.1*+φ.sub.N*−2π), (25x)
s.sub.j=½(φ.sub.j*+φ.sub.j−1*), j=2, . . . ,N (26x)
s.sub.N+1=½(φ.sub.1*+φ.sub.N*+2π), (27x)
and the domain scaling factors
h.sub.1=min{s.sub.2−φ.sub.1*,(φ.sub.1*−s.sub.1)/2}, (28x)
h.sub.j=min{s.sub.j+1−φ.sub.1*,(φ.sub.1*−s.sub.1)/2}, j=2, . . . N (29x)
h.sub.N+1=min{½(s.sub.N+1−φ.sub.N*,}. (30x)
A suitable interaction function Λ.sub.v* is then constructed by
[0108] The function in equation (31x) will thus pass close to the phase and detuning pairs (φ.sub.j,−Δω.sub.j). The sums in (31x) are repeated with the added offset factors 2π and −2π because the sigmoid function (21x) is not a perfect Heaviside unit step, but a periodic interaction function Λ.sub.v* must nevertheless be created. The particular methodology used to automatically create a suitable interaction function Λ.sub.v* that approximately satisfies (13x)-(14x) is not crucial in itself.
[0109] As long as the designed interaction function satisfies these properties, the Fourier coefficients (19x) obtained by circular de-convolution of this interaction function Λ.sub.v* and the nominal ensemble PRC Z yields the control that produces the desired phase pattern. Equations (20x)-(31x) are provided as a suggested example algorithm, which has been used for automatic control design for the experiments disclosed herein. A satisfactory interaction function curve Λ.sub.v* may not be unique, and could be constructed using many different algorithms, and the need to satisfy (13x)-(14x) is the only common requirement. Control inputs may be designed indirectly by constructing an interaction function.
[0110] The resulting function Λ.sub.v* is approximated by a truncated r-order Fourier series Λ.sub.v.sup.r as in equation (17x), which is then used to compute the input waveform in equation (19x). The maximal order r is determined by the number of square amplitudes .sub.n.sup.2 of the Fourier series terms in the PRC that exceed a tolerance δ.sub.Z. In order for Λ.sub.v.sup.r(φ) to satisfy the design conditions in equations (13x)-(14x), it must sufficiently well approximate Λ.sub.v(φ), and therefore the realizability of the design in equations (13x)-(14x) ultimately depends on the complexity of the PRC, in addition to the frequency distribution of the ensemble and the desired phase offsets. When these conditions are satisfied, the control waveform v.sup.r(θ) that results in the desired phase pattern can be easily synthesized using the Fourier coefficient formula in equation (19x).
iv) Interaction Function Realizability
[0111] The nonlinear complexity of the common PRC of oscillating subsystems in an ensemble determines the realizability of a desired interaction function for the ensemble. Specifically, a greater number of significant terms in the Fourier series approximation of the PRC are obtained as the oscillation exhibits higher relaxational behavior. Typically, this occurs as the oscillation moves farther past a Hopf bifurcation.
[0112] By inspecting equation (19x), it is evident that v.sup.r(θ) exists for a pair Λ.sub.v.sup.r(θ) and Z.sup.r(θ) only if a.sub.n.sup.2+b.sub.n.sup.2>0 for all n for which f.sub.n>0 or g.sub.n>0, and when a.sub.0≠0 if f.sub.0≠0. Therefore, any terms of the Fourier series for Λ.sub.v for which these conditions are not satisfied must be removed from the construction. For actual biological and chemical oscillating systems, the magnitudes .sub.n.sup.2=a.sub.n.sup.b+b.sub.n.sup.2 decay approximately exponentially. It is thus crucial for the expansion order r to be appropriately chosen such that
.sub.n.sup.2>δ.sub.Z for n≦r, where δ.sub.Z is an appropriate tolerance, and any order n for which
.sub.n=0 occurs must be omitted from the truncated series. This guarantees that numerical conditioning errors do not arise, and also that the designed v.sup.r(θ) satisfies the weak forcing assumption. An appropriate empirical value for the tolerance is δ.sub.Z=
Z.sup.2
.Math.10.sup.−4. Hence given the input u(t)=v.sup.r(Ωt), the asymptotic configuration of the entrained oscillators of equation (12x) will approximately satisfy the conditions in equations (13x)-(14x).
[0113] For the experimental electrochemical oscillators described in the main text, the appropriate series truncation is r=5. This limits the types of phase patterns that can be achieved for ensembles of such oscillators, and in particular, explains why the observed and desired values of Δφ in the parity diagram in
is limited when v has limited amplitude, so there is a minimum phase gap required for this return. This capacity for return of Λ.sub.v disappears as Δφ approaches 2π, as seen in the left panel of
[0114] The realizability of the interaction function in the above sense corresponds directly to realizability of a particular phase pattern in the ensemble. Thus, the existence of a periodic waveform that entrains an ensemble to such a phase pattern depends on the PRC of the ensemble sub-elements. In particular, a greater number of significant terms in the Fourier series expansion of Z corresponds to greater flexibility in phase pattern construction. Thus, more highly nonlinear and relaxational oscillation dynamics reflect greater controllability of the ensemble. Further work to more rigorously characterize this property of oscillatory ensembles is compelling.
v) Interaction Functions for Globally Attractive Patterns
[0115] A control input waveform is globally attractive for a phase pattern if frequency detuning values for the oscillators are monotone decreasing as desired phase offsets increase, and the corresponding interaction function can be realized. The natural frequencies of the ensemble may be ordered according to ω.sub.1<ω.sub.2< . . . ω.sub.N. Then the frequency detuning values in
satisfy −Δω.sub.1>−Δω.sub.2> . . . Δω.sub.N. Suppose also that the desired phase assignment satisfies φ.sub.1*<φ.sub.2*< . . . φ.sub.N*. Then an ideal interaction function that satisfies the appropriate conditions in equations (13x)-(14x) can be designed to have a unique set of asymptotic average phase offsets φ.sub.j.sup.∞=φ.sub.j*; that are globally attractive, with
.sub.j(φ.sub.j*)=[0,2π). The desired interaction function is monotone decreasing for phases on [δ.sub.1,φ.sub.N*+δ.sub.2)(mod2π) and monotone increasing on (φ.sub.N*+δ.sub.2,2π) to satisfy periodicity, where δ.sub.1 and δ.sub.2 are sufficient gaps for
to change sign. An example of such a Λ.sub.v, which is of the same form as those used in experiments described herein previously is illustrated in
[0116] Application of the waveform v that produces the interaction function Λ.sub.v in .sub.j(φ.sub.j*)=[0,2π) for all j=1, . . . , N so that the pattern will be established for any set of initial conditions Imo), so that the phase structure is globally attractive. Finally, suppose that the coefficients of the Fourier series of the PRC Z of the oscillators in
satisfy
.sub.n.sup.2>δ.sub.Z=
Z.sup.2
.Math.10.sup.−4 for all n<N, so that the deconvolution of Λ.sub.v as given in equations (15x)-(19x) may be done using truncated series with r=N terms.
Precursor Waveforms for Non-Globally Attractive Patterns
[0117] If the desired phase pattern is not monotonically arranged in the sense described herein below, then a control waveform does not exist such that the pattern is globally attractive. In that case, a precursor waveform is required to bring the phases of ensemble elements into an arrangement after which an ultimate waveform is applied to finalize and hold the phase pattern. When the desired phase offsets φ.sub.j* corresponding to natural frequencies ω.sub.j are not uniformly increasing on [0,2π), a globally attractive phase structure cannot be achieved. In such cases, as the one illustrated in .sub.j(φ.sub.j*), after which a final input is applied to finalize and subsequently hold the pattern. For the example in
vii) Interaction Function for Desynchronization
[0118] Suppose it is wished to accomplish phase desynchronization of a very large ensemble of oscillators , where N is large but uncertain with the frequencies ω.sub.j distributed uniformly on an interval [φ.sub.min,φ.sub.max] The ideal interaction function Λ.sub.v corresponding to a waveform that will spread the phase offsets of the ensemble uniformly across a large domain is shown in
[0119] Consider that a simple sinusoidal forcing of the form v(Ωt)=sin(Ωt) can be used to desynchronize the ensemble with phase offsets on [0,π). This is because it results in an interaction function that decreasing on an interval of length π so the maximum phase difference achievable is |φ.sub.max.sup.∞−φ.sub.min.sup.∞|<π. Hence, the disclosed approach enables more versatile manipulation of phase relationships beyond this limitation. In fact, it is possible to quantify how the disclosed approach increases the achievable relative phase desynchronization difference relative to sinusoidal forcing. If the PRC has non-trivial terms in its Fourier series up to order r, then it is possible to create an input waveform that results in an interaction function that is monotone on the interval
Thus, an approach can be used to achieve maximal desynchronization of an oscillator ensemble by increasing the phase offset distribution range by a factor of
period.
NEW1. Extension of the Phase-Selective Entrainment Technique
[0120] The disclosed method may be used to selectively entrain an oscillator network in which the oscillators are weakly coupled. Specifically, consider the network
{dot over (φ)}.sub.j=Δω.sub.j+Λ.sub.v(φ.sub.j)+Σ.sub.i=1.sup.Nα.sub.ijK.sub.ij(φ.sub.j−φ.sub.i), j=1, . . . ,N, (1z)
where α.sub.ij and K.sub.ij are the coupling influence of oscillator i on oscillator j and the coupling function between them, respectively, and
is the interaction function in which Z is the phase response curve (PRC). The network of oscillators is defined as synchronized if the conditions
(i) Λ.sub.v(φ.sub.j.sup.∞)=Δω.sub.j−Σ.sub.i=1.sup.Nα.sub.ijK.sub.ij(φ.sub.j−φ.sub.i), (2z)
(ii) Λ.sub.v′(φ.sub.j.sup.∞)<−α.sub.ijK.sub.ij′(φ.sub.j−φ.sub.i), j=1, . . . ,N, (3z)
hold, where condition (ii) guarantees that the dynamical configuration is locally attractive and stable. Note that if the oscillators are not connected, then the coupling functions K.sub.ij do not exist so that the equation (1z) and conditions in (2z) and (3z) are identical to the uncoupled case, namely, Λ.sub.v(φ.sub.j.sup.∞)=−Δω.sub.j and Λ.sub.v′(φ.sub.j.sup.∞)<0.
[0121] In various aspects, the methods described herein may be implemented using a remote and/or local computing device as described herein below.
[0122] Client computing device 302 also includes at least one media output component 308 for presenting information to a user 310. Media output component 308 is any component capable of conveying information to user 310. In some embodiments, media output component 308 includes an output adapter such as a video adapter and/or an audio adapter. An output adapter is operatively coupled to processor 304 and operatively coupleable to an output device such as a display device (e.g., a liquid crystal display (LCD), organic light emitting diode (OLED) display, cathode ray tube (CRT), or “electronic ink” display) or an audio output device (e.g., a speaker or headphones). In some embodiments, media output component 308 is configured to present an interactive user interface (e.g., a web browser or client application) to user 310.
[0123] In some embodiments, client computing device 302 includes an input device 312 for receiving input from user 310. Input device 312 may include, for example, a keyboard, a pointing device, a mouse, a stylus, a touch sensitive panel (e.g., a touch pad or a touch screen), a camera, a gyroscope, an accelerometer, a position detector, and/or an audio input device. A single component such as a touch screen may function as both an output device of media output component 308 and input device 312.
[0124] Computing device 302 may also include a communication interface 314, which is communicatively coupleable to a remote device such as SE computing device. Communication interface 314 may include, for example, a wired or wireless network adapter or a wireless data transceiver for use with a mobile phone network (e.g., Global System for Mobile communications (GSM), 3G, 4G, or Bluetooth) or other mobile data network (e.g., Worldwide Interoperability for Microwave Access (WIMAX)).
[0125] Stored in memory area 306 are, for example, computer-readable instructions for providing a user interface to user 310 via media output component 308 and, optionally, receiving and processing input from input device 312. A user interface may include, among other possibilities, a web browser and client application. Web browsers enable users 310 to display and interact with media and other information typically embedded on a web page or a website from a web server associated with a merchant. A client application allows users 310 to interact with a server application.
[0126]
[0127] Processor 404 is operatively coupled to a communication interface 408 such that server computing device 402 is capable of communicating with a remote device such as computing device 302 shown in
[0128] Processor 404 may also be operatively coupled to a storage device 410. Storage device 410 is any computer-operated hardware suitable for storing and/or retrieving data. In some embodiments, storage device 410 is integrated in server computing device 402. For example, server computing device 402 may include one or more hard disk drives as storage device 410. In other embodiments, storage device 410 is external to server computing device 402 and may be accessed by a plurality of server computing devices 402. For example, storage device 410 may include multiple storage units such as hard disks or solid state disks in a redundant array of inexpensive disks (RAID) configuration. Storage device 410 may include a storage area network (SAN) and/or a network attached storage (NAS) system.
[0129] In some embodiments, processor 404 is operatively coupled to storage device 410 via a storage interface 412. Storage interface 412 is any component capable of providing processor 404 with access to storage device 410. Storage interface 412 may include, for example, an Advanced Technology Attachment (ATA) adapter, a Serial ATA (SATA) adapter, a Small Computer System Interface (SCSI) adapter, a RAID controller, a SAN adapter, a network adapter, and/or any component providing processor 404 with access to storage device 410.
[0130] Memory areas 306 (shown in
EXAMPLES
[0131] The following examples demonstrate various aspects of the disclosure.
Example 1: Electrochemical Dissolution of Nickel Using Potential Actuation
[0132] To demonstrate the method for controlling the phase structure of an ensemble of heterogeneous oscillators, the following experiments were conducted. Electrochemical oscillations associated with the electrochemical dissolution of nickel in concentrated sulfuric acid solution using potential actuation was controlled using the method described above.
[0133] A schematic description of the experimental setup is depicted in
[0134] The apparatus consisted of twenty nickel wires that functioned as working electrodes (WE), with diameters of 0.69 mm, spaced by 2.0 mm, and embedded in epoxy resin. Prior to the electrochemical measurements, each nickel wire of the WE was polished with sandpaper with one of six levels of roughness, ranging from 180 to 4000 grit. The current of each working electrode was monitored independently. During the anodic dissolution of nickel within the WE, the spontaneous formation of self-sustained electrochemical oscillations driven by the presence of a negative differential resistance was observed.
[0135] Once the WE were placed in the electrochemical cell, a slow positive sweep of 0.01 V s−1 from 0 V to a constantly applied potential V0 was conducted in order to form a thin passive layer on the electrode surface. This baseline was set in reference to an Hg/Hg2SO4/sat. K2SO4 reference electrode (RE) in the electrochemical cell, containing a 1.6 mm diameter Pt-coated Ti wire counter electrode (CE), and 3.0 mol L−1 sulfuric acid solution at constant temperature of 10 deg C. The potential V0 was initially set using the potentiostat (Bank Instruments) at a value for which the oscillation was close to the Hopf bifurcation, which was approximately 1.15 V. Inputs to the oscillating system consisted of an additional potential V superimposed onto the baseline potential V0 using the potentiostat.
[0136] Soon after, the PRCs were measured simultaneously for the WE by the automatic procedure of applying a pseudo-randomly timed potential pulse sequence of −0.20 V with pulse-width of 0.05 seconds and post-processing the observed current using the pulse perturbation procedure disclosed herein above. Measurements of the current oscillations in the electrochemical reactions were obtained by an interface to the high-speed multifunction data acquisition (DAQ) device with a sample rate of 200 Hz. Simultaneously, the periodic potential perturbations v with determined amplitude scaling A and frequency Ω were applied in the electrochemical oscillator ensemble using the controlled potentiostat to superimpose the waveform onto the applied baseline voltage V0. Both interfaces were written in LabView. Each control waveform was generated based on the PRC obtained prior to conducting the experiment and the targeted interaction function was generated from the desired set of phase offsets for the oscillators.
[0137]
Example 2: Phase Assignment Applications to Different Systems
[0138] The phase assignment method disclosed herein was applied to entrain oscillatory systems arising from different domains. In particular, robust global entrainment waveforms were designed to form phase patterns (synchronization, desynchronization, and clustering) in a collection of oscillatory systems, including Hodgkin-Huxley neurons, Morris-Lecar neurons, and electro-chemical oscillators.
Entrainment of Hodgkin-Huxley Neurons
[0139] The Hodgkin-Huxley (HH) model (see Appendix A) describes the propagation of action potentials in neurons, specifically the squid giant axon, and is used as a canonical example of neural oscillator dynamics. The phase-selective entrainment technique was applied to entrain HH neurons.
Hodgkin-Huxley Model
[0140] The Hodgkin-Huxley model describes the propagation of action potentials in neurons, specifically the squid giant axon, and is used as a canonical example of neural oscillator dynamics. The equations are
{dot over (V)}=I.sub.b+I(t)−
{dot over (m)}=a.sub.m(V)(1−m)−b.sub.m(V)(m),
{dot over (h)}=a.sub.h(V)(1−h)−b.sub.h(V)(h),
{dot over (n)}=a.sub.n(V)(1−n)−b.sub.n(V)(n),
a.sub.m(V)=0.1(V+40)/(1−exp(−(V−40)/10)),
b.sub.m(V)=4exp(−(V+65)/18),
a.sub.h(V)=0.07exp(−(V+65)/20),
b.sub.h(V)=1/(1+exp(−(V+35)/10)),
a.sub.n(V)=0.01(V+55)/(1−exp(−(V+55)/10)),
b.sub.n(V)=0.125exp(−(V+65)/80).
[0141] The variable V is the voltage across the axon membrane, m, h, and n are the ion gating variables, I.sub.b is a baseline current that induces the oscillation, and I(t) is the control input. The units of V are millivolts and the units of time are milliseconds. Nominal parameters are V.sub.Na=50 mV, V.sub.K=−77 mV, V.sub.L=−54.4 mV,
Uncoupled HH Neurons
[0142] An entrainment phase pattern {φ.sub.1.sup.∞,φ.sub.2.sup.∞,φ.sub.3.sup.∞}={π/3, π, 5π/3} for three oscillators (N=3) with the frequencies {ω.sub.1, ω.sub.2, ω.sub.3}={0.99ω, ω, 1.01ω} was created, where ω is the natural frequency. The designed interaction function N.sub.v.sup.r(φ) and the optimal waveform v.sup.r(θ) are shown in
HH Neuronal Networks
[0143] The same entrainment phase pattern {φ.sub.1.sup.∞,φ.sub.2.sup.∞,φ.sub.3.sup.∞}={π/3, π, 5π/3} was created for the same oscillators as described above with their frequencies {ω.sub.1, ω.sub.2, ω.sub.3}={0.99ω, ω, 1.01ω} and consider the case when they are weakly coupled through the coupling functions K.sub.ij(φ)=cos(φ) with the coupling strength α.sub.ij=0.05 for i,j=1, 2, 3. The designed interaction function and the optimal waveform Λ.sub.v.sup.r(v) are shown in
Entrainment of Morris-Lecar Neurons
[0144] The Morris-Lecar model was originally proposed to capture the oscillating voltage behavior of giant barnacle muscle fibers. Over the past years this model has been extensively studied and used as a standard model for representing many different real neurons that are experimentally observable. For example, it has been found that Morris-Lecar PRC is extremely similar to the experimentally observed PRCs of Aplysia motoneuron.
Morris-Lecar Model
[0145] The dynamics of the Morris-Lecar neuron is described by
C{dot over (V)}+(I.sup.b+I)=g.sub.Cam.sub.∞(V.sub.Ca−V)+g.sub.Kw(V.sub.K−V)+g.sub.Lw(V.sub.L−V),
{dot over (w)}=φ(ω.sub.∞−ω)/τ.sub.ω(V),
where m.sub.∞=0.5[1+tan h((V−V.sub.1)/V.sub.2)], ω.sub.∞=0.5[1+tan h((V−V.sub.3)/V.sub.4)], τ.sub.ω=1/cos h[(V−V.sub.3)/(2V.sub.4)], and parameter values for the Morris-Lecar neuron are given as:
[0146] φ=0.5, I.sup.b=0.09 ρA/cm.sup.2, V.sub.L=−0.01 mV, v.sub.2=0.15 mV, V.sub.3=0.1 mV, v.sub.4=0.145 mV, g.sub.Ca=1 mS/cm.sup.2, V.sub.K=−0.7 mV, V.sub.L=−0.5 mV, g.sub.K=2 mS/cm.sup.2, g.sub.L=0.5 mS/cm.sup.2, C=1 μF/cm.sup.2.
[0147] A uniform entrainment pattern was created {φ.sub.1.sup.∞,φ.sub.2.sup.∞,φ.sub.3.sup.∞,φ.sub.4.sup.∞,φ.sub.5.sup.∞}={π/5, 3π/5, π, 3π/5, 7π/5, 9π/5} for five weakly coupled oscillators (N=5) with the frequencies {ω.sub.1,ω.sub.2,ω.sub.3,ω.sub.4,ω.sub.5}={0.98ω, 0.99ω, ω, 1.01ω, 1.02ω}, where ω is the natural frequency. The coupling functions are K.sub.ij(φ)=sin(φ)+cos(φ) with the coupling strength α.sub.ij=0.02 for i, j=1, . . . , 5. The designed interaction function Λ.sub.v.sup.r(φ) and the optimal waveform v.sup.r(θ) are shown in
Entrainment of a Network of Chemical Oscillators
[0148] A two-cluster entrainment pattern in a network of 15 chemical oscillators was created as shown in
[0149] This written description uses examples to disclose the invention, including the best mode, and also to enable any person skilled in the art to practice the invention, including making and using any devices or systems and performing any incorporated methods. The patentable scope of the invention is defined by the claims, and may include other examples that occur to those skilled in the art. Such other examples are intended to be within the scope of the claims if they have structural elements that do not differ from the literal language of the claims, or if they include equivalent structural elements with insubstantial differences from the literal languages of the claims.