This page contains a list of preprints, publications, research software, and the PhD thesis.
Preprints
Gökçen, A., İlhan, F., Şahin, S., Tripathi, S., Kudeyt, M., & Karabacak, Ö. (2026). Dual Lyapunov-based Model Reference Adaptive System Design and Physical VTOL Aircraft Application. [PDF] [DOI] [Preprint]
Tripathi, S., İlhan, F., Gökçen, A., Kudeyt, M., Şahin, S., & Karabacak, Ö. (2026). Construction of Lyapunov Certificates for Oscillatory Systems. Preprints. [PDF] [DOI] [Preprints]
Tripathi, S., & Agarwal, N. (2023). Stability of Reset and Impulsive Continuous-time Linear Switched Systems. arXiv preprint arXiv:2306.10871. [PDF] [DOI] [arXiv]
Publications
Tripathi, S., Kudeyt, M., Gökçen, A., İlhan, F., Şahin, S., & Karabacak, Ö. (2025). Certification of Stability for Systems of Coupled Phase Oscillators. To appear in Nonlinear Analysis: Hybrid Systems. [PDF] [DOI] [SSRN]
Tripathi, S., & Agarwal, N. (2023). Stability of bimodal planar linear switched systems. European Journal of Control, 70, 100767. [PDF] [DOI] [arXiv]
Tripathi, S., & Agarwal, N. (2022). Stability of bimodal planar switched linear systems with both stable and unstable subsystems. International Journal of Systems Science, 53(15), 3254-3285. [PDF] [DOI] [arXiv]
Conference Papers
Doğan, C., Tripathi, S., Gökçen, A., Kudeyt, M., Şahin, S., & Karabacak, Ö. (2025). Torus Üzerindeki Dinamik Sistemler için Kararlılık Sertifikaları. To appear in the Proceedings of the 26th National Conference on Automatic Control (TOK2025). [PDF]
Tripathi, S., Gökçen, A., Kudeyt, M., Şahin, S., & Karabacak, Ö. (2025). Semidefinite Programming Certificates for Synchronization of Kuramoto Oscillators on Arcs. To appear in Chaos and Complex Systems: Proceedings of the 6th International Interdisciplinary Chaos Symposium. [PDF] [DOI] [Abstract]
Gökçen, A., Şahin, S., Kudeyt, M., Tripathi, S., & Karabacak, Ö. (2025). Dual Lyapunov-based Synchronization Control of Rössler System. To appear in Chaos and Complex Systems: Proceedings of the 6th International Interdisciplinary Chaos Symposium. [PDF] [DOI] [Abstract]
Trigonometric Sum of Squares Solver Suite (SOS-t Solver):
For the construction of Lyapunov density and local Lyapunov function for Systems on the d-Torus.
Trigonometric Sum of Squares Solver on Arcs (arcSOS-t Solver):
For the construction of a local Lyapunov function on arcs for generalized Kuramoto models.
Hybrid Sum of Squares Solver-Vectorized (vSOS-hybrid Solver):
For the construction of Lyapunov density and local Lyapunov function for systems with real and angular variables.
Nikita Agarwal (doctoral supervisor)
Özkan Karabacak (postdoctoral supervisor)