{"id":97545,"date":"2018-03-11T10:18:07","date_gmt":"2018-03-11T10:18:07","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/index-analysis-of-semistate-systems-without-passivity-restrictions\/"},"modified":"2018-03-11T10:18:07","modified_gmt":"2018-03-11T10:18:07","slug":"index-analysis-of-semistate-systems-without-passivity-restrictions","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/circuitos\/index-analysis-of-semistate-systems-without-passivity-restrictions\/","title":{"rendered":"Index analysis of semistate systems without passivity restrictions"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Alfonso Juan Encinas Fernandez <\/strong><\/h2>\n<p>In the last decades, there has been an increasing interest on semistate models based on differential-algebraic equations (daes) for the analysis and simulation of non-linear electrical circuits. Modelling techniques such as node tableau analysis (nta), augmented nodal analysis (ana), or modified nodal analysis (mna), the latter used e.G. In the circuit simulation programs spice and titan, set up network equations in differential-algebraic form.  the index of a dae circuit model becomes a standard measure for the analytical and numerical difficulties faced in simulations. Roughly speaking, the notion of the index can be thought of as the number of steps that are necessary to split the original differential-algebraic system into two uncoupled systems: an algebraic one, and an explicit differential one. In particular, index zero systems amount to explicit odes, while for index one daes the aforementioned splitting can be obtained in a relatively simple manner. Differential-algebraic systems with an index higher than one, usually called higher index systems, are more difficult and specific approaches are necessary for their simulation. In this direction, the topological characterization of low index (index less than two) circuit configurations has become increasingly important, and it is performed by current circuit simulators. Characterizations of this type do not only place analytical conditions on the circuit devices but they also demand the existence or absence of certain configurations on the circuit digraph, which retains the electrical nature of the circuit elements but not their specific constitutive equations.  in previous works, passivity assumptions on circuit devices have been very helpful to simplify the characterization of the index for the resulting models. These assumptions amount to the positive definiteness of the incremental conductance and reactance matrices, this being equivalent to demanding that all conductances and reactances are positive in uncoupled circuits. Restricting the coupling effects allowed in the circuit, the present work introduces novel tree-based methods allowing us to characterize the index of common nodal models in a more general framework, based on algebraic assumptions on certain trees within the network. This tree-based index calculation generalizes previous results, making it possible to characterize the index of uncoupled circuits including both passive and active devices.   our results focus mainly on the augmented nodal analysis and the modified nodal analysis formulations. While modified nodal analysis models have been widely studied from a non-linear dae perspective, the augmented nodal analysis formulation was presented as an intermediate step between mna and nta, preserving the index one conditions of node tableau. In the present work, we employ different types of trees for the characterization of low index configurations in the different models. Index one ana systems are characterized by certain conditions on the proper trees in the circuit. In turn, index one conditions for mna are stated in terms of normal trees. Proper and normal trees were introduced by bashkow and bryant, respectively. A key step in our proofs is the factorization of the matrices describing index one for ana and mna, where the cauchy-binet formula allows us to split the topological component of the circuit from the characteristics of the devices.  the study of the above-mentioned matrices, in particular of those describing index zero for mna and index one for ana, leads to the notion of an augmented nodal matrix. In the abstract terms of a coloured digraph, this type of matrix allows us not only to characterize low index configurations but also to analyze other problems in circuit theory, such as the dc-solvability condition for equilibrium points of well-posed circuits. In this context, the characterization of proper and normal trees in abstract coloured digraphs defines a result of independent interest, which allows us to delve into the kernel of the augmented nodal matrix. Regarding this problem, we prove that the normal trees of a green\/blue connected graph are defined by all possible combinations of a forest of the green subgraph and a tree of the so-called blue-cut minor. Similarly, for three-colour connected graphs, we show that normal trees can be characterized in terms of red-cut minors and normal forests of the green\/blue subgraph.  finally, in order to study the rank of augmented nodal matrices for problems including couplings or controlled branches, we present the novel notions of a balanced tree and a regular tree pair. Although they are introduced in the simpler and more general context of coloured digraphs, both notions can be directly transposed to a circuit theoretic setting. This allows us to examine networks including coupled capacitors or voltage-controlled current sources (vccs), which are present in most integrated circuits. Specifically, we present here characterizations of the dc-solvability problem and index one configurations in ana models of circuits including controlled sources. Additionally, index zero configurations in mna models are examined for circuits including coupled capacitors.   ____  los modelos de semiestados basados en ecuaciones algebraico-diferenciales (daes) han sido objeto de una gran atenci\u00f3n desde la d\u00e9cada de los 80, habiendo sido aplicados al an\u00e1lisis y a la simulaci\u00f3n de circuitos el\u00e9ctricos no lineales. En particular, modelos como el an\u00e1lisis tableau (nta), el an\u00e1lisis nodal aumentado (ana) o el an\u00e1lisis nodal modificado (mna), este \u00faltimo muy habitual en programas de simulaci\u00f3n circuital como spice y titan, proporcionan un sistema algebraico-diferencial.  el \u00edndice de una dae es una medida habitual de las dificultades que conlleva su estudio y simulaci\u00f3n. En t\u00e9rminos generales, el \u00edndice se puede entender como el n\u00famero de pasos necesarios para transformar la dae original en dos ecuaciones desacopladas: una algebraica y otra diferencial expl\u00edcita (ode). En concreto, los sistemas de \u00edndice cero son odes expl\u00edcitas, mientras que para los sistemas de \u00edndice unidad se puede encontrar un desacoplo de una forma relativamente directa. Los sistemas con \u00edndice superior a uno son m\u00e1s complicados y se requieren t\u00e9cnicas espec\u00edficas para su simulaci\u00f3n. En este sentido, la caracterizaci\u00f3n topol\u00f3gica de las configuraciones circuitales de \u00edndice bajo (\u00edndice menor de dos) cobra relevancia y es realizada por algunos programas de simulaci\u00f3n circuital. Esta caracterizaci\u00f3n se basa tanto en condiciones anal\u00edticas sobre los elementos del circuito como en la presencia o ausencia de ciertas configuraciones en el digrafo circuital.  en anteriores trabajos, las hip\u00f3tesis de pasividad para los dispositivos del circuito han sido claves para simplificar la caracterizaci\u00f3n del \u00edndice. Estas hip\u00f3tesis equivalen a la definici\u00f3n positiva de las matrices de conductancia y de reactancia incremental y, en circuitos sin acoplos, corresponden a que todas las conductancias y reactancias tengan un valor positivo. La presente tesis introduce nuevos m\u00e9todos basados en \u00e1rboles para la caracterizaci\u00f3n del \u00edndice en circuitos sin acoplos que incluyen tanto elementos activos como pasivos.  nuestros resultados abordan fundamentalmente las formulaciones aumentadas y modificadas. Mientras que mna ha sido objeto de diferentes estudios desde una perspectiva algebraico-diferencial, ana se presenta como un paso intermedio entre mna y nta, que preserva las condiciones de \u00edndice uno para nta. En esta tesis, las configuraciones de \u00edndice uno para ana quedan caracterizadas por ciertas condiciones sobre los \u00e1rboles propios del circuito. Por su parte, las configuraciones de \u00edndice uno para mna se describen en t\u00e9rmino de \u00e1rboles normales. Los \u00e1rboles propios y normales fueron introducidos por bashkow y bryant, respectivamente.   el estudio de las matrices que caracterizan el \u00edndice, en particular de aquellas que describen configuraciones de \u00edndice cero para mna y de \u00edndice uno para ana, nos conduce al concepto de matriz nodal aumentada en un grafo coloreado. Este tipo de matriz no solamente hace posible el an\u00e1lisis de configuraciones de \u00edndice bajo sino que tambi\u00e9n permite abordar otros problemas de la teor\u00eda de circuitos, en particular, la condici\u00f3n de solubilidad en continua para puntos de equilibrio de circuitos bien planteados. En este sentido, la caracterizaci\u00f3n de los \u00e1rboles propios y normales en un grafo coloreado abstracto es un resultado de inter\u00e9s independiente que nos permite analizar el n\u00facleo de las matrices nodales aumentadas. En esta tesis demostramos que los \u00e1rboles normales en un grafo coloreado verde y azul quedan definidos por todas las combinaciones posibles de un bosque del subgrafo verde y un \u00e1rbol del conocido como menor de corte azul (blue-cut minor). Demostramos tambi\u00e9n un resultado similar para grafos de tres colores.   finalmente, introducimos las definiciones de \u00e1rbol equilibrado y par de \u00e1rboles regular, que permiten el estudio del rango de las matrices nodales aumentadas para grafos coloreados que incluyen acoplos o ramas controladas. Estas definiciones permiten abordar circuitos que incluyen fuentes de corriente controladas por tensi\u00f3n (vccs), que son habituales en la mayor parte de modelos para circuitos integrados. En concreto, en esta tesis caracterizamos configuraciones de \u00edndice uno y la condici\u00f3n de solubilidad en continua para modelos ana de circuitos que incluyen fuentes controladas. Las configuraciones de \u00edndice cero en mna se estudian para circuitos que incluyen condensadores acoplados.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Index analysis of semistate systems without passivity restrictions<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Index analysis of semistate systems without passivity restrictions <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Alfonso Juan Encinas Fernandez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 27\/11\/2009<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Ricardo Riaza Rodriguez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos Vega vicente <\/li>\n<li>Mar\u00eda   inmaculada Higueras sanz (vocal)<\/li>\n<li>julio Moro carre\u00f1o (vocal)<\/li>\n<li>Jos\u00e9 Manuel Vegas montaner (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Alfonso Juan Encinas Fernandez In the last decades, there has been an increasing interest on semistate models [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[10517,12585,16008],"tags":[199830,16170,42948,128688,39424,168716],"class_list":["post-97545","post","type-post","status-publish","format-standard","hentry","category-circuitos","category-ecuaciones-diferenciales-ordinarias","category-politecnica-de-madrid","tag-alfonso-juan-encinas-fernandez","tag-carlos-vega-vicente","tag-jose-manuel-vegas-montaner","tag-julio-moro-carreno","tag-maria-inmaculada-higueras-sanz","tag-ricardo-riaza-rodriguez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/97545","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=97545"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/97545\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=97545"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=97545"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=97545"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}