Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics (Q1332339)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics |
scientific article; zbMATH DE number 637424
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics |
scientific article; zbMATH DE number 637424 |
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
0 references
0.8854375
0 references
0.8354619
0 references
0.8134983
0 references
0.80509084
0 references
