9 citations · 11 across the 6 of their papers we have counts for
Showing 2020 · math.OCShow all
2 papers · 2 filters
math.OC2020★ 9 cited
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…
math.OC2020★ 1 cited
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…