Abstract
The paper considers the problem of controlling multistability in a general class of circuits composed of a linear time-invariant two-terminal (one port) element, containing linear R, L, C components and ideal operational amplifiers, coupled with one of the mem-elements (memory elements) introduced by Prof. L.O. Chua, i.e., memristors, memcapacitors, and meminductors. First, explicit expressions of the invariant manifolds of the circuit are directly given in terms of the state variables of the two-terminal element and the mem-element. Then, the problem of steering the circuit dynamics from an initial invariant manifold to a final one, and hence to potentially switch among different attractors of the circuit, is addressed by designing pulse shaped control inputs. The control inputs ensure that the transition between the initial and final manifolds is accomplished within a given finite time interval. Moreover, it is shown how the designed control inputs can be implemented by introducing independent voltage and current sources in the two-terminal element. Notably, it turns out that it is always possible to solve the considered control problem by using a unique independent source. Several examples are provided to illustrate how the proposed approach can be applied to different circuits with mem-elements and to highlight the influence of the features of the designed sources on the behavior of the controlled dynamics.
Similar content being viewed by others
![](https://media.springernature.com/w215h120/springer-static/image/art%3A10.1007%2Fs11071-024-09698-2/MediaObjects/11071_2024_9698_Fig1_HTML.png)
Avoid common mistakes on your manuscript.
1 Introduction
The need of an ever growing computing power to handle data-intensive applications is becoming a serious challenge for conventional digital von Neumann computing architectures [1,2,3]. It is indeed well known that the performance of these architectures is influenced by the physical separation between the central processing unit and the memory chips, which inevitably leads to long latency and energy consumption when addressing data-intensive tasks. In the last years, emerging nanoscale analog devices as memristors and, more generally, mem-elements, have gained a prominent role for overcoming some of the limitations of digital computer architectures by introducing new computing paradigms based on the in-memory and analog computation principles [4,5,6].
The memristor (memory resistor) has been introduced by Prof. Leon Chua in 1971 as the fourth fundamental passive circuit element, while memcapacitors and meminductors are the mem-elements proposed more recently to model memory effects for capacitors and inductors, respectively [7]. The fundamental features of memristors and the other mem-elements are non-volatility, i.e., the capability to hold data in memory without the need of a power supply, and nonlinearity, which makes mem-elements circuits able to generate oscillatory and more complex dynamics [8, 9]. The combination of these two features makes it possible to devise in-memory computing schemes where the analog dynamics of the mem-element is effectively used for computational purposes and the computation output is stored in the same device [10]. Such a co-location of computation and memory enables low energy consumption and latency reduction. Moreover, in-memory computing allows for high density of the memory arrays, excellent scalability and the capability of 3D integration, thus making itself as quite a promising novel approach for intensive computing in the area of artificial intelligence and big data [11,12,13,14,15,16].
This strong interest in mem-elements has stimulated a thorough investigation of the dynamical properties of circuits containing these memory elements. Some of the first investigations of memristor circuits based on analytical and graphical methods can be found in [17,18,19,20,21]. Later, it became clear that the state space of circuits containing ideal memristors can be decomposed into a continuum of invariant manifolds (foliation property of the state space), which are indexed by some constant parameter whose value depends on the initial conditions of the circuit. Specifically, in [22, 23] a third-order memristor circuit is investigated in the voltage–current domain, while quite general classes of memristor circuits are analyzed in the flux–charge domain (see [24,25,26,27] and references therein). In particular, the flux–charge analysis method (FCAM), introduced in [24, 25], makes it clear that the rich dynamics displayed by memristor circuits is due to the fact that the state space contains infinitely many invariant manifolds. On each invariant manifold either convergent, or oscillatory, or even more complex behaviors can be displayed, thus implying the coexistence of many different dynamics for a given set of circuit parameters, a property which is referred to as multistability (see, e.g., [9, 28,29,30,31,32,33,34,35] and references therein). Also, structural changes in the asymptotic behavior of solutions are observed when varying the initial conditions even for a fixed set of circuit parameters, a peculiar phenomenon referred to as bifurcation without parameters (see, e.g., [16, 25]). More recently, the flux–charge approach has been extended to much broader classes of circuits containing more than one memristor as well as memcapacitors and meminductors (see, e.g., [8, 9, 36,37,38,39,40,41] and references therein). Finally, [42] provides a systematic input–output approach to characterize the dynamical properties of a class of circuits composed of a linear time-invariant two-terminal element coupled with one of the ideal mem-elements. Such an approach can be fruitfully used to predict limit cycles and their bifurcations via the Harmonic balance method (HBM) [43,44,45], as shown in [46, 47].
The coexistence of many different attractors makes circuits with mem-elements natural candidates for multistability control, a field of general growing interest (see, e.g., [48] and references therein). Multistability control is indeed considered a fundamental step toward the development of new computational paradigms, such as reservoir computing [49, 50]. Some contributions to such a problem have been recently given, showing that it is possible to target the memristor circuit dynamics toward the attractor contained in one of the invariant manifolds. In [26], it is shown that multistability can be physically controlled by first obtaining an incremental flux–charge model, which depends on the initial conditions of the dynamic elements of the memristor circuit, and then designing an equivalent circuit realization of the model and tuning the initial conditions via suitable instrumentation. A pulse-programmed feedforward control law based on FCAM to drive the state on pre-assigned invariant manifolds is proposed in [36] and extended to memristor circuits with nonlinear capacitors and inductors in [51]. Both feedforward and feedback control laws are considered in [52] to drive the state of the memristor Murali–Lakshmanan–Chua circuit (see, e.g., [53]) onto a specific invariant manifold within a given time interval. However, the basic issue of how these feedforward and feedback control laws should be implemented in the circuit to physically control multistability remains to be investigated.
This paper aims to address this important practical issue for a fairly general class of circuits with an ideal mem-element. The objective is to investigate if it is possible to steer the circuit dynamics onto a pre-assigned invariant manifold, within a given time interval, by designing suitable pulse programmed feedforward control laws whose circuit implementation can be realized via the introduction of a unique independent source. Preliminary results in this direction have been given in [54, 55] for a third-order memristor circuit. In Sect. 2, it is first presented the considered class of circuits which is composed of the interconnection of a linear time-invariant two-terminal (one port) element and a single ideal mem-element. Specifically, the linear two-terminal element can contain linear R, L, C components and ideal operational amplifiers, while the mem-element can be a flux- or charge-controlled memristor, a flux- or \(\sigma \)-controlled capacitor, a \(\rho \)- or charge-controlled inductor. Then, on the basis of the approach developed in [42], it is shown that each circuit of the class admits a suitable feedback system representation. Exploiting the structural properties of such a representation, Sect. 3 provides a novel characterization of the invariant manifolds of the circuit without resorting to the flux–charge approach. Specifically, the invariant manifolds are directly expressed in terms of the state variables of the two-terminal element and the mem-element. Section 4 is devoted to the considered control problem of steering the circuit dynamics onto a pre-assigned invariant manifold by introducing in the circuit suitable feedforward pulse shaped control inputs. The issue of how the designed control inputs can be implemented by means of independent voltage and current sources is addressed in Sect. 5. Finally, several examples are presented in Sect. 6 for illustration purposes.
2 Preliminaries and problem formulation
Consider the class of circuits depicted in Fig. 1 which is composed of a finite-dimensional causal linear time-invariant two-terminal (one port) \(\mathbf{L}\), with voltage \(v_{\mathbf{L}}\) and current \(i_{\mathbf{L}}\), and an ideal mem-element \(\mathbf{ME}\), with voltage \(v_M\) and current \(i_M\), and it does not contain any independent voltage and current sources. Clearly, we have \(v_{\mathbf{L}} = v_M\) and \(i_{\mathbf{L}} =-i_M\).
The two-terminal element \(\mathbf{L}\), which can be either a passive or an active circuit, is modeled by a finite-dimensional causal linear time-invariant dynamical system \(\varSigma _{\mathbf{L}}\) with input u, output y and state x, as depicted in Fig. 2a. Specifically, \(\mathbf{L}\) admits two different models according to the choice of the input u and the output y: the current–voltage model \(\varSigma _{\mathbf{L}}^{(i)}\), where it is assumed that \(u = i_{\mathbf{L}}\) and \(y = v_{\mathbf{L}}\), and the voltage–current model \(\varSigma _{\mathbf{L}}^{(v)}\), where it is assumed that \(u = -v_{\mathbf{L}}\) and \(y = -i_{\mathbf{L}}\).Footnote 1 In both cases, the dynamics is assumed to be described by the following state space representation:
where \(x \in \mathbb {R}^n\), \(u \in \mathbb {R}\), \(y \in \mathbb {R}\), \(A\in \mathbb {R}^{n\times n}\), \(B\in \mathbb {R}^{n\times 1}\), \(C\in \mathbb {R}^{1\times n}\), \(D\in \mathbb {R}^{1\times 1}\) and \(\mathcal {D}\) denotes the differential operator (i.e., \(\mathcal {D}f(t)={\dot{f}}(t)\), \(\mathcal {D}^2 f(t)=\ddot{f}(t)\), and so on). Clearly, it follows that \(u = i_M\) and \(y = v_M\) in the current–voltage model \(\varSigma _{\mathbf{L}}^{(i)}\), while \(u = -v_M\) and \(y = i_M\) in the voltage–current \(\varSigma _{\mathbf{L}}^{(v)}\). We remark that \(\mathbf{L}\) can be equivalently represented by the input–output relation
where \(L(\mathcal {D})\) is the following real proper rational functionFootnote 2
Consequently, y(t) and u(t) obey the following linear time-invariant ordinary differential equation
where \(P(\mathcal {D})\) and \(R(\mathcal {D})\) are the numerator and denominator polynomials of \(L(\mathcal {D})\), i.e.,
Note that if s is the complex variable, then L(s) is the equivalent impedance of \(\mathbf{L}\) in the case of the current–voltage model \(\varSigma _{\mathbf{L}}^{(i)}\) and the equivalent admittance in the case of the voltage–current model \(\varSigma _{\mathbf{L}}^{(v)}\). This implies that if the scalar matrix D is zero (i.e., \(L(\mathcal {D})\) is strictly proper), then \(\mathbf{L}\) can be uniquely described by either the current–voltage model or the voltage–current model, while if \(D \ne 0\) (i.e., \(L(\mathcal {D})\) is proper but not strictly proper), then both \(\varSigma _{\mathbf{L}}^{(i)}\) and \(\varSigma _{\mathbf{L}}^{(v)}\) can be equivalently used to model \(\mathbf{L}\).
Throughout the paper, the following conditions are enforced on \(\mathbf{L}\).
Assumption 1
The controllability matrix
and the observability matrix
are non-singular.
Remark 1
Assumption 1 ensures that the two-terminal element \(\mathbf{L}\) is completely controllable from input u and completely observable from output y. Note that the assumption implies that the polynomials \(R(\mathcal {D})\) and P(D) in (5) are coprime. Also, under this assumption \(\mathbf{L}\) has no loop formed by capacitors only, and no cut-set formed by inductors only.
The mem-element \(\mathbf{ME}\) in Fig. 1 can be any of the six mem-elements introduced in [40, 56], i.e., a flux-controlled memristor (MR \(_\varphi \)), a charge-controlled memristor (MR \(_q\)), a flux-controlled memcapacitor (MC \(_\varphi \)), a \(\sigma \)-controlled memcapacitor (MC \(_\sigma \)), a charge-controlled meminductor (ML \(_q\)) and a \(\rho \)-controlled meminductor (ML \(_\rho \)). Each mem-element can be seen as a finite-dimensional time-invariant nonlinear dynamical system \(\varSigma _{\mathbf{ME}}\) with input \(u_M\), output \(y_M\) and state \(\xi \) as depicted in Fig. 2b. It turns out that MR \(_\varphi \) and MR \(_q\) are modeled by the first-order causal representation
MC \(_\varphi \) and ML \(_q\) by the first-order non-causal representation
ML \(_\rho \) and MC \(_\sigma \) by the second-order causal representation
where \(\xi _1(t)\), \(\xi _2(t)\) are the state variables, \(N(\cdot )\) represents the \(\mathbf{ME}\) nonlinear characteristic and \(N^\prime (\cdot )\), \(N^{\prime \prime }(\cdot )\) its first- and second-order derivatives. The specific state variables \(\xi _1\), \(\xi _2\), the input \(u_M\), the output \(y_M\), and the nonlinear characteristic \(N(\cdot )\) pertaining to each \(\mathbf{ME}\) are reported in Table 1 in terms of \(v_M\), \(i_M\), the flux \(\varphi _M\), the charge \(q_M\), the flux momentum \(\rho _M\), and the charge momentum \(\sigma _M\), whose definitions are recalled next:
Throughout the paper, it is assumed that the nonlinear characteristic \(N(\cdot )\) vanishes as the argument is equal to zero. It is also required that it is as smooth as needed to ensure existence and uniqueness of the solutions of the system modeling the class of circuits of Fig. 1.
From the above characterization of \(\mathbf{L}\) and \(\mathbf{ME}\), it follows that the class of circuits of Fig. 1 can be represented via the feedback system of Fig. 3a. Table 1 shows that for each \(\mathbf{ME}\) the input \(u_M\) is either the voltage \(v_M\) or the current \(i_M\). As a consequence, a unique model \(\varSigma _{\mathbf{L}}\) is admissible for each \(\mathbf{ME}\), i.e., the one such that \(u_M = y\). The first row of Table 2 identifies such a relation between \(\mathbf{ME}\) and \(\mathbf{L}\).
When dealing with feedback systems, an important issue to be considered is its well-posedness, which is strictly related to causality of the interconnected system. It can be shown that well-posedness of the feedback system of Fig. 3a) is ensured once the following additional assumption on \(\mathbf{L}\) is enforced.
Assumption 2
Let \(\partial P\) and \(\partial R\) denote the degree of the denominator and numerator polynomials of \(L(\mathcal {D})\). Then, the relative degree of \(L(\mathcal {D})\), i.e., \(\partial P - \partial R\), is assumed to satisfy:
Remark 2
From the expression (3) of \(L(\mathcal {D})\), it can be verified that condition (15) holds if and only if \(D = 0\), while condition (16) is satisfied if and only if also \(CB = 0\). Indeed, this follows by recalling that the expression of L(D) in (3) admits the following equivalent representation in series expansion
Hence, the additional conditions on the matrices of \(\varSigma _{\mathbf{L}}\) to ensure well-posedness are exactly those reported in the last row of Table 2. Note that no conditions are needed when \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{III})}\), i.e., in the case of a \(\sigma \)-controlled memcapacitor MC \(_\sigma \) and a \(\rho \)-controlled meminductor ML \(_\rho \).
a The invariant manifolds \({{\mathcal {M}}}_1\) of index \(I=I_1\) and \({{\mathcal {M}}}_2\) of index \(I=I_2\) are depicted in blue and red, respectively. The trajectories lying on \({{\mathcal {M}}}_1\) and \({{\mathcal {M}}}_2\) converge toward an equilibrium point and a limit cycle, respectively. The initial conditions are marked with \(\circ \). b The trajectory starts from the initial conditions on \({{\mathcal {M}}}_1\) marked with \(\circ \) at \(t=t_0\) and it remains on \({{\mathcal {M}}}_1\) for \(t \in [t_0, t_1]\), \(t_1>t_0\) (blue trajectory). At \(t=t_1\) the control law is activated and the trajectory moves away from \({{\mathcal {M}}}_1\) (green trajectory) reaching \({{\mathcal {M}}}_2\) at \(t=t_2\), \(t_2>t_1\), when the control law is turned off. Then, for \(t>t_2\) the trajectory remains on \({{\mathcal {M}}}_2\) and converges to the limit cycle (red trajectory). The control law is designed in order to make the manifold index I varying from \(I_1\) to \(I_2\) in the time interval \([t_1, t_2]\). (Color figure online)
2.1 Problem formulation
It is known that the state space of circuits containing one ideal mem-element can be decomposed into a continuum of invariant manifolds (see, e.g., [24,25,26]). As a consequence, the circuit dynamics can be obtained by collecting the dynamics displayed by a family of reduced-order systems indexed by a constant parameter, whose value determines the specific invariant manifold where the dynamics is confined to lie. Such a constant parameter, which uniquely identifies the corresponding invariant manifold, is hereafter referred to as the manifold index.
Controlling multistability of circuits with mem-elements, i.e., making the circuit dynamics capable of switching among different attractors, is becoming an issue of increasing interest. In [26], it is shown that multistability can be physically controlled by tuning the initial voltages of the capacitors of the memristor circuit via suitable hardware instrumentation. Some feedforward and feedback control laws have been also proposed for multistability control purposes [36, 51, 52]. However, a systematic procedure for the circuit realization of these control laws has not been given yet.
Figure 4a provides a qualitative illustration of the problem here addressed for circuits of the class of Fig. 1 admitting the feedback system representation of Fig. 3a. Specifically, let \({{\mathcal {M}}}_1\) and \({{\mathcal {M}}}_2\) denote the invariant manifolds corresponding to the values \(I_1\) and \(I_2\) of the manifold index \(I \in \mathbb {R}\). Any trajectory starting on either \({{\mathcal {M}}}_1\) or \({{\mathcal {M}}}_2\) remains confined onto the same invariant manifold, eventually converging toward an attractor. Hence, it turns out that a basic issue of multistability control is to design control laws which are capable of steering the circuit dynamics from an invariant manifold to another one in a finite time interval, as qualitatively illustrated in Fig. 4b. Clearly, during this time interval the control laws must change the manifold index from \(I_1\) to \(I_2\).
We address this problem by looking at pulse programmed feedforward control laws which can be implemented by introducing independent voltage and current sources in the two-terminal element, as depicted in Fig. 5. To this end, in Sect. 3, we first provide a novel characterization of the invariant manifolds of the feedback system representation of Fig. 3a, which is instrumental for the successive developments. Then, in Sect. 4 we consider the feedback system representation of Fig. 3b where \(\varSigma _{\mathbf{L}}^{(c)}\) is the controlled version of \(\varSigma _{\mathbf{L}}\), i.e.,
with \(w \in \mathbb {R}\) being the feedforward control input and \(F \in \mathbb {R}^{1\times n}\) the vector defining how the control input affects the two-terminal element \(\mathbf{L}\).
The problem under investigation can be formally stated as follows. Let \(I \in \mathbb {R}\) denote the manifold index and \({{\mathcal {M}}}_1\), \({{\mathcal {M}}}_2\) be the invariant manifolds corresponding to \(I = I_1\), \(I = I_2\), respectively. Suppose that for all \(t \in [t_0, t_1]\), \(t_0 < t_1\), the dynamics lies onto \({{\mathcal {M}}}_1\). Then, the objective is to design F in order to steer the dynamics from \({{\mathcal {M}}}_1\) to \({{\mathcal {M}}}_2\) within the time interval \([t_1, t_2]\), \(t_1< t_2 < +\infty \), for any input w with the following pulse shape:
where \({\bar{w}}(t)\) is any piecewise-continuous signal in \([t_1, t_2]\) satisfying the following area constraint:
It is worth noting that the shape of the pulses satisfying (20) is expected to affect the transient behavior when the circuit dynamics moves from \({{\mathcal {M}}}_1\) toward \({{\mathcal {M}}}_2\) and hence between the corresponding attractors.
The final step concerns the implementation of the obtained F and w within the two-terminal element, i.e., to determine where the sources \(V_1^{(s)}, \ldots , V_i^{(s)}, \ldots \) and/or current \(I_1^{(s)}, \ldots , I_i^{(s)}, \ldots \) should be located inside \(\mathbf{L}\) (see Fig. 5). This issue is addressed in Sect. 5.
3 Invariant manifolds characterization
In this section, a novel analytical characterization of the invariant manifolds of any circuit of the class of Fig. 1 is provided in terms of the state variable x and \(\xi \) of \(\varSigma _{\mathbf{L}}\) and \(\varSigma _{\mathbf{ME}}\), respectively. In particular, the invariant manifolds are parameterized via a scalar quantity \(I \in \mathbb {R}\), which is referred to as the manifold index. Such a parameterization is developed by exploiting the structural properties of the feedback representation in Fig. 3a of the circuit of Fig. 1. The next result plays a key role in the sought characterization.
Lemma 1
Let Assumption 1 hold and consider the system of \(n + 1\) linear equations
where \(v^\top \in \mathbb {R}^n\), \(\lambda \in \mathbb {R}\), \(\mu \in \mathbb {R}\). Then, the solution set of (21), i.e.,
is a one-dimensional linear subspace of \(\mathbb {R}^{n+2}\) such that
if A is non-singular, and by
with \({\bar{v}}^\top \in \mathbb {R}^{n+2}\), \({\bar{v}} \ne 0_{1\times n}\), such that \({\bar{v}}A = 0\), if A is singular.
Proof
See the appendix.\(\square \)
Remark 3
Note that A is non-singular whenever \(\mathbf{L}\) is passive. In fact, if L is passive, then its impedance/admittance L(s) must be positive real and hence the denominator P(s) of L(s) must be a Hurwitz polynomial, which in turn implies that \(P(0) \ne 0\). Since \(P(s) = det(sI_n - A)\), this last condition is indeed equivalent to \(det(A) \ne 0\).
Let us first consider the system of Fig. 3a with \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\), i.e., the case of MR \(_\varphi \) and MR \(_q\). By exploiting (1), (8) and Assumption 2, it can be verified that in this case the system of Fig. 3a obeys the following equations:
once \(\eta (t) \doteq \xi _1(t)\) and \(r(t) \doteq N(\xi _1(t))\). Note that \(\varSigma \) is a linear time-invariant system with \((x^\top , \eta )^\top \in \mathbb {R}^{n+1}\) as state vector and \(\mathcal {D}r(t)\) as input. Exploiting this special structure, the following result is derived:
Proposition 1
Let Assumptions 1 and 2 hold. Then, the invariant manifolds \({{\mathcal {M}}}_I\), \(I \in \mathbb {R}\), of the feedback system of Fig. 3a in the case \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\) are given by
if A is non-singular, and by
with \({\bar{v}} \ne 0\), such that \({\bar{v}}A \ne 0\), if A is singular. In both cases, the following set equivalence
holds, i.e., the state space of the feedback system is decomposed in a continuum of invariant manifolds.
Proof
We first observe that if
is an invariant linear manifold of \(\varSigma \) then, since \(\eta =\xi _1\) and \(r=N(\xi _1)\),
is an invariant manifold of the feedback system of Fig. 3a. Now, (29) is an invariant manifold for each \(I \in \mathbb {R}\) if and only if
and hence, taking into account the expressions of \(\mathcal {D}x(t)\) and \(\mathcal {D}\eta (t)\) in (25), if and only if
for all \(x(t) \in \mathbb {R}^n\), \(r(t) \in \mathbb {R}\). According to Lemma 1, condition (32) is satisfied if and only if \((v, \lambda , \mu )^\top \in {{\mathcal {S}}}\). Hence, the proof of (26)–(27) readily follows from (30) and Lemma 1. Finally, to prove (28), it is enough to observe that
and
once \(\eta \) and r are replaced by \(\xi _1\) and \(N(\xi _1)\), respectively.
\(\square \)
Remark 4
The expression of \({{\mathcal {M}}}_I\) implies that, in the case \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\), each trajectory of the feedback system of Fig. 3a with initial conditions \(x(t_0)\), \(\xi _1(t_0)\) satisfying either
if A is non-singular, or
if A is singular, lies on \({{\mathcal {M}}}_I\) for all \(t \ge t_0\). This implies that the value of the index manifold I depends on the initial conditions of the circuit.
Remark 5
From the proof of Proposition 1, it follows that system \(\varSigma \) admits linear invariant subspaces of the form \(vx + \lambda \eta + \mu r = I\) (see (29)). This implies that \(\varSigma \) cannot be completely controllable from the input r. Indeed, by introducing the new state vector \({\bar{x}} = x-Br\), \(\varSigma \) can be rewritten equivalently as
Now, applying the PBH test (see, e.g., [57]) to the zero eigenvalue of the state matrix, we get
which shows that \(\varSigma _{eq}\), and hence \(\varSigma \), is not completely controllable from the input r.
We now consider the case when \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{II})}\), i.e., the case of MC \(_\varphi \) and ML \(_q\). From (1), (9) and Assumption 2, it follows that the system of Fig. 3a is described by system \(\varSigma \) in (25) once \(\eta (t) \doteq \xi _1(t)\) and \(r(t) \doteq \mathcal {D}N(\xi _1(t))\). Hence, the next result holds true.
Proposition 2
Let Assumptions 1 and 2 hold. Then, the invariant manifolds \({{\mathcal {M}}}_I\), \(I \in \mathbb {R}\), of the feedback system of Fig. 3a in the case \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{II})}\) are given by
if A is non-singular, and by
with \({\bar{v}} \ne 0\), such that \({\bar{v}}A \ne 0\), if A is singular. In both cases, the following set equivalence
holds.
Proof
The proof parallels that of Proposition 1 with the unique difference that now \(r=\mathcal {D}N(\xi _1)\).\(\square \)
Let us finally consider the system of Fig. 3a with \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{III})}\), i.e., the case of MC \(_\sigma \) and ML \(_\rho \). In this case, we need to extend the system \(\varSigma \) in (25) as follows:
where the additional state variable \(\zeta \) is the time-integral of \(\eta \). By exploiting (1), (10) and Assumption 2, it can be readily verified that \(\varSigma ^{(e)}\) describes the dynamics of the system of Fig. 3a in the case \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{III})}\) once \(\zeta (t) \doteq \xi _1(t)\), \(\eta (t) \doteq \xi _2(t)\) and \(r(t) \doteq N(\xi _2(t))\). Note that \(\varSigma ^{(e)}\) is a linear time-invariant system with \((x^\top , \eta , \zeta )^\top \in \mathbb {R}^{n+2}\) as state vector and \(\mathcal {D}r(t)\) as input. The next result holds true.
Proposition 3
Let Assumptions 1 and 2 hold. Then, the invariant manifolds \({{\mathcal {M}}}_I\), \(I \in \mathbb {R}\), of the feedback system of Fig. 3a in the case \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{III})}\) are given by
if A is non-singular, and by
with \({\bar{v}} \ne 0\), such that \({\bar{v}}A \ne 0\), if A is singular. In both cases, the following set equivalence
holds.
Proof
The proof parallels that of Proposition 1. First, observe that
is an invariant manifold of \(\varSigma ^{(e)}\) for each \(I \in \mathbb {R}\) if and only if
and hence if and only if
for all \(x(t) \in \mathbb {R}^n\), \(\eta (t) \in \mathbb {R}\), \(r(t) \in \mathbb {R}\). Then, \({{\mathcal {L}}}_I^{(e)}\) is an invariant manifold of \(\varSigma ^{(e)}\) if and only if \((v, \lambda , \mu )^\top \in {{\mathcal {S}}}\) and \(\nu = 0\) and hence the proof is completed by replacing, \(\eta \), \(\zeta \) and r with \(\xi _1\), \(\xi _2\) and \(N(\xi _2)\), respectively.\(\square \)
Remark 6
It is worth noting that Remark 4 also applies to the cases when \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{II})}\) and \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{II})}\). Moreover, we note that also \(\varSigma ^{(e)}\) is not completely controllable from the input r, since it contains \(\varSigma \) as a subsystem.
The explicit expressions of the invariant manifolds pertaining to each \(\mathbf{ME}\) when A is either singular or non-singular are readily obtained exploiting Table 1 and they are summarized in Table 3. Note that the invariant manifolds are directly expressed in terms of the state vector x of the two-terminal element \(\mathbf{L}\) and the state vector \(\xi \) of the mem-element \(\mathbf{ME}\) (the specific expressions of \(\xi _1\), \(\xi _2\) and the nonlinear characteristic pertaining to each \(\mathbf{ME}\) are reported in the second, third and last rows of Table 1).
4 Design of pulse shaped feedforward control inputs
In this section, we consider the controlled system of Fig. 3b where \(\varSigma _L^{(c)}\) is given in (18). We are interested in characterizing the control vectors F capable to solve the problem described in Subsection 2.1, i.e., to steer the circuit dynamics from one manifold to another one within a given time interval, with w(t) having the pulse shape (19) and satisfying the area constraint (20).
Clearly, for any time \(t \in [t_0, t_1)\) and \(t \in [t_2, +\infty )\), the controlled system of Fig. 3b displays the same dynamics of the uncontrolled one of Fig. 3a. Hence, the state vectors x(t) and \(\xi (t)\) are confined to lie onto some initial manifold \({{\mathcal {M}}}_1\) for \(t \in [t_0, t_1)\) and onto some final manifold \({{\mathcal {M}}}_2\) for \(t \in [t_2, +\infty )\). Let us denote by \(I_1\) and \(I_2\) the values of the index I corresponding to the initial and final manifolds, respectively. Hence, according to Proposition 1, in the case of either MR \(_\varphi \) or MR \(_q\) as \(\mathbf{ME}\) we have \({{\mathcal {M}}}_1 \equiv {{\mathcal {M}}}_{I_1}\), \({{\mathcal {M}}}_2 \equiv {{\mathcal {M}}}_{I_2}\) and the state vector \((x^\top , \xi _1)^\top \in \mathbb {R}^{n+1}\) satisfies either
if A is non-singular, or
if A is singular. Clearly, according to Propositions 2 and 3, analogous expressions can be readily derived in case of MC \(_\varphi \), ML \(_q\), ML \(_\rho \) and MC \(_\sigma \). The following characterization of the feedforward control laws ensuring to steer the dynamics from \({{\mathcal {M}}}_1\) to \({{\mathcal {M}}}_2\) is obtained.
Proposition 4
Let \({{\mathcal {M}}}_1\) and \({{\mathcal {M}}}_2\) be the initial and final invariant manifolds, let \(I_1\) and \(I_2\) be the corresponding values of the manifold index I, respectively, and let w be any control input having the pulse shape (19) and satisfying condition (20). Then, the system dynamics is driven from \({{\mathcal {M}}}_1\) to \({{\mathcal {M}}}_2\) within the time interval \([t_1, t_2]\) if and only if \(F \in \mathbb {R}^n\) satisfies either
if A is non-singular, or
if A is singular.
Proof
Let us consider the case of \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\), i.e., \(\mathbf{ME}\) is either MR \(_\varphi \) or MR \(_q\) and suppose first that A is non-singular. Since in this case \({{\mathcal {M}}}_1 \equiv {{\mathcal {M}}}_{I_1}^{(\mathrm{I})}\) and \({{\mathcal {M}}}_2 \equiv {{\mathcal {M}}}_{I_2}^{(\mathrm{I})}\), by introducing the scalar variable
and according to (26), \({{\mathcal {M}}}_1\) and \({{\mathcal {M}}}_2\) can be expressed as
and
respectively. Clearly, from (49) and (53) it follows that \((x^\top (t), \xi _1(t))^\top \in {{\mathcal {M}}}_1\) if and only if \(z(t) = I_1\) and \((x^\top (t), \xi _1(t))^\top \in {{\mathcal {M}}}_2\) if and only if \(z(t) = I_2\). Moreover, exploiting (8) and (18), the time-derivative of z(t) can be computed as
where the equalities \(u_M=y=Cx\) and \(r=N(\xi _1)\) have been used. This implies that \(z(t) = I_1\) for all \(t \in [t_0, t_1]\), \(z(t) = I_2\) for all \(t \in [t_2, +\infty )\), and
and hence (20) holds if and only if condition (51) is satisfied. If A is singular, the same conclusion is readily obtained once z is defined as
and proceeding as above. In particular, it turns out that
which leads to conclude that (20) holds if and only if condition (52) is satisfied. In the other two cases, i.e., \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{II})}\) and \(\varSigma _{\mathbf{ME}}=\varSigma _{\mathbf{ME}}^{(\mathrm{III})}\), the proof follows along the same lines and is omitted.\(\square \)
Remark 7
From the proof of Proposition 4 it follows that if the control vector F is chosen such that \(CA^{-1}F=0\) (or \({\bar{v}}F=0\) in the singular case), then the system dynamics does not leave the initial manifold \({{\mathcal {M}}}_1\) but it remains confined onto \({{\mathcal {M}}}_1\) for whatever input w. Hence, \(\hbox {Ker}~(CA^{-1})\) (or \(\hbox {Ker}~({\bar{v}})\)) contains all the control vectors F which cannot be used to steer the system dynamics from one invariant manifold to another.
Proposition 4 shows that for \(n > 1\) there exists a one-dimensional affine subspace of control vectors \(F \in \mathbb {R}^n\) able to move the system dynamics from the initial manifold \({{\mathcal {M}}}_1\) to the final manifold \({{\mathcal {M}}}_2\) according to relation (20). Such a degree of freedom can be exploited to design F in order to satisfy some additional control specifications. In particular, we are interested in investigating how F can be designed to make its implementation easier. As shown in Sect. 5, each nonzero component of F would require to insert an independent source into the two-terminal element \(\mathbf{L}\). Hence, to minimize the number of sources needed to implement F, it can be chosen to have only one component different from zero, i.e.,
where \(e_i \in \mathbb {R}^n\) denotes the i-th versor of \(\mathbb {R}^n\). Let \([CA^{-1}]_i\), \(i \in J \subseteq \{ 1, \ldots , n\}\), denote the components of the vector \(CA^{-1}\) which are different from zero. Then, condition (51) is satisfied if and only if F is such that
Similarly, if we denote by \([{\bar{v}}]_i\), \(i \in J \subseteq \{ 1, \ldots , n\}\), the components of \({\bar{v}}\) different from zero, then condition (52) is satisfied if and only if F is such that
Note that since both \(CA^{-1}\) and \({\bar{v}}\) are nonzero vectors, the set J is not empty and hence it is always possible to select F enjoying the simplest structure in (60).
Another important issue in designing F is how the piecewise-continuous control input w(t) affects smoothness of the dynamics of the controlled system of Fig. 3b with respect to the uncontrolled one of Fig. 3a. The following result pertaining to system \(\varSigma ^{(c)}_{\mathbf{L}}\) provides useful insights on this issue.
Proposition 5
Consider system \(\varSigma ^{(c)}_{\mathbf{L}}\) and let w(t) be as in (19). Then, for any input signal u(t) the output signal y(t) and its time-derivatives \(\mathcal {D}y(t)\), \(\mathcal {D}^2y(t)\), \(\ldots \), \(\mathcal {D}^{n-1}y(t)\) do not explicitly depend on the control input w(t) if and only if F satisfies the following \(n-1\) conditions:
Proof
It can be verified that \(\mathcal {D}y(t)\), \(\mathcal {D}^2y(t)\), \(\ldots \), \(\mathcal {D}^{n-1}y(t)\) can be expressed in terms of x(t), u(t) and w(t) as follows:
Hence, while y(t) does not explicitly depend on w(t), its time-derivatives \(\mathcal {D}y(t)\), \(\mathcal {D}^2y(t)\), \(\ldots \), \(\mathcal {D}^{n-1}y(t)\) do not directly depend on the control input w(t) if and only if conditions (63) hold.\(\square \)
Remark 8
It is important to note that if F satisfies conditions (63), then smoothness properties of y(t), \(\mathcal {D}y(t)\), \(\mathcal {D}^2y(t)\), \(\ldots \), \(\mathcal {D}^{n-1}y(t)\) do not depend on the piecewise-continuous control input w(t). Said another way, the smoothness properties of y(t), \(\mathcal {D}y(t)\), \(\mathcal {D}^2y(t)\), \(\ldots \), \(\mathcal {D}^{n-1}y(t)\) are the same pertaining to the uncontrolled system \(\varSigma _L\). For instance, if u(t) and its time-derivatives \(\mathcal {D}u(t)\), \(\mathcal {D}^2u(t)\), \(\ldots \), \(\mathcal {D}^{n-1}u(t)\) are continuous, then the output of \(\varSigma _L\) and its time-derivatives of order up to \(n-1\) are continuous, while the output \(\varSigma _L^{(c)}\) and its time-derivatives of order up to \(n-1\) are continuous for any piecewise-continuous control input w(t) if and only if F satisfies conditions (63).
Remark 9
It is worth noting that conditions (63) are connected to a specific structural property of system \(\varSigma _L^{(c)}\), i.e., strong observability [58]. Indeed, if conditions (63) hold then the state x(t) is observable from the knowledge of the output y(t) and the input u(t) and their time-derivatives, even if w(t) is unknown. This can be readily seen from equations (64) which, if conditions (63) hold, can be compactly rewritten as \({{\mathcal {O}}}x(t) = V(t)\), where \({{\mathcal {O}}}\) is the observability matrix (7) and V(t) is a known vector since it depends on y(t), u(t) and their time-derivatives. Thus, Assumption 1 together with conditions (63) ensure that x(t) can be observed even if w(t) is unknown.
Proposition 5 and Remark 8 suggest that the choice of F influences the smoothness of the output y(t) of \(\varSigma _L^{(c)}\) and hence smoothness of the input \(u_M(t)\) of \(\varSigma _{\mathbf{ME}}\). Indeed, it can be shown that if the \(\mathbf{ME}\) nonlinear characteristic \(N(\cdot )\) and its derivatives of order up to k are continuous, then F solving conditions (63) ensures that y(t) and its time-derivatives of order up to \(\min \{k, n-1 \}\) are continuous. Conversely, if F does not satisfy conditions (63), then Proposition 5 and Remark 8 make it clear that smoothness of y(t) and its time-derivatives can be fulfilled only if w(t) is allowed to be more smooth than piecewise-continuous. Hence, we are interested to investigate if there exists F solving conditions (63) together with either (51) if A is non-singular or (52) if A is singular. The next result holds true.
Proposition 6
Let Assumption 1 hold. Then,
-
the unique control vector solving (63) and (51) is given by
$$\begin{aligned} F = -A{{\mathcal {O}}}^{-1}e_1 \doteq F_{ns}, \end{aligned}$$(65)where \(e_1 = (1, 0, \ldots , 0)^\top \in \mathbb {R}^n\) and \({{\mathcal {O}}}\) is the observability matrix (7);
-
the unique control vector solving (63) and (52) is given by
$$\begin{aligned} F = -{{\mathcal {Q}}}^{-1}e_1 \doteq F_{s}, \end{aligned}$$(66)where
$$\begin{aligned} {{\mathcal {Q}}}= \left( \begin{array}{c} {\bar{v}} \\ C \\ CA \\ \cdots \\ CA^{n-2} \end{array} \right) \in \mathbb {R}^n. \end{aligned}$$(67)
Proof
In the case of A non-singular it is enough to observe that (63) can be rewritten as
and hence (63) and (51) are satisfied if and only if
If A is singular, it turns out that (63) and (52) are satisfied if and only if
and hence to complete the proof we need to show that Q is non-singular. Proceeding by contradiction, suppose that \(\hbox {det}~Q = 0\). This implies that there exist \(\alpha _k \in \mathbb {R}\), \(k = 0, \ldots , n-2\), such that
Now, since \({\bar{v}}A = 0\), it turns out that the following relationships
should hold. However, this would require that CA, \(\ldots \), \(CA^{n-1}\) are linearly dependent, which is a contradiction since \({{\mathcal {O}}}\) is non-singular.\(\square \)
5 Control vector implementation in the two-terminal element \(\mathbf{L}\)
In this section, we investigate how the control vector F can be implemented by suitably introducing voltage and current sources into the two-terminal element \(\mathbf{L}\) (see Fig. 5). The results of Sects. 3 and 4 are valid for any state space representation of \(\varSigma \) and \(\varSigma _L^{(c)}\). In this section, we consider a specific state space representation, i.e., the one where the state vector is composed by the voltages \(v_{C_i}\) of all the capacitors and the currents \(i_{L_i}\) of all the inductors contained in \(\mathbf{L}\). Specifically, if \(\mathbf{L}\) has \(n_C\) capacitors and \(n_L\) inductors, then we assume that the state vector has the structure \(x = (v_{C_1}, \ldots , v_{C_{n_C}}, i_{L_1}, \ldots , i_{L_{n_L}}) \in \mathbb {R}^n\) with \(n = n_C +n_L\). The basic step to implement F consists in introducing an independent current source \(I_{i}^{(s)}\) in parallel to each capacitor with voltage \(v_{C_i}\) and an independent voltage source \(V_{i}^{(s)}\) in series to each inductor with current \(i_{L_i}\). Said another way, each capacitor is replaced with its forced version, as shown in Fig. 6a, and each inductor is replaced with its forced version, as shown in Fig. 6b. It can be verified that, by applying the Kirchhoff’s law to the loops and nodes of the two-terminal element, a state equation of the following structure can be derived
where \(S \in \mathbb {R}^n\) is the vector of the voltage and current independent sources, i.e.,
and \(\varLambda \in \mathbb {R}^{n\times n}\) is the following non-singular diagonal matrix
with \(C_i\), \(i = 1, \ldots , n_C\), and \(L_i\), \(i = 1, \ldots , n_L\), being the capacitances of the capacitors and the inductances of the inductors, respectively. The last step for the controller implementation consists in making \(\varSigma _{\mathbf{L}}^{(S)}\) equal to \(\varSigma _{\mathbf{L}}^{(c)}\) via the relation
Hence, for any control vector F satisfying either (51) or (52), relation (76) provides the corresponding implementation with a certain number of sources. It is important to underline that since \(\varLambda \) is a diagonal matrix, only one source is needed when the control vector F is selected as in either (61) or (62). This implies that the considered problem of steering the dynamics from an initial manifold to a final one within a given time interval can be always solved via the introduction of a unique source in the circuit.
6 Application examples
In this section, we consider some circuits of the class of Fig. 1 to illustrate the controller design and the implementation procedure discussed in Sects. 4 and 5, respectively. In the first two examples, the two-terminal element \(\mathbf{L}\) is a second-order passive RLC circuit and the mem-element \(\mathbf{ME}\) is a memristor (specifically, MR \(_\varphi \) in the first one and MR \(_q\) in the second one). The third example considers the celebrated Chua’s circuit with the nonlinear resistor (Chua’s diode) replaced by a flux-controlled memristor MR \(_\varphi \). In the fourth example, the two-terminal element \(\mathbf{L}\) is a second-order active circuit, whose impedance has a relative degree equal to 2, while the mem-element is a flux-controlled memcapacitor MC \(_\varphi \). We also use this example to illustrate the procedure in the case when the matrix A of \(\varSigma _{\mathbf{L}}\) is singular. Finally, in the last example we consider the circuit introduced in [31] which has been shown to be physically controllable in the flux–charge domain [26]. The circuit consists of an active linear two-terminal element containing three capacitors and an operational amplifier interconnected with an ideal active voltage-controlled memristor.
Circuit of Example 1: a passive RLC impedance connected to a flux-controlled memristor
Example 1
Consider the unforced version of the well-known Murali–Lakshmanan–Chua oscillatory memristor circuit (see, e.g., [53]) depicted in Fig. 7. The two-terminal element \(\mathbf{L}\) consists in the parallel connection of a capacitor C with an inductor L plus a resistor R, while the \(\mathbf{ME}\) is a nonlinear flux-controlled memristor MR \(_\varphi \). It can be readily verified that \(\mathbf{L}\) is described by the state equations
where \(v_C\) is the capacitor voltage and \(i_L\) is the inductor current. Hence, by assuming \(x = (v_C, i_L)^\top \), \(u = i_{\mathbf{L}}\) and \(y = v_{\mathbf{L}}\), \(\mathbf{L}\) admits the (current–voltage) representation \(\varSigma _{\mathbf{L}}\) in (1) with the following matrices
Since the controllability and observability matrices in (6) and (7) boil down to
it turns out that Assumption 1 holds. The real proper rational function \(L(\mathcal {D})\) of the equivalent input–output description (2) of \(\mathbf{L}\) is derived according to (3) as
Note that the relative degree of \(L(\mathcal {D})\) is equal to 1, which implies that Assumption 2 holds. Hence, according to Tables 1 and 2, the circuit of Fig. 7 admits the feedback representation of Fig. 3a, where \(\varSigma _{\mathbf{ME}}\) is given by \(\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\) in (8) with \(\xi _1 = \varphi _M\), \(u_M = v_M\), \(y_M = i_M\) and \(N(\cdot )\) being the memristor flux–charge characteristic, i.e., \(q_M = N(\varphi _M)\). Since A is non-singular, according to Table 3 the invariant manifolds of the circuit of Fig. 7 are given by
where \(I \in \mathbb {R}\) is the manifold index. As an example of the dynamics displayed on the manifolds, we refer to the case considered in [52] where the circuit parameters have the following normalized values:
and the flux–charge characteristic is given by
It turns out that each manifold \({{\mathcal {M}}}_I\) has a unique equilibrium point at \((v_C, i_L, \varphi _M) = (0, 0, {\bar{\varphi }}_{M})\) with \({\bar{\varphi }}_M\) such that \(I = 0.5{\bar{\varphi }}_M(1+0.1{\bar{\varphi }}_M^2)\) Moreover, the equilibrium point is the unique attractor of \({{\mathcal {M}}}_I\) if \(|I| > 0.755\), while for \(|I| < 0.755\) each \({{\mathcal {M}}}_I\) displays a stable limit cycle. Hence, the circuit has infinite stable limit cycles and equilibrium points and it undergoes to a Hopf bifurcation at \(I=\pm 0.755\), which is referred to as a “bifurcation without parameters” since it is generated by varying the manifold index I, and hence by varying the initial conditions \((v_C(t_0), I_L(t_0), \varphi _M(t_0))\), for fixed values of the circuit parameters. This dynamical scenario is reported in Fig. 8 where the specific attractors pertaining to \(I=0.1\) (a limit cycle) and \(I=1.5\) (an equilibrium point) are highlighted.
Controlled circuit of Example 1 for \(F=F_1\): the capacitor is replaced by its forced version in Fig. 6a with \(I^{(s)}= \frac{\displaystyle 1}{\displaystyle R}w\). In the case of \(F=F_2=F_{ns}\) the controlled circuit is obtained by introducing, according to Fig. 6b, the voltage source \(V^{(s)}=w\) in series to the inductor in the input-less circuit of Fig. 7
Consider now the controlled feedback system of Fig. 3b where the matrices A, B, C, D of \(\varSigma _{\mathbf{L}}^{(c)}\) are as in (78) and the control input w has the pulse shape in (19). According to Proposition 4, the control vectors \(F = (f_1, f_2)^\top \in \mathbb {R}^2\) able to move from the initial invariant manifold \({{\mathcal {M}}}_1\) pertaining to \(I = I_1\), i.e., \({{\mathcal {M}}}_1 ={{\mathcal {M}}}_{I_1}\), to the final invariant manifold \({{\mathcal {M}}}_2\) pertaining to \(I = I_2\), i.e., \({{\mathcal {M}}}_2 ={{\mathcal {M}}}_{I_2}\), must satisfy condition (51), i.e.,
Hence, the vectors F solving the considered control problem for the circuit of Fig. 7 are given by a straight line in the \((f_1, f_2)\)-plane. Among them, the vectors F in (61) are given by the intersections of this straight line with the coordinate axes, i.e.,
Moreover, the smooth control vector \(F_{ns} \in \mathbb {R}^2\) defined in (65) of Proposition 6 satisfying conditions (63) of Proposition 5 is given by
To implement \(F_1\) and \(F_2=F_{ns}\) we proceed via the procedure described in Sect. 5. First, we note that the state vector \(x = (v_C, i_L)^\top \) has already the right structure and that the source vector S in (74) and the matrix \(\varLambda \) in (75) boil down to
and
Hence, the control vectors F in (85) can be implemented exploiting relation (76). For \(F = F_1\) we get \(V^{(s)}=0\) and
a Circuit of Fig. 7 controlled as in Fig. 9. Lower plot: pulse timing of \(I^{(s)}\); upper plot: time behaviors of the manifold index I (red) and the controlled output \(v_C\) (dark). b Circuit of Fig. 7 controlled by replacing the inductor with its forced version. Lower plot: pulse timing of \(V^{(s)}\); upper plot: time behaviors of I (red) and \(v_C\) (dark). The width of all the rectangular pulses is equal to 5 arbitrary time units, while the area is equal to \(\pm 1.4\) for \(V^{(s)}\) and \(\pm 2.8\) for \(I^{(s)}\). The initial conditions are \(v_C(0)=0.01\), \(i_L(0)=0.62\), \(\varphi _M(0)=1.45\)
Circuit of Example 2: a passive RLC admittance connected to a charge-controlled memristor
which implies that the controlled circuit contains a unique current source, as depicted in Fig. 9. For \(F = F_2 = F_{ns}\) we get \(I^{(s)}=0\) and
and hence the input-less circuit is controlled by replacing the inductor with its forced version, according to Fig. 6b. In both cases w(t) is as in (19) and satisfies (20).
To illustrate the behavior of the controlled circuit with R, L, C and \(N(\cdot )\) as in (82) and (83), we consider the problem of first steering the circuit dynamics from the initial manifold \({{\mathcal {M}}}_1={{\mathcal {M}}}_{I_1}\) with \(I_1=1.5\), which contains the stable equilibrium point marked in green in Fig. 8, to the final manifold \({{\mathcal {M}}}_2={{\mathcal {M}}}_{I_2}\) with \(I_2=0.1\), which contains the stable limit cycle drawn in red in Fig. 8, within a given time interval \([t_1, t_2]\), \(t_2>t_1>t_0\) and then coming back to \({{\mathcal {M}}}_1\) within a time interval \([t_3, t_4]\), \(t_4>t_3>t_2\). According to (20), we need to employ a control input w with a pulse of area equal to \(I_2-I_1=-1.4\) in \([t_1, t_2]\) and to \(I_1-I_2=1.4\) in \([t_3, t_4]\). The problem is first addressed by employing only the voltage source and then only the current source. Figure 10a and Fig. 10b report the pulse timing of the voltage and current source, respectively, together with the corresponding time behaviors of the manifold index I and the controlled output \(y=v_C\). Note that the output has a smoother behavior when the voltage source is used, as predicted by Proposition 6.
Example 2
Consider the circuit of Fig. 11 where \(\mathbf{L}\) consists in a series connection of a resistor R, an inductor L, a capacitor C and the \(\mathbf{ME}\) is a nonlinear charge-controlled memristor MR \(_q\). The two-terminal element is governed by the state equations
where \(v_C\) is the capacitor voltage and \(i_L\) is the inductor current. Hence, by assuming \(x = (v_C, i_L)^\top \), \(u = -v_{\mathbf{L}}\) and \(y = -i_{\mathbf{L}}\), it turns out that \(\mathbf{L}\) admits the (voltage–current) representation \(\varSigma _{\mathbf{L}}\) in (1) with
Since
it turns out that Assumption 1 holds. Moreover, from (3) we get
which implies that Assumption 2 holds. Hence, the circuit of Fig. 11 admits the feedback representation of Fig. 3a where \(\varSigma _{\mathbf{ME}}\) is given by \(\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\) in (8) with \(\xi _1 = q_M\), \(u_M = i_M\), \(y_M = v_M\) and \(N(\cdot )\) being the memristor charge-flux, i.e., \(\varphi _M = N(q_M)\). Consequently, according to Table 3, the circuit invariant manifolds are given by
Note that in this case the invariant manifolds are linear, as highlighted in Fig. (12).
As an example of the dynamics displayed on the manifolds, we refer to the specific circuit considered in [54] where the circuit parameters have the following normalized values
and the charge-flux characteristic is given by
It turns out that the scenario is quite similar to that of Example 1. Indeed, each manifold \({{\mathcal {M}}}_I\) has a unique equilibrium point at \((v_C, i_L, q_M) = (0, 0, I)\), which is the unique attractor if \(|I| > 1\). If \(|I| < 1\), then the equilibrium point becomes unstable and the \({{\mathcal {M}}}_I\) displays a stable limit cycle, i.e., a Hopf bifurcation “without parameters” is likely to occur at \(I=\pm 1\). Figure 12 depicts this dynamical scenario where the attractors pertaining to \(I=-0.4\) (a limit cycle) and \(I=1.4\) (an equilibrium point) and the relative invariant manifolds are highlighted.
a Circuit of Fig. 11 controlled by replacing the capacitor with its forced version: pulse timing of \(I^{(s)}\) (lower plot). b Circuit of Fig. 11 is controlled by replacing the inductor with its forced version: pulse timing of \(V^{(s)}\) (lower plot). The width of all the pulses is equal to 5 arbitrary time units, while the area is equal to \(\pm 1.8\) for \(I^{(s)}\) and \(\pm 3\) for \(V^{(s)}\). Upper plots: corresponding time behaviors of the manifold index I (red) and the controlled output \(i_L\) (dark). The initial conditions are \(v_C(0)=0.10\), \(i_L(0)=0.10\), \(q_M(0)=1.39\)
Circuit of Example 3: Chua’s memristor circuit
In this case, condition (51) boils down to
and hence
is the unique control vector F which can be implemented with only one source. In fact, any control vector
is such that \(CA^{-1}F_2=0\) and hence, it cannot be used to move the dynamics from one invariant manifold to another (see Remark 7). From (65) we get the smooth control vector
Taking into account that \(x = (v_C, i_L)^\top \) and that \(S=(I^{(s)}, V^{(s)})^\top \) and \(\varLambda =\hbox {diag}~ (C, L)\), relation (76) reduces to \(V^{(s)}=0\) and
Hence, \(F_1=F_{ns}\) is implemented by replacing the capacitor with its forced version. Finally, we note that any control vector \(F_2\) satisfying (100) can be implemented by replacing the inductor with its forced version.
Let us now consider the same control problem of Example 1, i.e., steering the circuit dynamics from \({{\mathcal {M}}}_1={{\mathcal {M}}}_{I_1}\) with \(I_1=1.4\), which contains the stable equilibrium point drawn in green in Fig. 12, to \({{\mathcal {M}}}_2={{\mathcal {M}}}_{I_2}\) with \(I_2=-0.4\), which contains the stable limit cycle drawn in red in Fig. 12, and then coming back to \({{\mathcal {M}}}_1\).
This problem can be solved by using the current source (102) in parallel to the capacitor. As an example, we employ the control input w with a rectangular pulse and a triangular pulse of area equal to \(-1.8\) and 1.8, respectively. The corresponding behaviors of the manifold index I and the controlled output \(y=i_L\) are depicted in Fig. 13a. Figure 13b reports the case when the input-less circuit is controlled via a voltage source in series to the inductor. Note that the index manifold I does not change, i.e., as expected the dynamics remains onto \({{\mathcal {M}}}_{I_1}\).
Example 3
Consider the celebrated Chua’s circuit reported in Fig. 14 with the nonlinear resistor (Chua’s diode) replaced by a flux-controlled memristor MR \(_\varphi \). The two-terminal element \(\mathbf{L}\), which contains two capacitors \(C_1\) and \(C_2\), one inductor L and a resistor R, obeys the following equations:
where \(v_{C_1}\) and \(v_{C_2}\) are the capacitor voltages and \(i_L\) is the inductor current. Hence, by assuming \(x = (v_{C_1}, v_{C_2}, i_L)^\top \), \(u = i_{\mathbf{L}}\) and \(y = v_{\mathbf{L}}\), the two-terminal element \(\mathbf{L}\) admits the (current–voltage) representation \(\varSigma _{\mathbf{L}}\) in (1) with
It can be readily verified that Assumption 1 holds and that the observability matrix becomes
Also, Assumption 2 is satisfied since
Note that Chua’s memristor circuit admits the feedback representation of Fig. 3a, where \(\varSigma _{\mathbf{ME}}\) is given by \(\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\) in (8) with \(\xi _1 = \varphi _M\), \(u_M = i_M\), \(y_M = v_M\) and \(N(\cdot )\) being the memristor charge-flux characteristics, i.e., \(q_M = N(\varphi _M)\). Hence, from Table 3 it follows that the circuit invariant manifolds are given by
Let us consider the same circuit parameters and flux–charge characteristic of [46]:
The invariant manifolds \({{\mathcal {M}}}_{I}\), \(I \in \mathbb {R}\), display quite a rich variety of attractors. For instance, the manifold \({{\mathcal {M}}}_{I}\) has a stable periodic solution for \(I=-0.13\), while for \(I_2=-0.03\) it has a more complex attractor which is generated via a classical period-doubling sequence by varying the index I [46]. Both the attractors are depicted in Fig. 15.
According to Proposition 4, for the Chua’s memristor circuit condition (51) becomes
Hence, the vectors F in (61) which can be implemented via a unique source are
Moreover, the smooth control vector \(F_{ns} \in \mathbb {R}^2\) in (65) is given by
Since \(x = (v_{C_1}, v_{C_2}, i_L)^\top \), \(S=(I_1^{(s)}, I_2^{(s)}, V^{(s)})^\top \) and \(\varLambda =\hbox {diag}~ (C_1, C_2, L)\), from (76) we get \(I_2^{(s)} = V^{(s)} =0\) and
for \(F = F_1\). Hence, \(F_1\) is implemented via a unique current source. Conversely, for \(F = F_2 = F_{ns}\), we get \(I_2^{(s)} = V^{(s)} =0\) and
which implies that a unique voltage source is needed in this case. Finally, from Remark 7 it follows that the current source \(I_2^{(s)}\) in parallel to the capacitor \(C_2\) cannot be used to move the dynamics from one manifold to another.
Let us now consider the problem of steering the circuit dynamics from \({{\mathcal {M}}}_1={{\mathcal {M}}}_{I_1}\) with \(I_1=-0.13\), which contains the stable limit cycle of Fig. 15, to \({{\mathcal {M}}}_2={{\mathcal {M}}}_{I_2}\) with \(I=-0.03\), which contains the complex attractor of Fig. 15. The problem can be solved by using either the current source (113) in parallel to the capacitor \(C_1\) or the voltage source (114) in series to the inductor. As an example, we consider the case of the voltage source with trapezoidal shaped pulses. The pulse timing and the corresponding behaviors of the manifold index I and the controlled output \(v_{C_1}\) are depicted in Fig. 16.
Chua’s memristor circuit controlled by replacing the inductor with its forced version. Lower plot: pulse timing \(V^{(s)}\). The trapezoidal shaped pulses have an area of \(\pm 0.1\). Upper plot: time behaviors of the manifold index I (red) and the controlled output \(v_{C_1}\) (dark). The initial conditions are \(v_{C_1}(0)=-1.3\), \(v_{C_2}(0)=0\), \(i_L(0)=0\), \(\varphi _M(0)=0\)
Circuit of Example 4: \(\mathbf{L}\) is an active two/terminal element; \(\mathbf{ME}\) is a flux-controlled memcapacitor MC \(_\varphi \)
Example 4
Consider the circuit of Fig. 17 where the two-terminal element contains two capacitors, five resistors and one operational amplifier, while the mem-element \(\mathbf{ME}\) is a flux-controlled memcapacitor MC \(_\varphi \). The structure of \(\mathbf{L}\) has been chosen according to [59], in order to ensure that its impedance can be any second order filter with relative degree equal to 2 (see below). The two-terminal element obeys the following equations:
where \(v_{C_1}\) and \(v_{C_2}\) are the capacitor voltages. Hence, by assuming \(x = (v_{C_1}, v_{C_2})^\top \), \(u = i_{\mathbf{L}}\) and \(y = v_{\mathbf{L}}\), \(\mathbf{L}\) admits the (current–voltage) representation \(\varSigma _{\mathbf{L}}\) in (1) with
Assumption 1 and Assumption 2 hold since
and
As expected, the impedance of \(\mathbf{L}\) has a constant at the numerator and a second-order polynomial at the denominator. Moreover, the coefficients of the numerator and denominator can be chosen arbitrarily by suitably selecting \(C_1\), \(C_2\), \(R_1\), \(R_2\).
a Stable limit cycle (red) on \({{\mathcal {M}}}_{I}\) for \(I=0.5\). The initial conditions (marked with \(\circ \)) are \(v_{C_1}(0)=0\), \(v_{C_2}(0)=-0.1\), \(\varphi _M(0)=-1\); b stable equilibrium point (green) on \({{\mathcal {M}}}_{I}\) for \(I=1.5\). The initial conditions (marked with \(\circ \)) are \(v_{C_1}(0)=0\), \(v_{C_2}(0)=-0.17\), \(\varphi _M(0)=-1\)
It can be readily verified that the circuit of Fig. 17 admits the feedback representation of Fig. 3a with \(u_M = v_M\), \(y_M = i_M\), \(u = i_{\mathbf{L}}\) and \(y = v_{\mathbf{L}}\), while \(\varSigma _{\mathbf{ME}}\) is given by \(\varSigma _{\mathbf{ME}}^{(\mathrm{II})}\) in (9) with \(\xi _1 = \varphi _M\), \(u_M = v_M\), \(y_M = i_M\) and \(N(\cdot )\) being the memcapacitor flux–charge momentum characteristic, i.e., \(\sigma _M = N(\varphi _M)\).
We observe that the matrix A is not always non-singular. In fact, it can be readily checked that its determinant vanishes when \(R_2=2R_1\). Hence, we proceed by separately considering the cases A non-singular and A singular.
Case I: A non-singular, i.e., \(R_2\ne 2R_1\). From Table 3 it follows that the circuit invariant manifolds are given by
Let us assume that the circuit parameters have the following normalized values:
and the nonlinear characteristic of the flux-controlled memcapacitor is given by:
The corresponding invariant manifolds (119) exhibit either stable equilibrium points or stable limit cycles depending on the value of the index I. For instance, a stable periodic solution and a stable equilibrium point are displayed for \(I_1=0.5\) and \(I_2=1.5\), respectively, as depicted in Fig. 18.
Now, condition (52) of Proposition 4 boils down to
Hence, the control vectors F able to steer the circuit dynamics from one invariant manifold to another via a unique source are
Moreover, from (65) we get the smooth control vector as
Since \(x = (v_{C_1}, v_{C_2})^\top \), while \(S=(I_1^{(s)}, I_2^{(s)})^\top \) and \(\varLambda =\hbox {diag}~ (C_1, C_2)\), for \(F = F_1\) we get \(I_2^{(s)}=0\) and
while for \(F = F_2 = F_{ns}\) we have \(I_1^{(s)}=0\) and
Hence, both \(F_1\) and \(F_2=F_{ns}\) are implement via a unique current source. Consider the problem of steering the circuit dynamics from \({{\mathcal {M}}}_1={{\mathcal {M}}}_{I_1}\) with \(I_1=1.5\), which contains the stable equilibrium point of Fig. 18, to \({{\mathcal {M}}}_2={{\mathcal {M}}}_{I_2}\) with \(I_2=0.5\), which contains the stable limit cycle of Fig. 18. The problem can be solved by replacing any capacitor of the input-less circuit in Fig. 17 with its forced version. As an example, we consider the case when the current source (126) is employed with w having rectangular shaped pulses. Figure 19 reports the behaviors of the manifold index I and the controlled output of (115).
Circuit of Fig. 17 controlled by replacing the capacitor \(C_2\) with its forced version. Lower plot: pulse timing \(I_2^{(s)}\). The rectangular shaped pulses have a width equal to 10 arbitrary time units and an amplitude of \(\pm 1\). Upper plot: time behaviors of the manifold index I (red) and the controlled output of (115) (dark). The initial conditions are \(v_{C_1}(0)=-0.1\), \(v_{C_2}(0)=-0.09\), \(\varphi _M(0)=0.1\)
Circuit of Example 5: \(\mathbf{L}\) is an active two-terminal element; \(\mathbf{ME}\) is an ideal active voltage-controlled (or flux-controlled) memristor with state variable \(V_0\)
Case II: A singular, i.e., \(R_2=2R_1\). In this case the matrix A boils down to
According to Proposition 2, to obtain the invariant manifolds we first need to compute \({\bar{v}}\) such that \({\bar{v}}A = 0\). We get
which leads to the following expression of the invariant manifolds
According to Proposition 4, the control vectors \(F = (f_1, f_2)^\top \in \mathbb {R}^2\) able to steer the circuits dynamics from one manifold to another, are such that
Hence, the vectors F in (62) requiring a unique source are
while from (66) we obtain the smooth control vector
To implement both \(F_1\) and \(F_2 = F_{s}\), we proceed as in Case I. For \(F = F_1\) we get
while for \(F = F_2 = F_{s}\)
Example 5
Consider the circuit of Fig. 20 introduced in [31] which is given by the interconnection via an RC element of a single amplifier biquad-based active band-pass filter and an ideal active voltage-controlled (or flux-controlled) memristor. In [26], multistability is analyzed in the flux–charge domain by showing that it can be controlled by tuning the initial conditions of the voltages \(V_0\), \(V_1\), \(V_2\), and \(V_3\). The equations governing the circuit dynamics are [26]
where \(k \doteq R_4/R_3\), \(R' \doteq RR_1/(R+R_1)\), g is the total gain of the multipliers \(M_a\) and \(M_b\) and \(C_2=C_3=C\).
Here, we want to show how the procedure developed in Sects. 4 and 5 can be applied to this circuit. To proceed, the matrices of the (current–voltage) state space representation \(\varSigma _\mathbf{L}\) of \(\mathbf{L}\) in (1) with \(x=(v_{C_1}, v_{C_2}, v_{C_3})^\top \), \(u=i_{\mathbf{L}}\) and \(y=v_{\mathbf{L}}\) are first derived
a) Time behaviors of \(V_1\); b) time behaviors of the manifold index I. The dark curves are generated by the initial conditions \(V_0(0)=-1\), \(V_1(0)=0.15\), \(V_2(0)=0\), \(V_3(0)=0\), while the red ones by the initial conditions \(V_0(0)=-1.5\), \(V_1(0)=-0.325\), \(V_2(0)=-0.02\), \(V_3(0)=-0.3062\). Both the initial conditions belong to the invariant manifold in (141) with \(I=4.0381 \cdot 10^{-6}\)
where \(f=R'/R\) and \(h=R'/R_2\). It can be readily verified that A is non-singular and that Assumptions 1 and 2 hold. Also, we note that \(v_{C_1}\), \(v_{C_2}\), \(v_{C_3}\) are related to \(V_1\), \(V_2\), \(V_3\) as follows:
Then, we observe that the ideal active voltage-controlled memristor in Fig. 20 can be represented via \(\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\) in (8). Indeed, it is enough to define the flux \(\varphi _M\) as follows
and to assume the following flux–charge characteristics
It turns that the circuit of Fig. 20 admits the feedback representation of Fig. 3a with \(\varSigma _\mathbf{L}\) in (1) described by the matrices in (136) and \(u = i_{\mathbf{L}}\), \(y = v_{\mathbf{L}}\), and \(\varSigma _{\mathbf{ME}}\) given by \(\varSigma _{\mathbf{ME}}^{(\mathrm{I})}\) in (8) with \(u_M = v_M\), \(y_M = i_M\), \(\xi \) equal to \(\varphi _M\) in (138) and \(N(\cdot )\) as in (139). Hence, from Table 3 it follows that the circuit invariant manifolds \({{\mathcal {M}}}_I\) are described by the following equation
where \([CA^{-1}]_i\), \(i=1, 2, 3\), are the components of \(CA^{-1}\). By exploiting the equations (137) and (138), the invariant manifolds can be equivalently expressed in terms of the original voltages \(V_0\), \(V_1\), \(V_2\), \(V_3\). Specifically, if we assume for the circuit parameters the values used in [26, 31], i.e., \(R_a = 10~\hbox {k}\varOmega \), \(R_b = 1.4~\hbox {k}\varOmega \), \(R = 1.5~\hbox {k}\varOmega \), \(R_1 = 100~\varOmega \), \(R_2 = 10~\hbox {k}\varOmega \), \(R_3 = 1~\hbox {k}\varOmega \), \(R_4 = 50~\varOmega \) \(C_0 = C_1 = 5~\hbox {nF}\), \(C2 = C3 = 100~\hbox {nF}\), \(g = 0.1\), we get
with \(\alpha _0 = 7.1429 \times 10^{-6}\), \(\alpha _1 = 8 \times 10^{-6}\), \(\alpha _2 = 2 \times 10^{-5}\), \(\alpha _3 = -1.0476 \times 10^{-5}\times \), \(\beta = -1.9048 \times 10^{-6}\).
In [26] a thorough dynamical analysis has been performed in the flux–charge domain making it clear the strong multistable nature of the circuit, i.e., the coexistence of infinitely many different attractors.
Clearly, each attractor belongs to one of the infinite invariant manifolds in (141). As an example, if we consider the initial conditions \(V_0(0)=-1\), \(V_1(0)=0.15\), \(V_2(0)=0\), \(V_3(0)=0\), which are those of Fig. 3.b in [26] with \(\delta =-1\), we obtain the behaviors of the voltage \(V_1\) and the index I reported (dark curves) in Fig. 21a and b, respectively. As expected, the index remains constant at the value \(I=4.0381 \cdot 10^{-6}\). The corresponding trajectory in the \((V_1, V_2)\)-plane converges toward a periodic solution (see Fig. 22). The three figures also report the behaviors (in red) generated by starting from different initial conditions which still belong to the same invariant manifold. Note that the index remains constant to the same value of \(I=4.0381 \cdot 10^{-6}\), as expected.
Trajectories on the \((V_1, V_2)\) plane. The dark curves are generated by the initial conditions \(V_0(0)=-1\), \(V_1(0)=0.15\), \(V_2(0)=0\), \(V_3(0)=0\), while the red ones by the initial conditions \(V_0(0)=-1.5\), \(V_1(0)=-0.325\), \(V_2(0)=-0.02\), \(V_3(0)=-0.3062\). Both the initial conditions belong to the invariant manifold in (141) with \(I=4.0381 \cdot 10^{-6}\)
Finally, since condition (51) boils down to
it follows that it is possible to steer the dynamics from an initial manifold to a final one within a given time interval by substituting any capacitor with its forced version. For instance, exploiting the implementation procedure of Sect. 5, it turns out that the following pulse-programmed current source
with the pulse w chosen such that (20) holds, should be introduced in parallel to the capacitor \(C_1\).
7 Conclusions
In this paper, the multistability control problem is considered for a class of circuits composed of the interconnection of a linear two-terminal (one-port) element and an ideal mem-element. Specifically, the problem of designing pulse programmed independent sources in order to steer the circuit dynamics onto one of the infinitely many invariant manifolds constituting the circuit state space is addressed. The linear two-terminal element can be either passive or active, while the mem-element can be a flux- or charge-controlled memristor, a flux- or \(\sigma \)-controlled capacitor, a \(\rho \)- or charge-controlled inductor.
It is first shown that each circuit of the considered class admits a suitable feedback system representation, which permits to obtain an analytic expression of the infinitely many invariant manifolds constituting the circuit state space. Notably, the invariant manifolds are directly expressed in terms of the state variables of the two-terminal element and the mem-element, i.e., without resorting to the flux–charge approach. Moreover, the invariant manifolds are parameterized via a scalar parameter, which is referred to as the manifold index and is related to the circuit initial conditions. Then, the pulse shaped control inputs capable of steering the circuit dynamics from one initial manifold to a final one, within a given finite time interval and without modifying the attractors on the manifolds, are characterized. These pulse control inputs, which are programmed to have in the time interval an area equal to the difference between the final and the initial manifold indexes, can be implemented by means of independent voltage and current sources. In particular, it is shown that it is always possible to solve the considered control problem by introducing a unique source in the two-terminal element. Several examples are employed to show how the approach applies to different circuits and to illustrate how the dynamical properties of the controlled dynamics depend on the features of the designed voltage and current sources.
Several future research issues can be foreseen, such as the extension to more general classes of circuits, the design of the pulse shape in order to reduce the transient toward the attractor contained into the final manifold, the practical issues concerning the circuital realization of the feedforward pulse programmed control inputs.
Availability of data and material
The datasets generated and analyzed during the current study are available from the corresponding author on reasonable request.
References
Bonomi, F., Milito, R., Zhu, J., Addepalli, S.: Fog computing and its role in the internet of things. In: Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing. ACM, pp. 13–16 (2012)
M. Satyanarayanan. The emergence of edge computing. Computer, 50(1), 30–39, 2017
Williams, R.S.: What’s next? [The end of Moore’s law]. Comput. Sci. Eng. 19(2), 7–13 (2017)
Waldrop, M.M.: The chips are down for Moore’s law. Nat. News 530(7589), 144 (2016)
Zidan, M.A., Strachan, J.P., Lu, W.D.: The future of electronics based on memristive systems. Nature Electronics 1(1), 22 (2018)
Krestinskaya, O., James, A.P., Chua, L.O.: Neuromemristive circuits for edge computing: a review. IEEE Trans. Neural Netw. Learn. Syst. 2019, 1–20 (2019)
Di Ventra, M., Pershin, Y.V., Chua, L.O.: Circuit elements with memory: Memristors, memcapacitors, and meminductors. Proceedings of the IEEE 97(10), 1717–1724 (2009)
F. Yuan, G. Wang, P. Jin, X. Wang, and G. Ma. Chaos in a meminductor-based circuit. Int. J. Bifurcat. Chaos, 26(08):1650130, 2016
Yuan, F., Wang, G., Shen, Y., Wang, X.: Coexisting attractors in a memcapacitor-based chaotic oscillator. Nonlinear Dynamics 86(1), 37–50 (2016)
Ielmini, D., Wong, H.S.P.: In-memory computing with resistive switching devices. Nature Electronics 1(6), 333–343 (2018)
Yang, J.J., Strukov, D.B., Stewart, D.R.: Memristive devices for computing. Nature nanotechnology 8(1), 13–24 (2013)
Wang, Z., Ambrogio, S., Balatti, S., Ielmini, D.: A 2-transistor/1-resistor artificial synapse capable of communication and stochastic learning in neuromorphic systems. Frontiers in neuroscience 8, 438 (2015)
Kumar, S., Strachan, J.P., Williams, R.S.: Chaotic dynamics in nanoscale NbO2 Mott memristors for analogue computing. Nature (2017)
Ielmini, D., Pedretti, G.: Device and circuit architectures for in-memory computing. Adv. Intell. Syst. 2000040 (2020)
Ascoli, A., Tetzlaff, R., Kang, S.M., Chua, L.O.: Theoretical foundations of memristor cellular nonlinear networks: A DRM\(_2\)-based method to design memcomputers with dynamic memristors. IEEE Trans. Circuits Syst. I: Reg. Pap. 67(8), 2753–2766 (2020)
Ascoli, A., Messaris, I., Tetzlaff, R., Chua, L.O.: Theoretical foundations of memristor cellular nonlinear networks: Stability analysis with dynamic memristors. IEEE Trans. Circuits Syst. I: Reg. Pap. 67(4), 1389–1401 (2020)
Itoh, M., Chua, L.O.: Memristor oscillators. Int. J. Bifurcat. Chaos 18(11), 3183–3206 (2008)
Corinto, F., Ascoli, A., Gilli, M.: Nonlinear dynamics of memristor oscillators. IEEE Trans. Circuits Syst. I, Reg. Papers 58(6), 1323–1336 (2011)
B. Bao, Z. Ma, J. Xu, Z. Liu, and Q. Xu. A simple memristor chaotic circuit with complex dynamics. Int. J. Bifurcat. Chaos, 21(9), 2629–2645, 2011
L. O. Chua. Resistance switching memories are memristors. Appl. Phys. A, 102:765–783, 2011
Riaza, R.: Manifolds of equilibria and bifurcations without parameters in memristive circuits. SIAM J. Applied Mathematics 72(3), 877–896 (2012)
A. Amador, E. Freire, E. Ponce, and J. Ros. On discontinuous piecewise linear models for memristor oscillators. Int. J. Bifurcat. Chaos, 27(06):1730022, 2017
E. Ponce, J. Ros, E. Freire, and A. Amador. Unravelling the dynamical richness of 3D canonical memristor oscillators. Microelectron. Eng., 182:15–24, 2017
Corinto, F., Forti, M.: Memristor circuits: Flux-charge analysis method. IEEE Trans. Circuits Syst. I, Reg. Papers 63(1), 1997–2009 (2016)
Corinto, F., Forti, M.: Memristor circuits: Bifurcations without parameters. IEEE Trans. Circuits Syst. I, Reg. Papers 64(6), 1540–1551 (2017)
Chen, M., Sun, M., Bao, B., Wu, H., Xu, Q., Wang, J.: Controlling extreme multistability of memristor emulator-based dynamical circuit in flux-charge domain. Nonlinear Dynamics 91(2), 1395–1412 (2018)
Bao, H., Jiang, T., Chu, K., Chen, M., Xu, Q., Bao, B.: Memristor-based canonical Chua’s circuit: Extreme multistability in voltage–current domain and its controllability in flux-charge domain. Complexity 2018 (2018)
M. Messias, C. Nespoli, and V. A. Botta. Hopf bifurcation from lines of equilibria without parameters in memristor oscillators. Int. J. Bifurcat. Chaos, 20(02), 437–450, 2010
Q. Li, S. Hu, S. Tang, and G. Zeng. Hyperchaos and horseshoe in a 4D memristive system with a line of equilibria and its implementation. Int. J. Circuit Theory Appl., 42(11):1172–1188, 2014
M.C. Scarabello and M. Messias. Bifurcations leading to nonlinear oscillations in a 3D piecewise linear memristor oscillator. Int. J. Bifurcat. Chaos, 24(1):1430001, 2014
Bao, B., Jiang, T., Xu, Q., Chen, M., Wu, H., Hu, Y.: Coexisting infinitely many attractors in active band-pass filter-based memristive circuit. Nonlinear Dynamics 86(3), 1711–1723 (2016)
Bao, B., Jiang, T., Wang, G., Jin, P., Bao, H., Chen, M.: Two-memristor-based Chua’s hyperchaotic circuit with plane equilibrium and its extreme multistability. Nonlinear Dyn. 2017, 1–15 (2017)
Zhang, J., Liao, X.: Effects of initial conditions on the synchronization of the coupled memristor neural circuits. Nonlinear Dynamics 95(2), 1269–1282 (2018)
Chen, C., Chen, J., Bao, H., Chen, M., Bao, B.: Coexisting multi-stable patterns in memristor synapse-coupled Hopfield neural network with two neurons. Nonlinear Dynamics 95(4), 3385–3399 (2019)
H. Chang, Y. Li, F. Yuan, and G. Chen. Extreme multistability with hidden attractors in a simplest memristor-based circuit. Int. J. Bifurcat. Chaos, 29(06):1950086, 2019
Corinto, F., Forti, M.: Memristor circuits: Pulse programming via invariant manifolds. IEEE Trans. Circuits Syst. I, Reg. Papers 65(4), 1327–1339 (2018)
Chen, M., Sun, M., Bao, H., Hu, Y., Bao, B.: Flux-charge analysis of two-memristor-based Chua’s circuit: Dimensionality decreasing model for detecting extreme multistability. IEEE Trans. Ind. Electron. 67(3), 2197–2206 (2020)
Karthikeyan, R., Jafari, S., Karthikeyan, A., Srinivasan, A., Ayele, B.: Hyperchaotic memcapacitor oscillator with infinite equilibria and coexisting attractors. Circuits, Systems, and Signal Processing 37(9), 3702–3724 (2018)
Yuan, F., Deng, Y., Li, Y., Wang, G.: The amplitude, frequency and parameter space boosting in a memristor–meminductor-based circuit. Nonlinear Dynamics 96(1), 389–405 (2019)
Corinto, F., Di Marco, M., Forti, M., Chua, L.O.: Nonlinear networks with mem-elements: Complex dynamics via flux–charge analysis method. IEEE Transactions on Cybernetics 50(11), 4758–4771 (2020)
Ma, X., Mou, J., Liu, J., Ma, C., Yang, F., Zhao, X.: A novel simple chaotic circuit based on memristor–memcapacitor. Nonlinear Dynamics 100(3), 2859–2876 (2020)
Innocenti, G., Di Marco, M., Tesi, A., Forti, M.: Input-output characterization of the dynamical properties of circuits with a memelement. Int. J. Bifurcation Chaos 30(07), 2050110 (2020)
D. P. Atherton. Nonlinear Control Engineering. Van Nostrand Reinhold, London, 1975
A. I. Mees. Dynamics of Feedback Systems. Wiley, New York, 1981
Khalil, H.K.: Nonlinear systems, 3rd edn. Prentice-Hall, Upple Saddle River, New Jersey (2002)
Di Marco, M., Forti, M., Innocenti, G., Tesi, A.: Harmonic balance method to analyze bifurcations in memristor oscillatory circuits. International Journal of Circuit Theory and Applications 46(1), 66–83 (2018)
Innocenti, G., Di Marco, M., Forti, M., Tesi, A.: Prediction of period doubling bifurcations in harmonically forced memristor circuits. Nonlinear Dynamics 96(2), 1169–1190 (2019)
Pisarchik, A.N., Feudel, U.: Control of multistability. Physics Reports 540, 167–218 (2014)
Appeltant, L., Soriano, M.C., Van der Sande, G., Danckaert, J., Massar, S., Dambre, J., Schrauwen, B., Mirasso, C.R., Fischer, I.: Information processing using a single dynamical node as complex system. Nature Communications 2, 468 (2011)
Jensen, J.H., Tufte, G.: Reservoir computing with a chaotic circuit. In: European Conference on Artificial Life 14, 14:222–229. MIT Press (2017)
Di Marco, M., Forti, M., Corinto, F., Chua, L.O.: Unfolding nonlinear dynamics in analogue systems with mem-elements. IEEE Transactions on Circuits and Systems I: Regular Papers 68(1), 14–24 (2021)
M. Di Marco, G. Innocenti, M. Forti, and A. Tesi. Control design for targeting dynamics of memristor Murali-Lakshmanan-Chua circuit. In 18th European Control Conference (ECC2019), 4332–4337, 2019
Ahamed, A.I., Lakshmanan, M.: Discontinuity induced Hopf and Neimark-Sacker bifurcations in a memristive Murali-Lakshmanan-Chua circuit. Int. J. Bifurcat. Chaos 27(06), 1730021 (2017)
Di Marco, M., Forti, M., Innocenti, G., Tesi, A., Corinto, F.: Targeting multistable dynamics in a second-order memristor circuit. In: 2020 IEEE International Symposium on Circuits and Systems (ISCAS), pp. 1–5 (2020)
Di Marco, M., Forti, M., Innocenti, G., Tesi, A.: Input design for controlling dynamics in a second-order memristive circuit. In: 2020 European Conference on Circuit Theory and Design (ECCTD), pp. 1–4 (2020)
Chua, L.O.: Introduction to memristors. IEEE Digital Library: https://ieeexplore.ieee.org/courses/details/EDP091, 2009 (reaffirmed 2013)
Sontag, E.D.: Mathematical Control Theory: Deterministic Finite Dimensional Systems, vol. 6. Springer Science & Business Media (1998)
Hautus, M.L.J.: Strong detectability and observers. Linear Algebra and its Applications 50, 353–368 (1983)
Horn, P., Moschytz, G.: Active RC single-opamp design of driving-point impedances. IEEE Transactions on Circuits and Systems 26(1), 22–30 (1979)
Funding
Open access funding provided by Università degli Studi di Firenze within the CRUI-CARE Agreement. This work was supported by the project “Analogue COmputing with Dynamic Switching Memristor Oscillators: Theory, Devices and Applications (COSMO),” Grant PRIN 2017LSCR4K 002, funded by the Italian Ministry of Education, University and Research (MIUR).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
All authors certify that they have no affiliations with or involvement in any organization or entity with any financial interest or non-financial interest in the subject matter or materials discussed in this manuscript.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Proof of Lemma 1
In the case of A non-singular, it is enough to observe that (21) can be equivalently rewritten as
If A is singular, then A has at least one eigenvalue equal to zero. Moreover, exploiting Assumption 1, it can be shown that while the algebraic multiplicity of the zero eigenvalue can be greater than one, the geometric multiplicity is exactly equal to one. This implies that the set of vectors \(v^\top \in \mathbb {R}^n\) such that \(vA = 0\) is a one-dimensional linear subspace. Exploiting the observability PBH test (see, e.g., [57]), it can be also shown that the following relation:
holds. Hence, the proof follows by rewriting (21) in the equivalent form
and observing that
for all \(\lambda \ne 0\).\(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Di Marco, M., Innocenti, G., Tesi, A. et al. Circuits with a mem-element: invariant manifolds control via pulse programmed sources. Nonlinear Dyn 106, 2577–2606 (2021). https://doi.org/10.1007/s11071-021-06861-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11071-021-06861-x