An Asynchronous Triggered MAC Protocol for Underwater Acoustic Networks
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
1
An Asynchronous Triggered MAC Protocol for Underwater Acoustic Networks
arXiv:2608.10533v1 [cs.NI] 11 Aug 2026
Bingwen Huangfu, Jiani Guo, Shanshan Song*, Member, IEEE, Nan Sun, Jun Liu
Abstract—Time Division Multiple Access (TDMA)-based Medium Access Control (MAC) protocols have proven their practicality through extensive field trials in Underwater Acoustic Networks (UANs), attributable to their hardware-agnostic and easily implementable properties. Most existing protocols rely on a synchronized and fixed-length slot paradigm to mitigate channel contention and facilitate orderly transmissions. However, this paradigm imposes significant clock synchronization overhead in UANs with low and variable sound speed and struggles to improve scheduling flexibility. Although some protocols attempt to refine this slot paradigm (adjust the slot length to improve channel reuse efficiency or scheduling frequency), they are still constrained by the trade-off between channel utilization and scheduling complexity. To this end, this paper advocates a paradigm shift in underwater MAC design, transitioning from synchronized slot to asynchronous scheduling, and realizes it through an Asynchronous Triggered MAC (AT-MAC). AT-MAC introduces a triggered slot paradigm without time synchronization, decoupling transmission scheduling from a rigid timeline and enabling asynchronous, variable-length slots to accommodate the long and diverse propagation delays. To power this slot paradigm, AT-MAC augments conventional Multi-Agent Deep Reinforcement Learning to handle asynchronous interaction, achieving efficient coordinated channel access under partial observations. It further devises a load-aware fairness guard mechanism to enable network-wide fairness status inference solely through local overhearing, thereby guiding adaptive scheduling correction to maintain fairness. Trace-based and on-board experiments validate the feasibility and computational practicality of AT-MAC. Extensive simulation results further demonstrate its superiority and adaptability across various scenarios and traffic conditions. Index Terms—Underwater acoustic networks, medium access control, deep reinforcement learning.
I. I NTRODUCTION
U
NDERWATER acoustic networks (UANs) have attracted significant research interest in recent decades due to their applications in the ocean exploration, environmental monitoring, disaster prevention, and military surveillance [1]– [4]. However, these applications hinge on the efficient and reliable data transmission. To achieve this, medium access control (MAC) protocols play a pivotal role in enhancing network throughput, orchestrating competing channel access, and managing multi-user fairness [5]–[7]. Specifically, the unique S. Song is the corresponding author. B. Huangfu, J. Guo, and S. Song are with the College of Computer Science and Technology, Jilin University, Changchun 130012, China (e-mail: hfbw24@mails.jlu.edu.cn, jnguo@jlu.edu.cn, songss@jlu.edu.cn). N. Sun is with the College of Software Engineering, Jilin University, Changchun 130012, China (e-mail: nsun23@mails.jlu.edu.cn). Jun Liu is with the School of Electronic and Information Engineering, Beihang University, Beijing 100191, China (e-mail: liujun2019@buaa.edu.cn).
characteristics of underwater acoustic communication, such as long propagation delay, high attenuation, narrow bandwidth, and half-duplex communication, impose formidable challenges to the MAC protocol design in UANs [8]. Due to the high compatibility with communication schemes and device models, Time Division Multiple Access (TDMA)based MAC protocols have been extensively adopted in underwater networks across various fields. Numerous offshore field trials indicate their practicality and ease of implementation [9]–[12]. These protocols rely on synchronized and fixedlength slots to enable nodes to access the channel orderly and avoid packet conflicts. However, this synchronized slot paradigm suffers from operational instability due to its reliance on strict time synchronization [13], [14]. The unavoidable estimation skew in underwater time synchronization methods leads to persistent clock offsets among nodes that accumulate over time. Moreover, maintaining time synchronization generally requires extra information exchange, which incurs control overhead in terms of channel and energy within resourceconstrained UANs. Even assuming perfect clock synchronization, the synchronized slot paradigm presents a fundamental conflict between high channel utilization and low scheduling complexity. 1) Dedicated slot allocation can readily avoid packet collisions but leaves substantial channel idleness, as propagation delays dominate the round-trip latency [15], [16]. Although exploiting differences in propagation delays allows for spatial slot reuse, its rigid topology-dependence renders transmission concurrency vulnerable [17]–[23]. 2) Shortening the slot length improves scheduling frequency, holding promise for dense and staggered channel access. However, this design may introduce across-slot packet collisions. This necessitates MAC protocols to predict future channel usage, significantly escalating scheduling complexity [24]–[27]. Furthermore, the synchronized and fixed-length slot paradigm makes it difficult to realize dynamic scheduling to accommodate varying traffic load conditions while ensuring high channel utilization [28], [29]. To introduce the necessary flexibility and efficiency, the integration of shortened time slots and adaptive scheduling methods like Deep Reinforcement Learning (DRL) may become a promising solution. However, constrained by the highlighted scheduling complexity, existing protocols struggle to achieve effective network-wide coordination, ultimately failing to maintain fairness. Motivated by the aforementioned limitations of networkwide synchronized time slots, we advocate a paradigm shift in underwater TDMA-based MAC design, transitioning from synchronized slot to asynchronous scheduling, thereby effi-
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
ciently leveraging the long and diverse propagation delays in UANs. To this end, we propose AT-MAC, an Asynchronous Triggered MAC protocol that aims to significantly improve channel utilization and fairness without time synchronization. Specifically, AT-MAC innovatively designs a triggered slot paradigm that decouples coordinated channel access from a rigid timeline, allowing flexible asynchronous scheduling. Based on this paradigm, AT-MAC enhances Multi-Agent Proximal Policy Optimization (MAPPO) to handle asynchronous interaction and incorporates a local fairness guard mechanism to facilitate network-wide fairness, thus achieving efficient adaptive channel access based on partial observations. The main contributions of this paper are as follows: • Design a triggered slot paradigm to enable asynchronous transmission scheduling without clock and slot synchronization. All nodes locally maintain slots, each dedicated to a single, complete DATA-ACK transaction. Asynchronous, variable-length slots grant nodes scheduling flexibility, allowing them to exploit long and diverse propagation delays to naturally stagger channel access. • Propose an asynchronous time-offset MAPPO algorithm adapted for the triggered slot paradigm. We formalize the asynchronous channel access as a time-offset decentralized partially observable Markov decision process (To-Dec-POMDP). To-Dec-POMDP introduces relative time offset to ensure causally consistent credit assignment and avoid estimation bias caused by asynchrony. By integrating To-Dec-POMDP with a centralized training and decentralized execution framework, our algorithm achieves stable convergence and efficient execution. • Present a low-overhead load-aware fairness guard mechanism that enables decentralized nodes to infer the network-wide fairness status and guides transmission correction to maintain fairness. By leveraging the inherent broadcast nature of acoustic signals, each node can overhear the attached information to infer the network’s actual and desired load status, which serves as the basis for transmission correction. • Conduct trace-based experiments, on-board benchmarking, extensive simulations, and ablation studies to comprehensively evaluate AT-MAC. The results validate ATMAC’s practical feasibility and computational practicality on resource-constrained UANs, while extensive simulation results demonstrate its superior performance and strong adaptability across diverse scenarios and traffic load conditions. Ablation studies further confirm the effectiveness of the fairness guard mechanism for maintaining load-aware fairness, as well as the robustness of the time-offset mechanism. II. R ELATED W ORK A. Conventional TDMA-based MAC: Trading Overhead for Efficiency To simplify implementation and mitigate collisions, most TDMA-based MAC protocols adopt the network-wide synchronized time slots that encompass a full transmissionfeedback cycle. The authors in [15] proposed a protocol
2
to avoid packet collisions by extending the slot duration to encompass the maximum propagation delay plus the transmission time of a control packet, thereby ensuring transmission isolation between slots. [12] adopted the same time slot setting but allowed nodes far apart to transmit data in the same slot to accommodate chain topology, thereby increasing network throughput. However, the dedicated synchronized slot design inevitably leads to channel wastage due to the long propagation delays of underwater acoustic signals. To reduce the channel wastage of long synchronized slots, later protocols exploit topology knowledge or handshaking to enable spatial reuse [5], [17]–[21]. Although effective in relatively static settings, these methods require collecting propagation or scheduling information through repeated exchanges, which is costly in large-scale and resource-constrained UANs. Moreover, the feasibility of slot reuse is inherently bounded by network topology, and modifying static scheduling schemes in dynamic environments entails sustained control overhead. B. RL-based MAC Suffering from Synchronized Slot Limitations Reinforcement Learning (RL) has emerged as a promising framework to address the overhead-efficiency trade-off by enabling nodes to learn effective transmission policies through local interaction with the environment. The work in [23] designed a RL-based protocol where all nodes in the network use basic Q-learning to independently find the most appropriate time slots to transmit, using the number of time slots per frame as the state space and updating the Q-values directly. [30]– [32] adopted the same slot design as [23] and incorporated additional considerations to enhance adaptability. The authors in [24] designed a probability-based MAC protocol, which optimizes the channel access probability of nodes within the next adjustable time slots to minimize collisions. All these RL-based MAC protocols enhance channel utilization by reusing either a single long-duration slot or a frame comprising multiple short slots. While the flexible transmission timing selection within a slot can gain additional opportunities for spatial reuse, its feasibility is dependent on the network topology. To make such reuse feasible, the slot duration must be sufficiently long, which further exacerbates channel underutilization when network traffic is insufficient. To further adaptively exploit the substantial unoccupied channel resources, several studies have proposed shortening the time slot duration to conduct fine-grained scheduling, aiming to achieve dense and staggered receptions at the sink node. [25]–[27] shorten the time slot length to the duration of data plus ACK transmission, and employ a DRL algorithm to enable nodes to autonomously decide whether to transmit packets based on local observations. [33] proposed a delayfluctuation-resistant MAC protocol based on Double DQN in the shortened-slot paradigm, which can adapt to the delay fluctuation to avoid the credit assignment bias and achieve better performance. [34] proposed a MAPPO-based MAC protocol that allows multiple intelligent nodes to cooperatively access the channel in the shortened-slot paradigm, thereby improving network efficiency and achieving better
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
network fairness. Such an approach breaks the transmission isolation between slots, significantly enhancing the flexibility of channel access scheduling, enabling intelligent nodes to exploit idle channel. [35] proposed DA-MARLA, which leverages MAPPO to facilitate cooperative channel access among multiple nodes, thereby improving network efficiency. DA-MARLA adopts a more radical design by setting the time slot duration equal to the data transmission time and omitting the use of ACKs. This design avoids the action timedependence caused by waiting for ACKs, reducing scheduling complexity and enabling cooperative channel access among multiple intelligent nodes. However, these DRL-based MAC protocols with shortened time slots overlook the heterogeneity of propagation delays, leading to issues such as credit assignment bias and self-action masking. This leads to their reliance on idealized environment assumptions, making it difficult to achieve stable learning and efficient execution in real acoustic propagation environments. C. Traffic Load Awareness and Fairness in UANs Recently, with the increasing number of nodes and the development of underwater applications, the fairness issue in UANs has become more prominent. Some research has begun to focus on how to achieve load awareness and fair scheduling in UANs. [36] proposed a heuristic link scheduling algorithm (TOTA) that considers traffic load and routing information to save energy and improve throughput. The base station collects the global information such as topology, traffic load on each link, to compute the optimal schedule. [37] allowed nodes to attach load information to control packets, achieving trafficload adaptation by transmitting variable length packets before the scheduled time slots. [38] proposed a load-based time slot allocation scheme to mitigate intra-network interference and improve channel utilization under fluctuating traffic loads. [39] proposed a traffic load-aware link scheduling scheme for UWSNs, where traffic load is evaluated based on the proportion of time the control channel remains busy during the observation period. Distributed nodes exchange control packets to update their channel resource lists. These strategies necessitate information exchanges between nodes to acquire either global or local traffic load information. However, such information exchange incurs additional overhead in terms of channel and energy consumption, which is detrimental in resource-constrained UANs. Therefore, a practical fairness mechanism should maintain network-wide fairness with minimal additional overhead. III. S YSTEM M ODEL AND P ROBLEM F ORMULATION A. System Model As shown in Fig. 1, we consider a one-hop underwater acoustic network (UAN) where N transmitters send data packets to a sink node over a shared acoustic channel. Such topology is typical for small-scale networks and serves as a fundamental building block for large UANs. We denote the set of transmitters as N = {1, 2, . . . , N }, with the sink node represented as m. Each transmitter i maintains a data queue with length qi and generates data at various rates λi . The
3
Fig. 1. Overview of the considered system. Transmitters send data packets to a central sink, which returns ACK packets.
transmit power pi is pre-configured based on the link distance and channel conditions, and includes an adequate margin to ensure reliable connectivity to the sink. All nodes operate in half-duplex mode, defined as Modei (t) ∈ {Tx, Rx, Idle}, where the tri-mode definition is mutually exclusive, enforcing half-duplex operation such that a node cannot transmit and receive at the same time. Let ui (t) ∈ {0, 1} denote the transmission decision for transmitter i at time t. When ui (t) = 1, transmitter i sends a data packet of size li (t) to sink m. The complete process consists of four phases: 1) Data transmission: at time t, transmitter i sends a data packet to sink m with a transmission delay of δltx = i δ pre + li /R, where δ pre is the preamble duration and R is the physical-layer transmission rate; 2) Data propagation and reception: the packet propagates prop over delay δi,m = di,m /c, where di,m is the distance between transmitter i and sink m, c is the sound speed. prop Sink m receives the packet at time t + δltx + δi,m ; i 3) ACK transmission: upon successfully receiving the data, sink m sends back an ACK packet with a transmission tx delay of δack = δ pre , since the acknowledgment information can be embedded in the preamble; 4) ACK propagation and reception: the ACK packet propagates back to transmitter i with the same one-way delay prop prop tx δi,m , and is received at time t′ = t+δltx +2δi,m +δack . i Upon receiving the ACK, transmitter i considers the data packet delivered and removes it from its queue. Therefore, we can define the data reception window WiD at the sink and the ACK reception window WiA at transmitter i as: prop prop WiD (t) = t + δi,m , t + δltx + δi,m , (1) i prop prop tx WiA (t) = t + δltx + 2δi,m , t + δltx + 2δi,m + δack . (2) i i Constrained by the half-duplex operation and the shared narrowband broadcast channel, the transmission of the data packet pkt from transmitter i to sink m fails if any of the following events occurs: 1) Data reception collision (at sink). Another packet overlaps with WiD (t) at the sink, causing destructive interference and corrupting pkt;
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
TABLE I. Notation Description Notation Description N Transmitters set m Sink node λi Data generation rate li Packet size δltx Data transmission delay i di,m Euclidean distance tx δack ACK transmission delay lmax Maximum packet size h Fairness horizon Biavail Available data amount
Notation Description N Number of transmitters qi Data queue length ui Transmission decision δ pre Preamble duration prop δi,j Propagation delay c Sound speed fi Transmission feedback L Observation length ϵ Fairness deviation tolerance Bideliv Delivered data amount
2) ACK–data half-duplex collision (at sink). The sink is transmitting another ACK during WiD (t), its half-duplex operation precludes simultaneous reception of pkt; 3) ACK reception collision (at transmitter). another packet arrival overlaps with WiA (t) at transmitter i, corrupting the ACK decoding. Based on the above collision analysis, we define fi (t) ∈ {−1, 0, 1} as the feedback outcome for transmitter i’s decision at time t. Specifically, fi = 1 indicates that the packet is successfully delivered (an ACK is received), fi = −1 indicates a failed attempt (no ACK is received for any reason), and fi = 0 indicates that transmitter i remains idle (no transmission is scheduled). Table I summarizes the notations.
4
where π is the transmission scheduling policy, T is the network lifetime, and tki is the k-th decision epoch of transmitter i. 2) Load-Aware Fairness: Let h denote the fairness horizon. At time t, we define the sent-to-available ratio ρi (t) of transmitter i over [t − h, t] to quantify the proportion of successfully delivered data to the total available data within the horizon h, calculated as: P I{fi (tki ) = 1} · li (tki ) tk i ∈[t−h, t] . (5) ρi (t) = Rt qi (t − h) + t−h λi (τ ) dτ Thus, we quantify the network-wide load-aware fairness at time t using Jain’s index over {ρi (t)}i∈N : 2 P i∈N ρi (t) P . (6) F (t) = N · i∈N (ρi (t))2 By definition, F (t) ∈ [0, 1], and F (t) = 1 when all transmitters exhibit identical ρi (t). The long-term fairness objective is "Z # T
JF (π) = Eπ
F (t) dt .
(7)
0
3) Joint Optimization Problem: Combining the effective utilization and load-aware fairness, we formulate: max JU (π), JF (π) (8a) π
s.t. B. Problem Formulation
ui (t) ∈ {0, 1},
∀i ∈ N , ∀t ∈ [0, T ],
0 ≤ li (t) ≤ min{lmax , qi (t)},
This paper aims to: (i) maximize effective channel utilization by increasing successful receptions and avoiding collisioninduced waste; and (ii) maintain load-aware fairness so that each transmitter obtains transmission opportunities proportional to its load. However, higher channel utilization requires more concurrent transmissions to exploit spatial reuse, and the feasibility of such concurrency is strongly shaped by topology-induced interference and heterogeneous propagation delays among transmitters. Specifically, aggressively maximizing channel utilization may enable a subset of transmitters with favorable concurrent transmission capability to dominate channel access over time, thereby causing unfairness. Given the inherent conflict between these two objectives, we formulate a joint optimization problem to enhance effective channel utilization while ensuring load-aware fairness. 1) Effective Utilization: We define the effective utilization utility Ui (t) to quantify the effective channel utilization contributed by a single transmission scheduling action of transmitter i at time t, which captures both throughput and collision: Ui (t) = fi (t) · li (t)/lmax , (3) where fi (t) is the feedback for the transmission decision at time t, and lmax is the maximum allowable packet size. Given the per-action effective utilization utility Ui (t), the long-term effective utilization of policy π is defined as X X JU (π) = Eπ Ui tki , (4) i∈N tk i ≤T
(8b)
∀i ∈ N , ∀t ∈ [0, T ]. (8c)
Constraint (8b) restricts the binary transmission decision of each transmitter. Constraint (8c) ensures that the packet size does not exceed the maximum allowable size or the current queue length. IV. AT-MAC P ROTOCOL To address the joint utilization–fairness formulation in Section III, we propose AT-MAC, an asynchronous triggered MAC protocol that improves channel utilization while maintaining fairness, without requiring time synchronization. As illustrated in Fig. 2, AT-MAC comprises three components: (i) a triggered slot paradigm that defines the protocol’s fundamental interaction framework; (ii) a time-offset asynchronous MAPPO that enables coordinated channel access based on local observations to maximize effective utilization; and (iii) a load-aware fairness guard mechanism that suppresses transmission decisions violating the fairness tolerance. AT-MAC decouples fairness from RL objective to avoid the non-stationary learning signals and degraded policy generalization caused by multi-objective reward coupling in longdelay underwater acoustic environments. Within this architecture, AT-MAC leverages MAPPO to prioritize opportunistic utilization subject to the lightweight deterministic fairness constraint, enabling the transmitters to exploit the released channel opportunities resulting from fairness guard mechanism. Sections IV-A–IV-C detail each component, and Section IV-D describes the execution and training workflow.
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
5
Section IV-C Load-Aware Fairness Guard Mechanism
Section IV-B Time-offset Asynchronous MAPPO Training
Centralized Critic
State Value
State
Actor Execution
Time-offset Actor … Observation Encoding
1. Load-Unit Construction and Broadcast
2. Load-Unit Table Maintenance and Inference
Candidate Action
3. Tolerance-Based Fairness Guarding Action
Observation
Section IV-A Triggered Slot Paradigm
Interaction Framework
Environment
Available Channel Duration for Other Transmitters Sink
Data Pkt ACK Pkt Overhear One Slot Decision Time
Transmitter 1
…
Transmitter N
Asynchronous channel access & Triggered slot with variable duration
Fig. 2. Overview of the AT-MAC protocol. Built upon the triggered slot paradigm, AT-MAC employs a time-offset asynchronous MAPPO to achieve coordinated scheduling for improved channel utilization, and incorporates a load-aware fairness guard mechanism that corrects transmission decisions to maintain network-wide fairness.
𝑢𝑢 = 0
𝑢𝑢 = 0
Timer Startup
Timer Expiration
(a) u=0&f =0 to Sink
from Sink Timer Startup Timer Expiration Delay 𝜏𝜏 Pkt (size=𝑙𝑙) ACK to Sink from Sink Timer Startup Timer Expiration Timer Startup 𝑢𝑢 = 0 Triggered by ACK Arrival Delay 𝜏𝜏 Pkt (size=𝑙𝑙) ACK 𝑢𝑢 = 1 from SinkExpiration Timer Startup to Sink to Sink Timer from Sink Timer Startup Triggered by ACK Arrival Delay 𝜏𝜏 Pkt (size=𝑙𝑙) ACK 𝑢𝑢 = 1 to Sink from Sink Delay 𝜏𝜏 (size=𝑙𝑙) 𝑢𝑢 = 1 (b) Pkt uto= Sink1 & f = 1 fromACK Sink Timer Startup Triggered by ACKACK Arrival Delay 𝜏𝜏 Timer Pkt (size=𝑙𝑙) 𝑢𝑢 = 1 Startup Timer Expiration Delay 𝜏𝜏 ACK Pkt (size=𝑙𝑙) 𝑢𝑢 = 1 to Sink from Sink Timer Startup Triggered by ACK Arrival Current Slot Next SlotStartup Decision Time Timer Start Time Deadline Timer TimerTimer Expiration Sink from SinkACK Delay 𝜏𝜏 Pktto(size=𝑙𝑙) 𝑢𝑢 = 1 Current SlotDelayNext SlotStartup Decision Timer Deadline Timer Expiration 𝜏𝜏Timer ACK Pkt (size=𝑙𝑙)Time Timer Start Time 𝑢𝑢 = 1 u = 1 & f = −1 Timer(c) Startup Timer Expiration Current Slot Next Slot Decision Time Timer Start Time Timer Deadline
𝑢𝑢 = 0 𝑢𝑢 = 1
Current Slot
Next Slot
Decision Time
Timer Start Time
Timer Deadline
Fig. 3. Three state transitions of triggered slot paradigm: (a) no transmission; the transmitter remains idle until timer expiration and enters the next slot; (b) transmission with an ACK received before timer expiration, then enters the next slot; (c) transmission without an ACK, entering the next slot upon timer expiration. A. Triggered Slot Paradigm We propose a triggered slot paradigm that operates without clock synchronization, allowing transmitters to independently determine when and how to occupy the acoustic channel, and fully utilize the long propagation delay of acoustic signals to maximize channel utilization. At the initial stage of the network, transmitter i can make a decision ai (t) at time t, which marks the beginning of a triggered slot. The decision ai (t) is a tuple containing three elements, represented as: ai (t) = ui , τi , li , (9) where ui ∈ {0, 1} indicates whether transmitter i chooses to transmit at time t, τi and li are only valid when ui = 1,
representing that transmitter i sends a data packet of size li at time t + τi . To trade off the transmitter’s decision flexibility and action space complexity, we define the selectable range of τi as [0, τmax ], where τmax is given by: tx τmax = δltx + δack +2· max
dmax , c
(10)
which represents the worst-case round-trip delay for transmitting a maximum-size packet. This includes the transmission delays for a maximum-sized data packet (lmax ) and its corresponding ACK, plus the two-way propagation delay over the maximum range dmax at a sound speed of c. In the triggered slot paradigm, the transmission decision ai and subsequent feedback fi jointly affect the slot’s status transition. 1) Non-Transmission (ui = 0): As illustrated in Fig. 3??, if transmitter i selects non-transmission at time t, it starts a timer and remains in the Idle state until the timer is triggered. The timer deadline is set as prop tx ddli (t) = t + δltx + δack + 2δi,m + δ guard , max
(11)
prop where δi,m is the propagation delay estimated from the last successful communication between transmitter i and sink m (continuously updated to reflect location fluctuations), and δ guard is a guard interval that accounts for propagation uncertainty. Since no transmission is scheduled in this slot, the feedback is set to fi (t) = 0, and transmitter i enters the next slot to make a new decision when the timer expires at ddli (t). 2) Transmission (ui = 1): If transmitter i selects transmission at time t, it first stays in the Idle state for a duration of τi and then transmits a data packet of size li . Meanwhile, it initiates a timer with deadline ddli (t) as (11). After sending the data packet, transmitter i returns to the Idle state and waits for the corresponding ACK. Transmitter i may obtain either of the following two feedback:
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
6
𝜁𝑖 =
𝑠𝑡𝑖 , 𝑜𝑡𝑖 , 𝑎𝑡𝑖 , 𝑟𝑡 , 𝑠𝑡’𝑖
𝑇
Time-Aware Discounted Reward
𝑡=0
Time Offset Weight w (weight&timeliness)
Information 0
Offset to Decision Time
Hybrid Actor Network
wdata wack waction
TD-error
Critic
Asynchronous Execution Candidate Action Transmit or Not Delay Time
Concatenate
Observation Decision-Making Agent
Actor
Update
Time-offset Observation Encoding
Data Ack Action
Gradient
Time
State
Arrival Time
Centralized Training
Centralized Critic Network
Non-Uniform Interval Trajectory 𝜻
Packet Size
Load-Aware Fairness Guard Mechanism Transmit
Overhear Data/Ack
Other Interacting Agents
Historical Action
…
Decision Time
Time
Delay Time Packet Size
Environment with Triggered Slot
Fig. 4. The flowchart of the proposed time-offset asynchronous MAPPO. Agents execute asynchronously under triggered slot paradigm and generate candidate actions, while centralized training leverages global states to update the policy.
ACK Reception: if the ACK arrives before ddli (t), transmitter i cancels the timer, sets fi (t) = 1, and immediately proceeds to the next slot. • ACK Loss: if no ACK is received by ddli (t), transmitter i sets fi (t) = −1 and enters the next slot when the timer expires. The triggered slot transitions under transmission are depicted in Fig. 3??–??. As illustrated in (11), the timer’s deadline is positively correlated with the propagation delay, allowing transmitters closer to the sink node to make decisions more frequently. This effectively takes advantage of the propagation delay differences between each transmitter and the sink node. Moreover, the triggered slot paradigm eliminates the limitation of synchronized slot with fixed duration to allow transmitters to freely choose when to transmit data, thereby improving the flexibility of channel utilization. •
B. Time-offset Asynchronous MAPPO To fully exploit our proposed triggered slot paradigm and maximize the long-term effective utilization objective JU (π) in (4), we leverage multi-agent reinforcement learning (MARL) to coordinate cooperative decision-making among decentralized transmitters. However, the introduction of the triggered slot breaks the conventional MARL assumption of synchronous decision-making across agents, creating a fundamental mismatch between protocol design and learning framework. To accommodate asynchronous decision-making enabled by the triggered slot, we model the multi-node cooperative channel access problem in UANs as a Time-offset Decentralized Partially Observable Markov Decision Process (To-Dec-POMDP), and develop a time-offset asynchronous MAPPO algorithm to solve it. The flowchart of the proposed time-offset asynchronous MAPPO is illustrated in Fig. 4. To-Dec-POMDP can be represented as a tuple < S, O, A, P, R, N, γ >, where s(t) ∈ S is the environment state at time t, oi (t) ∈ O is the local observation of agent i at time t. Agent i selects action ai (t) ∈ A based on observation
oti . The environment transits to the next state s(t′ ) according to the transition probability P and returns a reward r = R(s, ai ). Async Hybrid Action Space A. All transmitters in our proposed multi-node network share the same action space to select actions asynchronously, thus Ai = A. As described in the triggered slot, the action of a transmitter is defined as a tuple consisting of three elements: whether to transmit, the delay before transmission, and the data packet size. Accordingly, the action space is formulated as: A = {0, 1} × [0, τmax ] × [0, min{lmax , qi (t)}].
(12)
act At any given time ti , agent i selects a hybrid action ai = ui , τi , li , which is recorded as tact i , ai . Transmitters act asynchronously; yet the long propagation delay couples their actions, and the resulting joint behavior determines the environment state and reward. Time-offset Observation Space O. The global environment state s(t) is the union of all agent observations, denoted as s(t) = {o1 (t), o2 (t), · · · , oN (t)}. However, due to the long propagation delay and half-duplex operation, each transmitter can only obtain partial and delayed information about the network status, leading to a partial observation. Hence, we construct the observation oi (t) of agent i at time t from three event histories in the local channel:
oi (t) = Hiact ∪ Hidata ∪ Hiack ,
(13)
where Hiact , Hidata , and Hiack are the local histories of agent i’s own actions, overheard data, and overheard ACK, respectively. Such historical events implicitly contain the spatio-temporal topology and connectivity information of the network, which can help intelligent transmitters infer the network status and other transmitters’ behavior. Each history keeps at most L×N latest events, where N is the number of transmitters and L is a tunable history length controlling the trade-off between observation richness and complexity. Specifically, the three types of events are recorded as follows: (1) Hiact : (tact i , ai , fi ), indicating that transmitter i takes action ai at time tact and receives feedback fi ; (2) Hidata : i
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
7
, j, l), indicating that transmitter i receives a data packet (tdata i sent by transmitter j ∈ N with packet size l at time tdata ; (3) i Hiack : (tack i , j), indicating that transmitter i receives an ACK corresponding to a packet from transmitter j at time tack i . Time-offset Observation Encoding. The time-offset mechanism is proposed to provide effective observations for agents at any given time. Since the time in the observation is represented as the absolute value of the network runtime, it leads to a non-uniform and unbounded observation space, which is not conducive to transmission strategy training. To address this issue, time offset weight is defined using linear decay. At any given observation time t, each timestamp ts in the observation is replaced by its corresponding time-offset weights w(t, ts ), computed as |t − ts | s , (14) w(t, t ) = max 0, 1 − L · τmax where ts denotes a timestamp recorded in one of the observation histories, i.e.,tact in Hiact , tdata in Hidata , or tack in Hiack . The time offset weight w(t, ts ) ∈ [0, 1] preserves the timeliness of observations while yielding a consistent observation representation for decisions made at arbitrary asynchronous epochs. Time-offset Reward Function R. The reward function evaluates the executed action and provides guidance for future decisions. In our paper, an individual reward is given to each agent at each asynchronous triggered slot, instead of team reward. Since the objective of agents is to maximize network throughput and transmission success rate, the reward function is defined based on the executed actions and the feedback received. The reward function r of action ai = {ui , τi , li } at time tact is defined as: i 0, ui = 0, li τmax ri = α lmax t − tact , ui = 1 and fi = 1, (15) i τmax , ui = 1 and fi = −1, − t − tact i
We instantiate the above To-Dec-POMDP with a MAPPObased centralized training and decentralized execution (CTDE) actor–critic framework. Each transmitter i executes a decentralized actor πθi (ai | oi ) to sample a hybrid action ai from its local observation oi (t) at each decision epoch, while a centralized critic is trained with access to the global state s(t) to stabilize learning under partial observability and coupled long-delay interactions. During asynchronous execution, the actor outputs a candidate action, which is applied only if approved by the load-aware fairness guard (Section IV-C). Compared with standard MAPPO, we incorporate two key adaptations to improve stability and efficiency under the asynchronous triggered slot paradigm: the time-offset observation encoding in (14) and the time-aware discounted reward formulation in (16)–(17). These adaptations improve the consistency of observation representation and the accuracy of credit assignment across asynchronous decision epochs. We refer to the resulting method as time-offset asynchronous MAPPO. The corresponding training and execution workflow is further adapted to this asynchronous setting, as covered in Section IV-D.
where t − tact is the time offset of the last action time relative i to the current time, and α is a reward function coefficient to adjust the emphasis of agents on throughput and success rate. The optimization goal of AT-MAC is to maximize the cumulative reward throughout the network lifetime. Hence, we define the time-aware discounted long-term reward R of agents with non-uniform interaction intervals as: X k Ri = γ ∆ti /τmax · ri (tki ), (16)
bi (t) = ⟨Biavail (t), Bideliv (t)⟩.
tk+1 ≤T i
where ∆tki = tk+1 − tki is the elapsed time between two i consecutive decision epochs of transmitter i, ri (tki ) is the reward corresponding to the action at time tki , T is the network lifetime. The discount factor γ ∈ (0, 1) is applied with a time-normalized exponent to properly handle non-uniform interaction intervals, using τmax as the normalization scale. Finally, we define the network-level objective by aggregating individual returns as X R= Ri . (17) i∈N
C. Load-Aware Fairness Guard Mechanism To pursue the long-term load-aware fairness objective JF (π) in (7) under decentralized execution, we design a load-aware fairness guard mechanism that infers network-wide fairness from local overhearing and suppresses transmissions that would violate the prescribed tolerance. The flowchart of the load-aware fairness guard mechanism is illustrated in Fig. 5. Each transmitter i infers the sentto-available ratios of other transmitters by leveraging the broadcast nature of the network. The load-aware fairness guard mechanism facilitates the convergence of these ratios among transmitters, thereby improving the network-wide load-aware fairness. The complete flow is as follows: 1) Load Unit Construction and Broadcast: At each decision time t, transmitter i forms a load unit (18)
Biavail (t) denotes the available data amount over the observation horizon h, and Bideliv (t) denotes the successfully delivered data amount over the same horizon, which are calculated according to (5), as: Z t avail Bi (t) = qi (t − h) + λi (τ ) dτ, t−h X (19) Bideliv (t) = I{fi (tki ) = 1} · li (tki ), tk i ∈[t−h, t]
where qi (t − h) is the queue length at the beginning of the observation horizon, λi (τ ) is the data arrival rate at time τ , and tki is the k-th decision epoch of transmitter i. The load unit bi (t) is disseminated through two phases: (i) Data Broadcast Phase: During data transmission, transmitter i piggybacks its latest bi (t) on the data packet. Since acoustic communication is broadcast, nearby transmitters may overhear this piggybacked load unit even when the data packet is not destined for them;
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
Load Unit Construction and Broadcast Phase 1: Data Broadcast Sink Transmitter i Load Unit of Transmitter i
Attached
Transmitter j
Phase 2: ACK Broadcast
Attached
Load Unit of Transmitter i
Load Unit Table Maintenance and Inference Load Unit Table Source: Transmitter N … Source: Transmitter 1 Arrival Load Time&Phase Unit …
estimated sent-to-available ratio then follows as ρ̂j (t) =
B̂jdeliv (t) B̂javail (t)
, ∀j ∈ N \ {i},
(23)
Finally, transmitter i derives the optimal fairness reference ratio ρ̂⋆ (t) based on its locally observed sent-to-available ratio ρi (t) and the estimated ratios ρ̂j (t) of other transmitters: 1 X ρ̂⋆ (t) = ρ̂j (t) + ρi (t) , (24) N
Inference Load Fairness Status Actual
Sink
8
Optimal
j∈N \{i}
Transmitter i
Transmitter j
Tolerance-Based Fairness Guarding Candidate Action
Executed Action
Fig. 5. The flowchart of the load-aware fairness guard mechanism. Each transmitter infers the network-wide load fairness status from local observations, and suppresses transmission decisions from time-offset asynchronous MAPPO that would violate the fairness tolerance.
(ii) ACK Broadcast Phase: When a data packet is successfully received, the sink relays the parsed load unit in the ACK. In the one-hop network, the sink is within the communication range of all transmitters. Therefore, the ACK phase provides network-wide dissemination, albeit with additional relay latency. 2) Load Unit Table Maintenance and Inference: Each transmitter i maintains a load unit table TiTU = {Bi,1 , Bi,2 , . . . , Bi,N },
(20)
where Bi,j stores the load units originated from any other transmitter j. Each stored record takes the form (tarr , b, ph), where tarr is the reception time at transmitter i, b is the load unit content, and ph ∈ {D, A} indicates whether the unit is obtained from the data (D) or ACK (A) broadcast phase. Due to propagation delay and half-duplex collisions, TiTU can be incomplete and delayed. To partially remove phasedependent offset, transmitter i calibrates each record timestamp to an approximate generation time: ( tarr − 2dmax /c, ph = A, t̃ = arr (21) t − dmax /c, ph = D, where dmax is the maximum one-hop distance to the sink. Given the calibrated history in Bi,j , transmitter i extrapolates the current load statistics of any other transmitter j at decision time t. Let [t̃jlast , Bjavail (tjlast ), Bjdeliv (tjlast )] denote the last calibrated record for transmitter j. We approximate the current Bjavail (t) and Bjdeliv (t) as follows: B̂javail (t) = Bjavail (tjlast ) + vjavail (t) · t − t̃j , B̂jdeliv (t) = Bjdeliv (tjlast ) + vjdeliv (t) · t − t̃jlast , last
(22)
where vjavail (t) and vjdeliv (t) are estimated change rates obtained via weighted piecewise linear extrapolation [40]. The
which corresponds to the ideal condition that maximizes network-wide load-aware fairness F (t) defined in (6). 3) Tolerance-Based Fairness Guarding: Let ūi (t) ∈ {0, 1} denote the candidate transmission decision suggested by the underlying time-offset asynchronous MAPPO. The fairness guard post-processes ūi (t) to produce the executed action: ( 0, ūi (t) = 1 and ρ̂i (t) > (1 + ϵ)ρ̂⋆ (t), ui (t) = (25) ūi (t), otherwise, where ϵ ≥ 0 is a hyperparameter controlling the tolerance for fairness deviation, with smaller ϵ imposing stricter fairness requirements but potentially limiting channel utilization. D. Workflow of AT-MAC AT-MAC follows a CTDE workflow. Specifically, a centralized simulation or digital twin controller is deployed at the sink node to collect the agent decisions and corresponding environment state, enabling centralized training of all agents’ strategies and safe policy updates under significant environment changes [41]. However, the agents must rely on partial observations during execution. The workflow of AT-MAC is detailed below. 1) Decentralized Action Selection: Let the decentralized actor of agent i be denoted as πθi (ai | oi ) with policy parameters θi . Given oi (t), the actor produces a candidate hybrid action āi (t) = (ūi (t), τ̄i (t), ¯li (t)). Since the action contains a discrete transmission indicator and continuous control variables, we apply exploration noise only to the continuous components: (u)
ūi (t) ∼ πθi (· | oi (t)), (τ̄i (t), ¯li (t)) ∼ N(µθ oi (t) , σ 2 ). i
(26)
t
where µθi (·) denotes the actor output for the continuous variables. The exploration variance decays over training as σt2 = σ02 e−βt . The candidate action āi (t) is post-processed by the fairness guard in (25) to obtain the executed action. 2) Separate Memory Buffer: Each agent interacts with the environment, generating trajectory segments at asynchronous time points t: ζi = {(oi (t), ai (t), r(t), oi (t′ ))}Tt=0 .
(27)
Due to asynchronous decision-making, agents’ trajectories are misaligned and may have various lengths. Therefore, trajectories from multiple agents cannot be aggregated into a shared memory buffer. To preserve temporally ordered, agentconsistent rollouts, we maintain a separate memory buffer for
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
9
Algorithm 1 Workflow of AT-MAC each agent’s actors {πθi }N i=1 with random weights θi and centralized critic Vϕ with weights ϕ; 2: Initialize replay buffers {Di }N i=1 ← ∅, batch size B. 3: for episode = 1 to M do 4: ▷ Asynchronous Decentralized Execution Phase 5: for each agent i ∈ {1, . . . , N } in parallel do 6: Reset environment, get initial observation oi (t) and global state s(t). 7: while t ≤ Tmax do 8: Sample action āi (t) according to (26); 9: Update load unit table TiTU using received packets; 10: Correct āi (t) → ai (t) via fairness guard (25); 11: Execute ai (t), receive reward r(t) and oi (t′ ), s(t′ ); 12: Store transition (s(t), oi (t), ai (t), r(t), s(t′ )) in Di ; 13: oi (t) ← oi (t′ ), s(t) ← s(t′ ), t ← t′ . 14: end while 15: end for 16: ▷ Centralized Policy Optimization Phase 17: for each agent i ∈ {1, . . . , N } when |Di | ≥ B do 18: Sample mini-batch {(s, o, a, r, s′ )} ∼ Di ; 19: Update ϕ by minimizing TD error as (29); 20: Compute advantage  according to (31); 21: Update θi via gradient ascent as (32); 22: Reset buffer: Di ← ∅. 23: end for 24: end for 1: Initialize
(a) Danjiang Lake, Nanyang, China
(b) Jiaozhou Bay, Qingdao, China
(c) Songhua Lake, Jilin, China
Fig. 6. Field trials for collecting real-world data, including: (a) Danjiang Lake trial in October 2024, (b) Jiaozhou Bay trial in March 2025, and (c) Songhua Lake trial in October 2025.
where ρ(θi ) = πθi (ait |oit )/πθold (ait |oit ) is the importance sampling ratio. The clipping range ϵ constrains policy updates to prevent destructive large steps. The trained optimal policy parameters are encapsulated for decentralized execution. Each agent decides transmission based solely on local partial observations without additional information exchange. Therefore, AT-MAC’s collaborative strategy does not incur additional system communication overhead, requiring only the extra lightweight information necessary for the fairness guard mechanism. V. T RACE -BASED VALIDATION AND H ARDWARE F EASIBILITY A NALYSIS
each agent, which is essential for correctly computing timedependent return and advantage estimates (e.g., TD-based or GAE-style) under asynchronous decision epochs. Each agent’s trajectory is aggregated with global state s(t) into its memory buffer Di : Di ← Di ∪ {(s(t), oi (t), ai (t), r(t), s(t′ ))}.
(28)
3) Centralized Policy Optimization: An asynchronous centralized policy optimization strategy is adopted in AT-MAC. Specifically, centralized policy training is initiated as soon as each agent’s memory buffer accumulates a sufficient number of trajectories. A centralized critic Vϕ (s) is trained by minimizing the time-aware TD error: i h 2 (29) Lcritic (ϕ) = E(s,o,a,r,s′ )∼D (y − Vϕ (s)) , y = r + γ ∆t/τmax Vϕ (s′ ),
(30)
where ∆t is the time offset between the current and next decision epochs. The critic’s value estimates guide policy updates through the advantage function: Â = y − Vϕ (s).
To evaluate the effectiveness of AT-MAC in real-world, this section conducts trace-based convergence validation using actual field trial data. Furthermore, AT-MAC’s computational feasibility and energy consumption are evaluated on the embedded platform deployed in field trials.
(31)
Actors update their policies by maximizing the clipped surrogate objective: " # min ρ(θi )Ât , Lactor (θi ) = Et (32) clip ρ(θi ), 1 − ϵ, 1 + ϵ Ât
A. Overview of Field Data Traces and Hardware Platform As illustrated in Fig. 6, we have conducted several multinode field trials across diverse environments, ranging from shallow lakes to deep-sea scenarios. These trials provide realworld data, including node connectivity under various topologies, link signal-to-noise ratios, and sound speed profiles. The same underwater node unit was utilized across these three trials, comprising: (i) a transducer for underwater electroacoustic conversion, (ii) an acoustic modem for baseband signal processing, and (iii) an embedded protocol-stack board, as shown in Fig. 7. Tailored to the transducer’s characteristics, the acoustic modem employs orthogonal frequency-division multiplexing (OFDM) combined with spread spectrum modulation to enable efficient underwater communication. To ensure reliable physical layer communication, we set the transmission power to the maximum value of 64 W, which can achieve a stable maximum communication range of up to 5.5 km under typical underwater acoustic channel conditions in our field trials. The capabilities of the underwater node unit have been validated in multiple field trials, with specific parameters listed in Table II.
JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2021
10
TABLE III. Training Parameters
(a) Underwater node unit
(b) Shore-based test
Parameters Discount Factor GAE Parameter Clip Range Entropy Coeff. Opt. Epochs Reward Coeff. Fairness Horizon
Values 0.95 0.95 0.2 0.01 10 2 100 × N s
Parameters Actor Learning Rate Critic Learning Rate Batch Size Update Horizon Episode Duration Observation History Length Fairness Guard Tolerance
Values 1 × 10−5 1 × 10−4 128 4096 10,000 s 5 0.3
Fig. 7. Hardware implementation of the underwater node unit and shore-based test scenario. Parameter Effective Transmission Rate Maximum Packet Size Preamble Delay Operating Frequency Maximum Power Stable Maximum Communication Range
Value 1000 bps 200 Bytes 0.3 s 10 kHz - 20 kHz 64 W 5500 m
B. Convergence Validation on Real-Trial Trace 1) Scenario Settings: To validate AT-MAC’s real-world effectiveness, we reconstruct trace-driven simulation environments from three field trials across Danjiang Lake, Jiaozhou Bay, and Songhua Lake, each featuring a five-node network configuration. The nodes were deployed on moored vessels, with their topology and measured connectivity illustrated in Fig. 6. We employ Aqua-Sim-FG to replicate the trial’s network environment, including topology, link connectivity, and communication parameters [42]. Aqua-Sim-FG features a high-fidelity physical layer module that accurately models underwater acoustic communication dynamics, including distance-dependent attenuation, ambient noise, and spatiotemporal packet collisions. The measured sound speed profile is incorporated into the Bellhop model of Aqua-Sim-FG to derive the channel characteristics, ensuring that the simulated environment mirrors the real-world conditions. Data generation follows a Poisson process with rate λpkt , which denotes the average arrival rate of maximum-sized packets, while rare stochastic bursts (with probability 1 × 10−4 ) temporarily amplify the arrival rate by 200% for 1,000 s. 2) Training Parameters: The observation history length L is set to 5, and the reward function coefficient α in (15) is set to 2. The fairness horizon h in (5) is set to 100 × N seconds, and the fairness guard tolerance ϵ in (25) is set to 0.3. The chosen parameters are the result of preliminary grid search tuning, which demonstrated robust performance across different scenarios. Each agent’s hybrid actor network comprises two fully connected (FC) layers with 256 hidden units and Tanh activation, followed by an output layer composed of three parallel FC layers corresponding to the three elements of the hybrid action. The critic network has two FC layers with 256 hidden units and a single-unit output layer. The scenario is trained for 10,000 episodes, with the key training parameters summarized in Table III.