Grigory Devadze

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis
Journal of Automated Reasoning
2025-03-20Paper
Practical stability analysis of sliding-mode control with explicit computation of sampling time
Asian Journal of Control
2024-06-27Paper
Stacked adaptive dynamic programming with unknown system model2020-07-08Paper
A note on constructive treatment of eigenvectors2016-07-14Paper


Research outcomes over time


This page was built for person: Grigory Devadze