Semantic and Logical Communication-Control Codesign for Correlated Dynamical Systems

In this study, we delve into the intricacies of semantic communication-control codesign (CoCoCo) for wireless mixed logical dynamical (MLD) systems operating under signal temporal logic (STL) specifications. Our novel contribution, the MLD-Koopman autoencoder (AE), emerges as a method to linearize t...

Full description

Saved in:
Bibliographic Details
Published in:IEEE internet of things journal 2024-04, Vol.11 (7), p.12631-12648
Main Authors: Girgis, Abanoub M., Seo, Hyowoon, Park, Jihong, Bennis, Mehdi
Format: Article
Language:English
Subjects:
Co-design
Communication
communication-control codesign (CoCoCo)
Control systems
Correlation
Costs
Dynamic scheduling
Dynamical systems
Information sharing
Noise prediction
predictive control
Predictive models
Semantics
signal temporal logic (STL)
Signal to noise ratio
Temporal logic
Vehicle dynamics
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this study, we delve into the intricacies of semantic communication-control codesign (CoCoCo) for wireless mixed logical dynamical (MLD) systems operating under signal temporal logic (STL) specifications. Our novel contribution, the MLD-Koopman autoencoder (AE), emerges as a method to linearize the progression of system states within a feature space. This linearization effectively mitigates the communication and computation costs associated with MLD system control. To surmount the challenges posed by multiple correlated MLD systems that possess distinct logical control rules while sharing baseline dynamics, we present the compositional logical dynamical (CLD)-Koopman AE as a remedy to the scalability limitations of the MLD-Koopman AE. This innovative approach incorporates two pivotal models-the dynamics semantic Koopman (DSK) model, capturing semantic correlations among MLD systems, and the logical semantic Koopman (LSK) model, encoding logical control rules. These models portray the linear evolution of baseline dynamics and control rules within a feature space, facilitating predictions of future states for multiple MLD systems with constrained communication. Validation comes from simulations on large-scale inverted cart-pole systems, demonstrating the prowess of the CLD-Koopman AE in achieving an average state prediction performance 82.77% higher than other predictive benchmarks, particularly evident at a signal-to-noise ratio (SNR) of 10 dB.
ISSN:2327-4662
2327-4662
DOI:10.1109/JIOT.2023.3337109