Hela Kadri, Samir Ben Ahmed, Simon Collart Dutilleul. Formal Approach to Control Design of Complex and Dynamical Systems. In Petros Koumoutsakos, Michael Lees, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot, editors, International Conference on Computational Science, ICCS 2017, 12-14 June 2017, Zurich, Switzerland. Volume 108 of Procedia Computer Science, pages 2512-2516, Elsevier, 2017. [doi]
Abstract is missing.