{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T06:46:00Z","timestamp":1748241960621},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1007\/bf02246504","type":"journal-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T01:27:57Z","timestamp":1132018077000},"page":"213-232","source":"Crossref","is-referenced-by-count":2,"title":["Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics","Verifizierter Einschlu\u00df von eigenwerten der PLL-Gleichung erster Ordnung mit allgemeiner Phasen Detektor-Charakteristik"],"prefix":"10.1007","volume":"52","author":[{"given":"W. J.","family":"Luther","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Otten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02246504_CR1","volume-title":"Introduction to interval computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Academic Press 1983."},{"key":"BF02246504_CR2","first-page":"1","volume":"5","author":"M. Balodis","year":"1964","unstructured":"Balodis, M.: Laboratory comparison of tanlock and phaselock receivers. Proc. Nat. Telem. Conf. Los Angeles5, 1\u201311 (1964).","journal-title":"Proc. Nat. Telem. Conf. Los Angeles"},{"key":"BF02246504_CR3","unstructured":"Beaufils, P., Luther, W. J.: Boucle \u00e0 verrouillage de phase Aachen 1985."},{"key":"BF02246504_CR4","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF02568765","volume":"68","author":"B. Beekmann","year":"1990","unstructured":"Beekmann, B., L\u00f6kes, H.: Estimates for the eigenvalues of Hill's equation and applications for the eigenvalues of the Laplacian on toroidal surfaces. Manus. Math.68, 295\u2013308 (1990).","journal-title":"Manus. Math."},{"key":"BF02246504_CR5","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1109\/TIT.1973.1054976","volume":"19","author":"J. R. Frieda La","year":"1973","unstructured":"La Frieda, J. R., Lindsey, W. C.: Transient analysis of phase-locked tracking systems in the presence of noise. IEEE Trans. Inform. Theory IT 19, 155\u2013165 (1973).","journal-title":"IEEE Trans. Inform. Theory IT"},{"key":"BF02246504_CR6","volume-title":"Phaselock techniques","author":"F. M. Gardner","year":"1979","unstructured":"Gardner, F. M.: Phaselock techniques, 2 edn. New York: Wiley 1979.","edition":"2 edn."},{"key":"BF02246504_CR7","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1016\/0022-247X(78)90251-2","volume":"66","author":"H. Hochstadt","year":"1978","unstructured":"Hochstadt, H.: A direct and inverse problem for a Hill's equation with double eigenvalues. J. Math. Anal. Appl.66, 507\u2013513 (1978).","journal-title":"J. Math. Anal. Appl."},{"key":"BF02246504_CR8","first-page":"T849","volume":"73","author":"W. Kr\u00e4mer","year":"1993","unstructured":"Kr\u00e4mer, W.: Eine portable Langzahl-und Langzahlintervallarithmetik mit Anwendungen,. ZAMM73, T849-T853 (1993).","journal-title":"ZAMM"},{"key":"BF02246504_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1515\/9783112576229-013","volume-title":"Wissenschaftliches Rechnen mit Ergebnisverifikation","author":"R. Lohner","year":"1989","unstructured":"Lohner, R.: Einschlie\u00dfungen bei Anfangs- und Randwertaufgaben gew\u00f6hnlicher Differentialgleichungen. In: Kulisch, U. W. ed.: Wissenschaftliches Rechnen mit Ergebnisverifikation, pp. 183\u2013223. Braunschweig: Vieweg 1989."},{"key":"BF02246504_CR10","series-title":"ASST '90, Proceedings, Informatik-Fachberichte","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-642-76062-4_23","volume-title":"Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie","author":"W. J. Luther","year":"1990","unstructured":"Luther, W. J.: Nonstandard Analysis-Methoden in Anwendung auf ein Eigenwertproblem der PLL Theorie. ASST '90, Proceedings, Informatik-Fachberichte 253, pp. 136\u2013141. Berlin Heidelberg New York Tokyo: Springer 1990."},{"key":"BF02246504_CR11","doi-asserted-by":"crossref","unstructured":"Luther, W. J., Otten, W.: Numerical treatment of the first-order PLL equation with sinusoidal phase detector characteristic. Appl. Anal. (in press).","DOI":"10.1080\/00036819408840245"},{"key":"BF02246504_CR12","volume-title":"Synchronization inddigital communications","author":"H. Meyer","year":"1990","unstructured":"Meyer, H., Ascheid, G.: Synchronization inddigital communications, vol 1. New York: Wiley 1990."},{"key":"BF02246504_CR13","volume-title":"Hill's equation","author":"W. Magnus","year":"1966","unstructured":"Magnus, W., Winkler, S.: Hill's equation. New York: Wiley 1966."},{"key":"BF02246504_CR14","volume-title":"Asymptotics and special functions","author":"F. W. J. Olver","year":"1974","unstructured":"Olver, F. W. J.: Asymptotics and special functions. New York: Academic Press 1974."},{"key":"BF02246504_CR15","first-page":"409","volume-title":"Computer arithmetic and enclosure methods","author":"W. Otten","year":"1992","unstructured":"Otten, W.: Verified inclusions of eigenvalues of linear difference and differential equations. In: Atanassova, L., Herzberger, J. (eds.): Computer arithmetic and enclosure methods, pp. 409\u2013417. Amsterdam: North-Holland 1992."},{"key":"BF02246504_CR16","unstructured":"Otten, W.: Herleitung und Implementation eines Verfahrens zur verifizierten Bestimmung von Eigenwerten linearer Differenzengleichungen. Dissertation, RWTH-Aachen 1993."},{"key":"BF02246504_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61544-3","volume-title":"The Fokker-Planck equation","author":"H. Risken","year":"1989","unstructured":"Risken, H.: The Fokker-Planck equation, 2nd edn. Berlin Heidelberg New York: Springer 1989.","edition":"2nd edn."},{"key":"BF02246504_CR18","doi-asserted-by":"crossref","first-page":"2297","DOI":"10.1109\/TCOM.1982.1095422","volume":"30","author":"W. Rosenkranz","year":"1982","unstructured":"Rosenkranz, W.: Phase locked loops with limiter phase detectors in the presence of noise. IEEE Trans. Comm. COM30, 2297\u20132304 (1982).","journal-title":"IEEE Trans. Comm. COM"},{"key":"BF02246504_CR19","first-page":"53","volume-title":"A new approach to scientific computation","author":"S. M. Rump","year":"1982","unstructured":"Rump, S. M.: Solving algebraic problems with high accuracy. In: Kulisch, U. W., Miranker W. L. (eds.): A new approach to scientific computation, pp. 53\u2013120. New York: Academic Press 1982."},{"key":"BF02246504_CR20","doi-asserted-by":"crossref","unstructured":"Strutt, M. J. O.: Lam\u00e9sche-Mathieusche- und verwandte Funktionen in Physik und Technik. Berlin 1932, Chelsea, New York 1967.","DOI":"10.1007\/978-3-662-41131-5"},{"key":"BF02246504_CR21","doi-asserted-by":"crossref","first-page":"1737","DOI":"10.1109\/PROC.1963.2686","volume":"51","author":"A. J. Viterbi","year":"1963","unstructured":"Viterbi, A. J.: Phase-locked loop dynamics in the presence of noise by Fokker-Planck techniques. Proc. IEEE51, 1737\u20131753 (1963).","journal-title":"Proc. IEEE"},{"key":"BF02246504_CR22","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1137\/0145011","volume":"45","author":"M. Weinstein","year":"1985","unstructured":"Weinstein, M., Keller, J. B.: Hill's equation with a large potential. SIAM J. Appl. Math.45, 200\u2013214 (1985).","journal-title":"SIAM J. Appl. Math."},{"key":"BF02246504_CR23","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1137\/0147062","volume":"47","author":"M. Weinstein","year":"1987","unstructured":"Weinstein, M., Keller, J. B.: Asymptotic behavior of stability regions for Hills equation. SIAM J. Appl. Math.47, 941\u2013945 (1987).","journal-title":"SIAM J. Appl. Math."},{"key":"BF02246504_CR24","volume-title":"Trigonometric series","author":"A. Zygmund","year":"1968","unstructured":"Zygmund, A.: Trigonometric series, vol. I. Cambridge: Campbridge University Press 1968."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02246504.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02246504\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02246504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T11:53:50Z","timestamp":1683287630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02246504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["BF02246504"],"URL":"https:\/\/doi.org\/10.1007\/bf02246504","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}