Lyapunov Redesign of Classical Digital Phase-Lock Loops

The author has previously established that Lyapunov redesign is effective in de-signing an analog phase-locked loop for which the nonlinear model (in the sig-nal phase space) is guaranteed to be sta-ble [1]. This paper extends that concept to what are commonly called classical dig-ital phase-locked loops [2]. These loops, which are very common in high speed digital communications systems, use digi-tal phase detectors but analog filters an