Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

A Test for the Stability of Networks

Agnieszka Rowinska-SchwarzwellerChristoph Schwarzweller — 2013

Formalized Mathematics

A complex polynomial is called a Hurwitz polynomial, if all its roots have a real part smaller than zero. This kind of polynomial plays an all-dominant role in stability checks of electrical (analog or digital) networks. In this article we prove that a polynomial p can be shown to be Hurwitz by checking whether the rational function e(p)/o(p) can be realized as a reactance of one port, that is as an electrical impedance or admittance consisting of inductors and capacitors. Here e(p) and o(p) denote...

Schur's Theorem on the Stability of Networks

Christoph SchwarzwellerAgnieszka Rowińska-Schwarzweller — 2006

Formalized Mathematics

A complex polynomial is called a Hurwitz polynomial if all its roots have a real part smaller than zero. This kind of polynomial plays an all-dominant role in stability checks of electrical networks.In this article we prove Schur's criterion [17] that allows to decide whether a polynomial p(x) is Hurwitz without explicitly computing its roots: Schur's recursive algorithm successively constructs polynomials pi(x) of lesser degree by division with x - c, ℜ {c} < 0, such that pi(x) is Hurwitz if...

Page 1

Download Results (CSV)