Control Protocol Design Research Articles

Practical Heterogeneous Pairing-Free Signcryption Scheme for Internet of Medical Things Communications with Edge Computing

Internet of Medical Things technology is becoming popular because of recent advancements in sensor node technology. A sensor node is characterized as a resource-limited device. This characteristic has led to several security challenges that underpin the necessity for cryptosystems that are both more effective and robust in protecting vital data. We propose an efficient and secure access control scheme where the transmitting node and receiving node are in certificateless cryptography and identity-based cryptographic environment, respectively. The design of the access control protocol for use in Internet of Medical Things with mobile edge computing is based on a heterogeneous signcryption scheme, and it is supported by 5G network. Random oracle model was used to provide the security proof of the proposed scheme. The proposed heterogeneous access control scheme provides public verifiability and ciphertext authentication properties. In addition, we have compared the efficiency of our access control scheme with other related existing schemes, and our scheme has low energy consumption and computation cost.

Observer-Based Prescribed Time Bipartite Formation-Containment Tracking Control for Layered Multi-agent Systems under Signed Digraphs

This paper investigatesthe prescribedtime bipartite formation-containment tracking control for the layered multi-agent systems (MASs) under the signed digraphsbased on the observer. In this system, the leader layer track the trajectory of the tracking leader and engages in a purely cooperative relationship, while the follower layer engages in both cooperation and competition. Moreover, there exists a restraining relationship between the leader layer and corresponding follower layer. By introducing a time-varying function, a distributed prescribedtime observer is designed for the leader layer to accuratelyestimation of the tracking leader’s state within the prescribed time. A novel prescribedtime distributed control protocol is designed to drive leader layer to approach the tracking leader and form a formation within a prescribed time, while the follower layer simultaneously converges into the convex hulls formed by the states and the sign-inverted states of the leader layer. By using graph theory and Lyapunov stability theory, the validity of the designed control protocol is proved in detail, and the corresponding sufficient conditions for the prescribed time stability of the MASs are derived. Finally, a simulation example confirms the effectiveness of the analytical results.

Optimal synchronization with [formula omitted]-gain performance: An adaptive dynamic programming approach

This paper studies an optimal synchronous control protocol design for nonlinear multi-agent systems under partially known dynamics and uncertain external disturbance. Under some mild assumptions, Hamilton–Jacobi–Isaacs equation is derived by the performance index function and system dynamics, which serves as an equivalent formulation. Distributed policy iteration adaptive dynamic programming is developed to obtain the numerical solution to the Hamilton–Jacobi–Isaacs equation. Three theoretical results are given about the proposed algorithm. First, the iterative variables is proved to converge to the solution to Hamilton–Jacobi–Isaacs equation. Second, the L2-gain performance of the closed loop system is achieved. As a special case, the origin of the nominal system is asymptotically stable. Third, the obtained control protocol constitutes an Nash equilibrium solution. Neural network-based implementation is designed following the main results. Finally, two numerical examples are provided to verify the effectiveness of the proposed method.

SSH-MAC: Service-Aware and Scheduling-Based Media Access Control Protocol in Underwater Acoustic Sensor Network

In the framework of the space-air-ground-ocean integrated network, the underwater acoustic sensor network (UASN) plays a pivotal role. The design of media access control (MAC) protocols is essential for the UASN to ensure efficient and reliable data transmission. From the perspective of differentiated services in the UASN, a service-aware and scheduling-based hybrid MAC protocol, named the SSH-MAC protocol, is proposed in this paper. In the SSH-MAC protocol, the centralized scheduling strategy is adopted by sensor nodes with environmental monitoring service, and the distributed scheduling strategy is adopted by sensor nodes with target detection service. Considering the time-varying data generation rate of sensor nodes, the sink node will switch the scheduling mode of sensor nodes based on the specific control packet and adjust the resource allocation ratio between centralized scheduling and distributed scheduling. Simulation results show that the performance of the SSH-MAC protocol, in terms of utilization, end-to-end delay, packet delivery ratio, energy consumption, and payload efficiency, is good.

