Semistate models of electrical circuits including memristors

In this paper we present several semistate or differential‐algebraic models arising in nodal analysis of nonlinear circuits including memristors. The goal is to characterize the tractability index of these models under strict passivity assumptions, a key issue for the numerical simulation of circuit dynamics. We show that the main model, which combines memristors' fluxes and charges, is index two. From a technical point of view, this result is based on the use of a projector along the image of the leading matrix, in contrast to previous index analyses. For charge‐controlled memristors, the elimination of fluxes yields an index one system in topologically nondegenerate circuits, and an index two model otherwise. Analogous results are also proved to hold for flux‐controlled memristors. Our framework accommodates coupling effects among resistors, memristors, capacitors and inductors.