Robert Baier, Lars Grüne, Sigurđur Freyr Hafstein. Linear programming based Lyapunov function computation for differential inclusions.
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2012, 17 (1), pp.33-56.
⟨10.3934/dcdsb.2012.17.33⟩.
⟨hal-00724864⟩