Semantic and Logical Communication-Control Codesign for Correlated Dynamical Systems | IEEE Journals & Magazine | IEEE Xplore