Hafstein, Sigurdur; Tanwani, Aneel Linear programming based lower bounds on average dwell-time via multiple Lyapunov functions. (English) Zbl 1527.93189 Eur. J. Control 74, Article ID 100838, 7 p. (2023). MSC: 93C30 93D30 90C05 PDFBibTeX XMLCite \textit{S. Hafstein} and \textit{A. Tanwani}, Eur. J. Control 74, Article ID 100838, 7 p. (2023; Zbl 1527.93189) Full Text: DOI arXiv
Hafstein, Sigurdur Sliding modes and Lyapunov functions for differential inclusions by linear programming. (English) Zbl 1504.93052 Gusikhin, Oleg (ed.) et al., Informatics in control, automation and robotics. 17th international conference, ICINCO 2020, Lieusaint, Paris, France, July 7–9, 2020. Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 793, 584-606 (2022). MSC: 93B12 93D30 93C30 93C15 34A60 PDFBibTeX XMLCite \textit{S. Hafstein}, Lect. Notes Electr. Eng. 793, 584--606 (2022; Zbl 1504.93052) Full Text: DOI
Giesl, Peter; Hafstein, Sigurdur Uniformly regular triangulations for parameterizing Lyapunov functions. (English) Zbl 07770896 Gusikhin, Oleg (ed.) et al., ICINCO 2021. Proceedings of the 18th international conference on informatics in control, automation and robotics, virtual, July 6–8, 2021. Setúbal: SCITEPRESS – Science and Technology Publications. 549-557 (2021). MSC: 93D30 90C05 PDFBibTeX XMLCite \textit{P. Giesl} and \textit{S. Hafstein}, in: ICINCO 2021. Proceedings of the 18th international conference on informatics in control, automation and robotics, virtual, July 6--8, 2021. Setúbal: SCITEPRESS -- Science and Technology Publications. 549--557 (2021; Zbl 07770896) Full Text: DOI
Bjornsson, Hjortur; Hafstein, Sigurdur Advanced algorithm for interpolation with Wendland functions. (English) Zbl 1510.65003 Gusikhin, Oleg (ed.) et al., Informatics in control, automation and robotics. 16th international conference, ICINCO 2019 Prague, Czech Republic, July 29–31, 2019, Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 720, 99-117 (2021). MSC: 65-04 65D05 65D12 PDFBibTeX XMLCite \textit{H. Bjornsson} and \textit{S. Hafstein}, Lect. Notes Electr. Eng. 720, 99--117 (2021; Zbl 1510.65003) Full Text: DOI
Giesl, Peter; Hafstein, Sigurdur System specific triangulations for the construction of CPA Lyapunov functions. (English) Zbl 1478.93580 Discrete Contin. Dyn. Syst., Ser. B 26, No. 12, 6027-6046 (2021). MSC: 93D30 51M20 32B25 PDFBibTeX XMLCite \textit{P. Giesl} and \textit{S. Hafstein}, Discrete Contin. Dyn. Syst., Ser. B 26, No. 12, 6027--6046 (2021; Zbl 1478.93580) Full Text: DOI
Giesl, Peter; Hafstein, Sigurdur; Mehrabinezhad, Iman Computation and verification of contraction metrics for periodic orbits. (English) Zbl 1471.34076 J. Math. Anal. Appl. 503, No. 2, Article ID 125309, 32 p. (2021). MSC: 34C25 34D20 34D05 65L07 PDFBibTeX XMLCite \textit{P. Giesl} et al., J. Math. Anal. Appl. 503, No. 2, Article ID 125309, 32 p. (2021; Zbl 1471.34076) Full Text: DOI
Giesl, Peter; Argáez, Carlos; Hafstein, Sigurdur; Wendland, Holger Minimization with differential inequality constraints applied to complete Lyapunov functions. (English) Zbl 1505.93221 Math. Comput. 90, No. 331, 2137-2160 (2021). MSC: 93D30 34D20 37B25 37M22 65L07 90C20 PDFBibTeX XMLCite \textit{P. Giesl} et al., Math. Comput. 90, No. 331, 2137--2160 (2021; Zbl 1505.93221) Full Text: DOI Link
Giesl, Peter; Langhorne, Zachary; Argáez, Carlos; Hafstein, Sigurdur Computing complete Lyapunov functions for discrete-time dynamical systems. (English) Zbl 1467.93274 Discrete Contin. Dyn. Syst., Ser. B 26, No. 1, 299-336 (2021). MSC: 93D30 93C55 65D12 65K10 90C20 PDFBibTeX XMLCite \textit{P. Giesl} et al., Discrete Contin. Dyn. Syst., Ser. B 26, No. 1, 299--336 (2021; Zbl 1467.93274) Full Text: DOI
Hafstein, Sigurdur; Suhr, Stefan Smooth complete Lyapunov functions for ODEs. (English) Zbl 1468.34085 J. Math. Anal. Appl. 499, No. 1, Article ID 125003, 15 p. (2021). Reviewer: Olusola Akinyele (Bowie) MSC: 34D20 PDFBibTeX XMLCite \textit{S. Hafstein} and \textit{S. Suhr}, J. Math. Anal. Appl. 499, No. 1, Article ID 125003, 15 p. (2021; Zbl 1468.34085) Full Text: DOI
Giesl, Peter; Hafstein, Sigurdur; Mehrabinezhad, Iman Computation and verification of contraction metrics for exponentially stable equilibria. (English) Zbl 1458.65154 J. Comput. Appl. Math. 390, Article ID 113332, 22 p. (2021). MSC: 65N35 65N15 65D12 37B25 34D20 PDFBibTeX XMLCite \textit{P. Giesl} et al., J. Comput. Appl. Math. 390, Article ID 113332, 22 p. (2021; Zbl 1458.65154) Full Text: DOI arXiv
Hafstein, Sigurdur CPA Lyapunov functions: switched systems vs. differential inclusions. (English) Zbl 07768903 Gusikhin, Oleg (ed.) et al., ICINCO 2020. Proceedings of the 17th international conference on informatics in control, automation and robotics, virtual, July 7–9, 2020. Setúbal: SCITEPRESS – Science and Technology Publications. 745-753 (2020). MSC: 93D30 93C30 93C15 34A60 PDFBibTeX XMLCite \textit{S. Hafstein}, in: ICINCO 2020. Proceedings of the 17th international conference on informatics in control, automation and robotics, virtual, July 7--9, 2020. Setúbal: SCITEPRESS -- Science and Technology Publications. 745--753 (2020; Zbl 07768903) Full Text: DOI
Argáez, Carlos; Giesl, Peter; Hafstein, Sigurdur Evaluation of Lyapunov function candidates through averaging iterations. (English) Zbl 07768902 Gusikhin, Oleg (ed.) et al., ICINCO 2020. Proceedings of the 17th international conference on informatics in control, automation and robotics, virtual, July 7–9, 2020. Setúbal: SCITEPRESS – Science and Technology Publications. 734-744 (2020). MSC: 93D30 90C20 PDFBibTeX XMLCite \textit{C. Argáez} et al., in: ICINCO 2020. Proceedings of the 17th international conference on informatics in control, automation and robotics, virtual, July 7--9, 2020. Setúbal: SCITEPRESS -- Science and Technology Publications. 734--744 (2020; Zbl 07768902) Full Text: DOI
Bjornsson, Hjortur; Hafstein, Sigurdur Algorithm and software to generate code for Wendland functions in factorized form. (English) Zbl 07782194 Gusikhin, Oleg (ed.) et al., ICINCO 2019. Proceedings of the 16th international conference on informatics in control, automation and robotics, Prague, Czech Republic, July 29–31, 2019. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 156-162, Vol. 1 (2019). MSC: 65D12 PDFBibTeX XMLCite \textit{H. Bjornsson} and \textit{S. Hafstein}, in: ICINCO 2019. Proceedings of the 16th international conference on informatics in control, automation and robotics, Prague, Czech Republic, July 29--31, 2019. In 2 volumes. Setúbal: SCITEPRESS -- Science and Technology Publications. 156--162, Vol. 1 (2019; Zbl 07782194) Full Text: DOI
Hafstein, Sigurdur Lyapunov functions for linear stochastic differential equations: BMI formulation of the conditions. (English) Zbl 07782193 Gusikhin, Oleg (ed.) et al., ICINCO 2019. Proceedings of the 16th international conference on informatics in control, automation and robotics, Prague, Czech Republic, July 29–31, 2019. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 147-155, Vol. 1 (2019). MSC: 93D30 93E15 60H10 PDFBibTeX XMLCite \textit{S. Hafstein}, in: ICINCO 2019. Proceedings of the 16th international conference on informatics in control, automation and robotics, Prague, Czech Republic, July 29--31, 2019. In 2 volumes. Setúbal: SCITEPRESS -- Science and Technology Publications. 147--155, Vol. 1 (2019; Zbl 07782193) Full Text: DOI
Argáez, Carlos; Giesl, Peter; Hafstein, Sigurdur Clustering algorithm for generalized recurrences using complete Lyapunov functions. (English) Zbl 07782192 Gusikhin, Oleg (ed.) et al., ICINCO 2019. Proceedings of the 16th international conference on informatics in control, automation and robotics, Prague, Czech Republic, July 29–31, 2019. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 138-146, Vol. 1 (2019). MSC: 93D30 37J46 PDFBibTeX XMLCite \textit{C. Argáez} et al., in: ICINCO 2019. Proceedings of the 16th international conference on informatics in control, automation and robotics, Prague, Czech Republic, July 29--31, 2019. In 2 volumes. Setúbal: SCITEPRESS -- Science and Technology Publications. 138--146, Vol. 1 (2019; Zbl 07782192) Full Text: DOI
Björnsson, Hjörtur; Hafstein, Sigurdur; Giesl, Peter; Scalas, Enrico; Gudmundsson, Skuli Computation of the stochastic basin of attraction by rigorous construction of a Lyapunov function. (English) Zbl 1421.37031 Discrete Contin. Dyn. Syst., Ser. B 24, No. 8, 4247-4269 (2019). MSC: 37L45 37L55 65P40 93E03 93E15 93D30 60H35 65C30 PDFBibTeX XMLCite \textit{H. Björnsson} et al., Discrete Contin. Dyn. Syst., Ser. B 24, No. 8, 4247--4269 (2019; Zbl 1421.37031) Full Text: DOI
Hafstein, Sigurdur; Kawan, Christoph Numerical approximation of the data-rate limit for state estimation under communication constraints. (English) Zbl 1415.93017 J. Math. Anal. Appl. 473, No. 2, 1280-1304 (2019); corrigendum ibid. 509, No. 2, Article ID 125967, 4 p. (2022). MSC: 93A14 93C62 93E10 93B40 PDFBibTeX XMLCite \textit{S. Hafstein} and \textit{C. Kawan}, J. Math. Anal. Appl. 473, No. 2, 1280--1304 (2019; Zbl 1415.93017) Full Text: DOI arXiv
Bjornsson, Hjortur; Hafstein, Sigurdur Verification of a numerical solution to a collocation problem. (English) Zbl 07765517 Madani, Kurosh (ed.) et al., ICINCO 2018. Proceedings of the 15th international conference on informatics in control, automation and robotics, Porto, Portugal, July 29–31, 2018. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 587-594, Vol. 1 (2018). MSC: 93D30 65D12 93C10 93E03 60H10 PDFBibTeX XMLCite \textit{H. Bjornsson} and \textit{S. Hafstein}, in: ICINCO 2018. Proceedings of the 15th international conference on informatics in control, automation and robotics, Porto, Portugal, July 29--31, 2018. In 2 volumes. Setúbal: SCITEPRESS -- Science and Technology Publications. 587--594, Vol. 1 (2018; Zbl 07765517) Full Text: DOI
Björnsson, Hjörtur; Giesl, Peter; Gudmundsson, Skuli; Hafstein, Sigurdur Local Lyapunov functions for nonlinear stochastic differential equations by linearization. (English) Zbl 07765516 Madani, Kurosh (ed.) et al., ICINCO 2018. Proceedings of the 15th international conference on informatics in control, automation and robotics, Porto, Portugal, July 29–31, 2018. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 579-586, Vol. 1 (2018). MSC: 93D30 93C10 93E15 93D20 60H10 PDFBibTeX XMLCite \textit{H. Björnsson} et al., in: ICINCO 2018. Proceedings of the 15th international conference on informatics in control, automation and robotics, Porto, Portugal, July 29--31, 2018. In 2 volumes. Setúbal: SCITEPRESS -- Science and Technology Publications. 579--586, Vol. 1 (2018; Zbl 07765516) Full Text: DOI
Giesl, Peter; Argáez, Carlos; Hafstein, Sigurdur; Wendland, Holger Construction of a complete Lyapunov function using quadratic programming. (English) Zbl 07765514 Madani, Kurosh (ed.) et al., ICINCO 2018. Proceedings of the 15th international conference on informatics in control, automation and robotics, Porto, Portugal, July 29–31, 2018. In 2 volumes. Setúbal: SCITEPRESS – Science and Technology Publications. 560-568, Vol. 1 (2018). MSC: 93D30 90C20 PDFBibTeX XMLCite \textit{P. Giesl} et al., in: ICINCO 2018. Proceedings of the 15th international conference on informatics in control, automation and robotics, Porto, Portugal, July 29--31, 2018. In 2 volumes. Setúbal: SCITEPRESS -- Science and Technology Publications. 560--568, Vol. 1 (2018; Zbl 07765514) Full Text: DOI
Argáez, Carlos; Giesl, Peter; Hafstein, Sigurdur Freyr Computational approach for complete Lyapunov functions. (English) Zbl 1447.37038 Awrejcewicz, Jan (ed.), Dynamical systems in theoretical perspective. Łódź, Poland, December 11–14, 2017. Based on the 14th international conference on dynamical systems: theory and applications (DSTA). Cham: Springer. Springer Proc. Math. Stat. 248, 1-11 (2018). Reviewer: Bülent Karasözen (Ankara) MSC: 37C75 37C10 37M20 37M21 37M05 PDFBibTeX XMLCite \textit{C. Argáez} et al., Springer Proc. Math. Stat. 248, 1--11 (2018; Zbl 1447.37038) Full Text: DOI
Gudmundsson, Skuli; Hafstein, Sigurdur Probabilistic basin of attraction and its estimation using two Lyapunov functions. (English) Zbl 1398.93355 Complexity 2018, Article ID 2895658, 9 p. (2018). MSC: 93E15 60H10 93D30 93D20 PDFBibTeX XMLCite \textit{S. Gudmundsson} and \textit{S. Hafstein}, Complexity 2018, Article ID 2895658, 9 p. (2018; Zbl 1398.93355) Full Text: DOI
Hafstein, Sigurdur F.; Kellett, Christopher M.; Li, Huijuan Computing continuous and piecewise affine Lyapunov functions for nonlinear systems. (English) Zbl 1345.93119 J. Comput. Dyn. 2, No. 2, 227-246 (2015). MSC: 93D05 93D30 93D20 93D10 PDFBibTeX XMLCite \textit{S. F. Hafstein} et al., J. Comput. Dyn. 2, No. 2, 227--246 (2015; Zbl 1345.93119) Full Text: DOI
Li, Huijuan; Baier, Robert; Grüne, Lars; Hafstein, Sigurdur F.; Wirth, Fabian R. Computation of local ISS Lyapunov functions with low gains via linear programming. (English) Zbl 1366.37146 Discrete Contin. Dyn. Syst., Ser. B 20, No. 8, 2477-2495 (2015). MSC: 37M99 93D09 93D30 90C05 93D25 90C90 PDFBibTeX XMLCite \textit{H. Li} et al., Discrete Contin. Dyn. Syst., Ser. B 20, No. 8, 2477--2495 (2015; Zbl 1366.37146) Full Text: DOI
Björnsson, Jóhann; Giesl, Peter; Hafstein, Sigurdur F.; Kellett, Christopher M. Computation of Lyapunov functions for systems with multiple local attractors. (English) Zbl 1366.37028 Discrete Contin. Dyn. Syst. 35, No. 9, 4019-4039 (2015). MSC: 37B25 37C10 93D30 37M25 34D20 PDFBibTeX XMLCite \textit{J. Björnsson} et al., Discrete Contin. Dyn. Syst. 35, No. 9, 4019--4039 (2015; Zbl 1366.37028) Full Text: DOI
Giesl, Peter; Hafstein, Sigurdur Computation and verification of Lyapunov functions. (English) Zbl 1360.37045 SIAM J. Appl. Dyn. Syst. 14, No. 4, 1663-1698 (2015). MSC: 37B25 65N35 93D30 65N15 34D20 PDFBibTeX XMLCite \textit{P. Giesl} and \textit{S. Hafstein}, SIAM J. Appl. Dyn. Syst. 14, No. 4, 1663--1698 (2015; Zbl 1360.37045) Full Text: DOI Link
Li, Huijuan; Hafstein, Sigurður; Kellett, Christopher M. Computation of continuous and piecewise affine Lyapunov functions for discrete-time systems. (English) Zbl 1320.93072 J. Difference Equ. Appl. 21, No. 6, 486-511 (2015). MSC: 93D30 93D05 PDFBibTeX XMLCite \textit{H. Li} et al., J. Difference Equ. Appl. 21, No. 6, 486--511 (2015; Zbl 1320.93072) Full Text: DOI Link
Baier, Robert; Grüne, Lars; Hafstein, Sigurður Freyr Linear programming based Lyapunov function computation for differential inclusions. (English) Zbl 1235.93222 Discrete Contin. Dyn. Syst., Ser. B 17, No. 1, 33-56 (2012). MSC: 93D30 93D20 34D20 34A60 34A36 PDFBibTeX XMLCite \textit{R. Baier} et al., Discrete Contin. Dyn. Syst., Ser. B 17, No. 1, 33--56 (2012; Zbl 1235.93222) Full Text: DOI
Giesl, Peter; Hafstein, Sigurdur Existence of piecewise affine Lyapunov functions in two dimensions. (English) Zbl 1205.34064 J. Math. Anal. Appl. 371, No. 1, 233-248 (2010). Reviewer: Mihail Megan (Timişoara) MSC: 34D20 PDFBibTeX XMLCite \textit{P. Giesl} and \textit{S. Hafstein}, J. Math. Anal. Appl. 371, No. 1, 233--248 (2010; Zbl 1205.34064) Full Text: DOI
Hafstein, Sigurdur Freyr An algorithm for constructing Lyapunov functions. (English) Zbl 1131.37021 Electronic Journal of Differential Equations. Monograph 8. San Marcos, TX: Southwest Texas State University. 101 p., electronic only, open access (2007). Reviewer: Boris V. Loginov (Ul’yanovsk) MSC: 37B25 34D20 37C20 37M25 90C05 PDFBibTeX XMLCite \textit{S. F. Hafstein}, An algorithm for constructing Lyapunov functions. San Marcos, TX: Southwest Texas State University (2007; Zbl 1131.37021) Full Text: EMIS
Hafstein, Sigurdur Freyr A constructive converse Lyapunov theorem on exponential stability. (English) Zbl 1070.93044 Discrete Contin. Dyn. Syst. 10, No. 3, 657-678 (2004). Reviewer: Vladimir Răsvan (Craiova) MSC: 93D30 93B40 93D20 93-04 65K05 PDFBibTeX XMLCite \textit{S. F. Hafstein}, Discrete Contin. Dyn. Syst. 10, No. 3, 657--678 (2004; Zbl 1070.93044) Full Text: DOI