Bratishchev, Alexander Vasil’evich Control of fluctuations of pendulum on the mobile platform. (Russian. English summary) Zbl 1479.70015 Differ. Uravn. Protsessy Upr. 2020, No. 4, 76-87 (2020). MSC: 70E17 34C05 PDFBibTeX XMLCite \textit{A. V. Bratishchev}, Differ. Uravn. Protsessy Upr. 2020, No. 4, 76--87 (2020; Zbl 1479.70015) Full Text: Link
Biçer, Emel; Tunç, Cemil On the asymptotic stability behaviours of solutions of nonlinear differential equations with multiple variable advanced arguments. (English) Zbl 1418.34105 J. Appl. Nonlinear Dyn. 8, No. 2, 239-249 (2019). MSC: 34D05 26D10 PDFBibTeX XMLCite \textit{E. Biçer} and \textit{C. Tunç}, J. Appl. Nonlinear Dyn. 8, No. 2, 239--249 (2019; Zbl 1418.34105) Full Text: DOI
Yazgan, Ramazan; Tunç, Cemil; Atan, Özkan On the global asymptotic stability of solutions to neutral equations of first order. (English) Zbl 1369.34096 Palest. J. Math. 6, No. 2, 542-550 (2017). Reviewer: Boris V. Loginov (Ul’yanovsk) MSC: 34K20 34K40 47N20 PDFBibTeX XMLCite \textit{R. Yazgan} et al., Palest. J. Math. 6, No. 2, 542--550 (2017; Zbl 1369.34096) Full Text: Link
Padgett, Wayne T.; Anderson, David V. Fixed-point signal processing. (English) Zbl 1204.94039 Synthesis Lectures on Signal Processing 9. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-59829-258-9/pbk; 978-1-59829-259-6/ebook). xi, 121 p. (2009). Reviewer: Joseph Lakey (Las Cruces) MSC: 94A12 94-02 PDFBibTeX XMLCite \textit{W. T. Padgett} and \textit{D. V. Anderson}, Fixed-point signal processing. San Rafael, CA: Morgan \& Claypool Publishers (2009; Zbl 1204.94039) Full Text: DOI
Akbarpour, Behzad; Tahar, Sofiène Error analysis of digital filters using HOL theorem proving. (English) Zbl 1133.68422 J. Appl. Log. 5, No. 4, 651-666 (2007). MSC: 68T15 PDFBibTeX XMLCite \textit{B. Akbarpour} and \textit{S. Tahar}, J. Appl. Log. 5, No. 4, 651--666 (2007; Zbl 1133.68422) Full Text: DOI
Akbarpour, Behzad; Tahar, Sofiène; Dekdouk, Abdelkader Formalization of fixed-point arithmetic in HOL. (English) Zbl 1085.68148 Form. Methods Syst. Des. 27, No. 1-2, 173-200 (2005). MSC: 68T15 PDFBibTeX XMLCite \textit{B. Akbarpour} et al., Form. Methods Syst. Des. 27, No. 1--2, 173--200 (2005; Zbl 1085.68148) Full Text: DOI Link