Lars Grüne and Fabian Wirth: Computing control Lyapunov functions via a Zubov type algorithm. (2000)conf/cdc/GruneW0010.1109/CDC.2000.914109Computing control Lyapunov functions via a Zubov type algorithm.2Lars Grüne1Fabian Wirth22129-2134CDCCDC20002000provenance information for RDF data of dblp record 'conf/cdc/GruneW00'2022-03-30T11:07:34+0200