“…For this reason, our approach necessarily involves a reformulation of Sotomayor conditions in DAE terms. General background on DAE theory can be found in [Brenan et al, 1996;Kunkel and Mehrmann, 2006;Lamour et al, 2013;Rabier and Rheinboldt, 2002;Riaza, 2008], and DAE-based circuit modelling is extensively discussed in [Estévez-Schwarz and Tischendorf, 2000;Giinther and Feldmann, 1995;Günther and Rentrop, 1996;Lamour et al, 2013;Riaza, 2008;Tischendorf, 1999Tischendorf, , 2003. DAEs are nowadays pervasive in circuit simulation programs, such as SPICE, which set up the circuit equations using Modified Nodal Analysis (MNA) techniques.…”