Output Reachable Set-Based Leader-Following Consensus of Positive Agents Over Switching Networks.

This work addresses the output reachable set-based leader-following consensus problem, focusing on a group of positive agents over directed dwell-time switching networks. Two types of non-negative disturbances, namely, 1) L1 -norm bounded disturbances and 2) L∞,1 -norm bounded disturbances are studied. Meanwhile, a class of directed dwell-time switching networks for modeling the communication protocol of positive agents is investigated. To deal with the presence of disturbances, an output-feedback control protocol is developed to achieve a robust consensus with positivity preserved based on the output reachable set. By exploiting the positive characteristics, switched linear copositive Lyapunov functions are adopted to establish output reachable set-based consensus conditions. These conditions can facilitate the control protocol design by solving a bilinear programming problem, and also generate hyperpyramidal regions to confine the output consensus error. A particle swarm optimization-based (PSO-based) algorithm is applied to compute the controller gains and optimize the volume of the hyperpyramids. The proposed methods are verified by the presented numerical case studies.

Multiple dynamic targets enclosing control for a class of nonlinear uncertain multiagent systems

The multiple dynamic targets enclosing control protocol is proposed in this paper for a class of nonlinear uncertain multiagent systems. To accomplish the mission of hunting multiple targets with double-integral nonlinear dynamics, a distributed estimator is established firstly for each agent by employing the signum function, leading to an estimation of the average position of multiple targets. Specifically, only partial information about the dynamic targets is utilized to construct the enclosing formation reference beacon. Furthermore, due to the existence of the system uncertainties, it is a challenging task to design the enclosing controller. To overcome this difficulty, an augmented system is constructed to compensate for the effect caused by the uncertainties, which is introduced afterwards into the control protocol design along with comprehensive theoretical analysis. Sufficient conditions are derived and proved under Lyapunov stability criterion to ensure the closed-loop stability of nonlinear multiagent systems. The effectiveness of the proposed control scheme is finally verified through the numerical simulations. More precisely, by appropriately picking control parameters α and β based on Lemma 3.1, the designed formation reference beacon estimator is validated by achieving convergence of errors between the actual state and estimated states to zero. Meanwhile, the feasibility of the proposed enclosing control protocol is demonstrated simultaneously as it enables the regulation of enclosing errors using a self-designed parameter γ0. Additionally, the sensitivity analysis of the control parameters is presented, which indicates that the proposed reference beacon estimator remains robust to the variation of its control parameters, while larger values for the control parameters in the designed controller result in faster error convergence rates.

Cooperative Containment Control for Multiagent Systems With Reduced-Order Protocols.

This article addresses the problem of containment control for continuous-time multiagent systems. A containment error is first given to show the coordination between the outputs of leaders and followers. Then, an observer is designed based on the neighbor observable convex hull state. Under the assumption that the designed reduced-order observer is subject to external disturbances, a reduced-order protocol is designed to realize the containment coordination. In order to ensure the designed control protocol can achieve the effect of the main theories, a corresponding Sylvester equation is given with a novel approach which proves that the Sylvester equation is solvable. Finally, a numerical example is given to verify the validity of the main results.

A State-Interactive MAC Layer TDMA Protocol Based on Smart Antennas

Mobile ad hoc networks are self-organizing networks that do not rely on fixed infrastructure. Smart antennas employ advanced beamforming technology, enabling ultra-long-range directional transmission in wireless networks, which leads to lower power consumption and better utilization of spatial resources. The media access control (MAC) protocol design using smart antennas can lead to efficient usage of channel resources. However, during ultra-long-distance transmissions, there may be significant transport delays. In addition, when using the time division multiple access (TDMA) schemes, it can be difficult to manage conflicts arising from adjacent time slot advancement caused by latency compensation in ultra-long-range propagation. Directional transmission and reception can also cause interference between links that reuse the same time slot. This paper proposes a new distributed dynamic TDMA protocol called State Interaction-based Slot Allocation Protocol (SISAP) to address these issues. This protocol is based on slot states and includes TDMA frame structure, slot allocation process, interference self-avoidance strategy, and slot allocation algorithms. According to the simulation results, the MAC layer design scheme suggested in this paper can achieve ultra-long-distance transmission without conflicts. Additionally, it can reduce the interference between links while space multiplexing. Furthermore, the system exhibits remarkable performance in various network aspects, such as throughput and link delay.

