Infinite-dimensional systems, characterised ... state stability verification through linear matrix inequalities, thereby opening avenues for data-driven control of complex dynamical systems ...