Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics (Q1332339): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:58, 5 March 2024
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