Multi-group formation tracking fault-tolerant control for matched nonlinear multi-agent systems with switching topologies and unknown control inputs

The multi-group formation fault-tolerant control problem for high-order nonlinear multi-agent systems with parameter uncertainties, unknown external disturbances, switching topologies, and non-cooperative targets are investigated in this paper. A fully distributed formation tracking control protocol is proposed based on the total interaction information between subgroups being zero and the neighboring relative information of multi-agent in the subgroups. In addition, an algorithm is proposed to design the parameters of time-varying formation tracking control protocol. At the same time, it does not require knowing the bounds of actuator faults, parameter uncertainties, control inputs of the leaders, and unknown disturbances. Then, it is proved that the designed control protocols can make the high-order nonlinear multi-agent systems accomplish the desired time-varying multi-group formation, and the errors are uniformly asymptotically bounded stable. Finally, the effectiveness of the designed control protocol is demonstrated by simulation examples of three subgroups.

Time-varying formation of uncertain nonlinear multi-agent systems via adaptive feedback control approach with event-triggered impulsive estimator

The time-varying formation problem under directed topology is investigated for the uncertain nonlinear multi-agent systems (MASs) via the neural networks-based adaptive feedback control (NNAFC). Compared with the simple adaptive control, the designed control protocol consists of two parts: NNAFC and the event-triggered impulsive estimator. To save communication costs, communications among followers are only carried out at discrete instants determined by the event-triggered impulsive rule. Two kinds of estimators and controllers are designed for two cases with or without communication delay, respectively. Further, NNAFC can be further improved to eliminate errors due to uncertain function approximation for some special cases. Utilizing the Lyapunov stability theory and impulsive control theory, we obtain some sufficient conditions to implement time-varying formation task. Finally, three examples are given to show the feasibility of theoretical analysis.

Adaptive practical predefined-time leader-follower consensus for second-order multiagent systems with uncertain disturbances

This article investigates the predefined-time consensus tracking problem for second-order multiagent systems (MASs) with uncertain disturbances. First, a distributed estimator is proposed to estimate the leader's states within predefined time. Then, a novel sliding mode surface is constructed and an adaptive sliding mode observer is established to estimate the uncertain disturbances within predefined time. Subsequently, by employing the predefined-time sliding surface and the adaptive technique, a novel adaptive sliding mode consensus protocol is proposed to overcome the singularity problem and achieve practical predefined-time convergence of the tracking errors to the neighborhood of origin. The Lyapunov approach is employed to prove the practical predefined-time stability of second-order MAS and the settling time is only determined by a single parameter, which facilitates the control protocol design according to the convergence time requirement. Simulation results illustrate the effectiveness of the proposed control scheme.

Interleaved Periodic Event-Triggered Communications-Based Distributed Formation Control for Cooperative Unmanned Surface Vessels.

This article addresses the distributed formation control issue of cooperative unmanned surface vessels (USVs) under interleaved periodic event-triggered communications. First, an adaptive event-based control protocol is designed, where the event-based neural network (NN) scheme is developed to compensate for uncertain model dynamics. Upon the designed control protocol, an interleaved periodic event-triggered mechanism (IPETM) is subsequently proposed to achieve the communication objective. Unlike the common continuous event-triggered methods and periodic event-triggered methods, in which multiple nodes are allowed to trigger their events at the same time, the proposed IPETM ensures that USVs detect their events at different times to avoid the simultaneous event triggering of different nodes. By this virtue, traffic jamming in common wireless environments can be prevented, such that potential communication delays and faults are naturally avoided. In addition, the event detecting instants of the presented IPETM are also discrete and periodic, such that it can be performed under low-computational frequencies. Through Lyapunov-based analysis, it is verified that all closed-loop signals can converge to an arbitrary small compact set with exponential convergence rates. Simulation results demonstrate the effectiveness and superiority of the proposed control scheme.

