9 citations · 11 across the 6 of their papers we have counts for
3 papers · 1 filter
Stacked adaptive dynamic programming with unknown system model
Pavel Osinenko, Thomas Göhrt, Grigory Devadze +1
Adaptive dynamic programming is a collective term for a variety of approaches to infinite-horizon optimal control. Common to all approaches is approximation of the infinite-horizon…
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
Grigory Devadze, Victor Magron, Stefan Streif
We provide a computer-assisted approach to ensure that a given continuous or discrete-time polynomial system is (asymptotically) stable. Our framework relies on constructive analys…
A note on constructive treatment of eigenvectors
Pavel Osinenko, Grigory Devadze, Stefan Streif
The eigenvalue problem plays a central role in linear algebra and its applications in control and optimization methods. In particular, many matrix decompositions rely upon computat…