Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics (Q1332339)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics |
scientific article |
Statements
Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics (English)
0 references
1994
0 references
The authors discuss the first-order phase locked loop equation with general phase detector characteristic by developing a method for inclusion of eigenvalues of the underlying boundary value problem. The method uses matrix continued fractions, Sturm's comparison theorem and verification enclosure techniques. A PASCAL-XSC implementation is reported and numerical results are presented.
0 references
first-order phase locked loop equation
0 references
inclusion of eigenvalues
0 references
matrix continued fractions
0 references
verification enclosure techniques
0 references
numerical results
0 references