Quantum control by effective counterdiabatic driving

We review a scheme for the systematic design of quantum control protocols based on shortcuts to adiabaticity in few-level quantum systems. The adiabatic dynamics is accelerated by introducing high-frequency modulations in the control Hamiltonian, which mimic a time-dependent counterdiabatic correction. We present a number of applications for the high-fidelity realization of quantum state transfers and quantum gates based on effective counterdiabatic driving, in platforms ranging from superconducting circuits to Rydberg atoms.

Multilabel SegSRGAN-A framework for parcellation and morphometry of preterm brain in MRI.

Magnetic resonance imaging (MRI) is a powerful tool for observing and assessing the properties of brain tissue and structures. In particular, in the context of neonatal care, MR images can be used to analyze neurodevelopmental problems that may arise in premature newborns. However, the intrinsic properties of newborn MR images, combined with the high variability of MR acquisition in a clinical setting, result in complex and heterogeneous images. Segmentation methods dedicated to the processing of clinical data are essential for obtaining relevant biomarkers. In this context, the design of quality control protocols for the associated segmentation is a cornerstone for guaranteeing the accuracy and usefulness of these inferred biomarkers. In recent work, we have proposed a new method, SegSRGAN, designed for super-resolution reconstruction and segmentation of specific brain structures. In this article, we first propose an extension of SegSRGAN from binary segmentation to multi-label segmentation, leading then to a partitioning of an MR image into several labels, each corresponding to a specific brain tissue/area. Secondly, we propose a segmentation quality control protocol designed to assess the performance of the proposed method with regard to this specific parcellation task in neonatal MR imaging. In particular, we combine scores derived from expert analysis, morphometric measurements and topological properties of the structures studied. This segmentation quality control can enable clinicians to select reliable segmentations for clinical analysis, starting with correlations between perinatal risk factors, regional volumes and specific dimensions of cognitive development. Based on this protocol, we are investigating the strengths and weaknesses of SegSRGAN and its potential suitability for clinical research in the context of morphometric analysis of brain structure in preterm infants, and to potentially design new biomarkers of neurodevelopment. The proposed study focuses on MR images from the EPIRMEX dataset, collected as part of a national cohort study. In particular, this work represents a first step towards the design of 3-dimensional neonatal brain morphometry based on segmentation. The (free and open-source) code of multilabel SegSRGAN is publicly available at the following URL: https://doi.org/10.5281/zenodo.12659424.

Variable rate power-controlled batch-based channel assignment for enhanced throughput in cognitive radio networks

The number of users in wireless networks, such as mobile and Internet-of-Things networks, is witnessing a tremendous increase, turning the available frequency spectrum into a scarce resource that needs to be efficiently utilized. Cognitive radio (CR) is a key technology for achieving spectrum efficiency by continuously sensing and detecting frequency bands that are not used by licensed primary users (PU) and allowing unlicensed secondary users (SUs) to use them. One of the main challenges in CR is the design of a medium access control (MAC) protocol that ensures efficient spectrum sharing by SUs without disrupting the connectivity of PUs. To achieve that, many of the existing MAC protocols in the literature allow multiple SU transmissions to proceed simultaneously by performing batch-based power control decisions to limit mutual interference between them. Interestingly, the majority of such protocols are demand-rate unaware; i.e., all SUs are granted the same data rate, regardless of their data rate demand. In this paper, we highlight the severe drawbacks of demand-rate unawareness and propose the rate-aware power-controlled channel assignment (RPCCA) MAC protocol, which performs batch-based simultaneous channel assignment decisions to competing SUs along with power control to limit mutual interference, while taking into account the variable demand-rate across SUs. Simulation experiments have demonstrated that the RPCCA protocol offers substantial performance improvements over existing demand-rate unaware CR-based MAC protocols.

Extended dissipative synchronization for discrete complex dynamical networks with random successive coupling delays through PID control

