Author:
Björnsson Jóhann, ,Giesl Peter,F. Hafstein Sigurdur,M. Kellett Christopher, ,
Publisher
American Institute of Mathematical Sciences (AIMS)
Subject
Applied Mathematics,Discrete Mathematics and Combinatorics,Analysis
Reference27 articles.
1. Linear programming based Lyapunov function computation for differential inclusions,;R. Baier;Discrete and Continuous Dynamical Systems Series B,2012
2. A computational approach to Conley's decomposition theorem,;H. Ban;Journal of Computational and Nonlinear Dynamics,2006
3. Distributed algorithms for SCC decomposition,;J. Barnat;Journal of Logic and Computation,2011
4. Algorithmic verification of approximations to complete Lyapunov functions,;J. Björnsson;in Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems,2014
5. Computation of continuous and piecewise affine Lyapunov functions by numerical approximations of the Massera construction,;J. Björnsson;in Proceedings of the 53rd IEEE Conference on Decision and Control,2014
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献