没有找到引用Semantic and logical communication-control co-design for correlated dynamical systems的文章。