Yacine Bouzidi, Thomas Cluzeau, Alban Quadrat, Fabrice Rouillier. On the Effective Computation of Stabilizing Controllers of 2D Systems. In Jürgen Gerhard, Ilias S. Kotsireas, editors, Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings. Volume 1125 of Communications in Computer and Information Science, pages 30-49, Springer, 2019. [doi]
Abstract is missing.