AbstractThis work investigates the synchronization problem for a kind of discrete complex dynamical networks (CDNs) including nonlinearities, exogenous disturbance, and successive time‐varying random coupling delays. Also, the stochastic variable obeying Bernoulli distribution is exploited to describe the randomness of the coupling delays. The main target of this work is to devise a novel PID controller ensuring that the proposed network is asymptotically synchronized in mean‐square and also meets a specified extended dissipative performance. With the aid of Kronecker product properties, Lyapunov stability theory and free weighting matrix technique, less conservative sufficient criteria is obtained in the form of Linear matrix inequalities (LMIs) to affirm the synchronization of the considered network. At last, the efficacy and potency of the designed control protocol are verified through two examples including the Chen system.

Control costs of long-range interacting multi-agent systems with noise perturbation

As an important stage of collective dynamics, consensus is widespread in real-world moving groups, where one of the long-term challenges is to optimize the control costs of reaching consensus. However, current research on the consensus of multi-agents systems (MASs) usually only considers direct interactions between agents and ignores long-range interactions (LRIs), which may influence or even determine the collective behavior of MASs. In our paper, a basic framework is developed for analyzing the control costs for reaching consensus of MASs with LRIs and noise perturbation. The theoretical estimate of the control cost from a time and energy perspective will depend on the network diameter, control parameters, noise strength, and network size, and LRIs can promote MASs to reach consensus. We provide some numerical simulations to test our theory. Both theoretical and numerical analyses reveal that there is a trade-off between time and energy costs regardless of whether MASs have LRIs or not, i.e., adjusting control parameters to reduce time cost inevitably leads to an increase in energy cost. Our results provide a new option for controlling MASs: designing control protocols based on LRIs which in some cases have superior performance to typical controllers.

Distributed Average Consensus of Stochastic Singularly Perturbed Systems

The distributed consensus problems for singularly perturbed multi-agent systems with noise are discussed in this study. By implementing Kalman-Bucy filtering when the communication topology satisfies connectivity conditions, the suggested protocol can produce a bounded average consensus. The benefit of such a protocol is that it helps to eliminate the ill-conditioning of solitary perturbation in systems and prevents the use of erroneous local information regarding the interconnection among agents in systems. The two main difficulties are designing control protocols using Kalman-Bucy filtering and decoupling using separation techniques. In particular, convergence rate is examined along with -average consensus and -a.s. average consensus. By using numerical examples, theoretical analysis can be demonstrated.

A Multichannel MAC Protocol without Coordination or Prior Information for Directional Flying Ad hoc Networks

Achieving neighbor discovery for a directional flying ad hoc network (FANET) with multiple channels poses challenges for media access control (MAC) protocol design, as it requires simultaneous main lobe and channel rendezvous while dealing with the high UAV mobility. In order to achieve fast neighbor discovery for initial access without coordination or prior information, we first establish the theoretical supremum for the directional main lobe. Then, to achieve the supremum, we introduce the BR-DA and BR-DA-FANET algorithms to respectively establish the supremum on rendezvous between a pair of UAVs’ main lobes and rendezvous of main lobes for all UAVs in the FANET. To further accelerate the neighbor discovery process, we propose the neighbor discovery with location prediction protocol (ND-LP) and the avoiding communication interruption with location prediction (ACI-LP) protocol. ND-LP enables quick main lobe rendezvous and channel rendezvous, while ACI-LP enables beam tracking and channel rendezvous together with the avoidance of communication interruptions. The simulation results demonstrate that the proposed protocols outperform the state-of-the-art works in terms of neighbor discovery delay.

Group consensus of multi‐agent systems with reference states via pinning control

AbstractThis article investigates the group consensus via pinning control for continuous‐time first‐order and second‐order multi‐agent systems (MASs) with reference states. For the group consensus of first‐order MASs, the dependence between the agent's state and the control input is considered. For second‐order MASs, group consensus control without the velocity information of agents is considered. Instead, the virtual velocity estimation controller is designed. Meanwhile, for the designed control protocols, not only under fixed topology, but also under switching topology are considered. It is demonstrated that group consensus could be obtained under the proposed control protocols by using graph theory and stability theory. Finally, a series of numerical examples are provided to verify the control performance of the propounded control protocols.