Next Article in Journal
Automatic Road Marking Extraction and Vectorization from Vehicle-Borne Laser Scanning Data
Previous Article in Journal
Mapping Water Infiltration Rate Using Ground and UAV Hyperspectral Data: A Case Study of Alento, Italy
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Petri-Net Based Multi-Objective Optimization in Multi-UAV Aided Large-Scale Wireless Power and Information Transfer Networks

1
School of Electrical and Information Engineering, Jiangsu University, Zhenjiang 212000, China
2
School of Electrical and Information Engineering, Jiangsu University of Science and Technology, Zhenjiang 212000, China
*
Author to whom correspondence should be addressed.
Remote Sens. 2021, 13(13), 2611; https://doi.org/10.3390/rs13132611
Submission received: 21 May 2021 / Revised: 14 June 2021 / Accepted: 29 June 2021 / Published: 3 July 2021
(This article belongs to the Special Issue Feature Papers of Engineering Remote Sensing)

Abstract

:
Power consumption in wireless sensor networks is high, and the lifetime of a battery has become a bottleneck, restricting network performance. Wireless power transfer with a ground mobile charger is vulnerable to interference from the terrain and other factors, and hence it is difficult to deploy in practice. Accordingly, a novel paradigm is adopted where a multi-UAV (unmanned aerial vehicle) with batteries can transfer power and information to SDs (sensor devices) in a large-scale sensor network. However, there are discrete events, continuous process, time delay, and decisions in such a complicated system. From the perspective of a hybrid system, a hybrid colored cyber Petri net system is proposed here to depict and analyze this problem. Furthermore, the energy utilization rate and information collection time delay are conflict with each other; therefore, UAV-aided wireless power and information transfer is formulated as a multi-objective optimization problem. For this reason, the MAC-NSGA II (multiple ant colony-nondominated sorting genetic algorithm II) is proposed in this work. Firstly, the optimal trajectory of multiple UAVs was obtained, and on this basis, the above two objectives were optimized simultaneously. Large-scale simulation results show that the proposed algorithm is superior to NSGA II and MOEA/D in terms of energy efficiency and information collection delay.

Graphical Abstract

1. Introduction

Wireless sensor networks collect and exchange data via the interconnection between heterogeneous devices, and such networks are widely applied in intelligent logistics, smart cities, disasters, and so on [1,2]. The third and fourth generations of mobile communication technology (3G and 4G) are excellent infrastructures for supporting Internet of Things (IoT) due to the wide coverage, low deployment cost, and high security. However, it is difficult to achieve the high data rate, low latency, and low power consumption for physical communication. Fortunately, the Internet of Everything has been made possible by the advent of 5G technology, which provides connected devices with gigabit data rates and low-latency communications. The 5G-enabled WSN has consequently attracted a lot of attention from the industry and academia [3,4,5,6,7].
In fact, wireless sensor networks connect a large number of devices that consume huge amounts of power, making the lifetime of the battery a bottleneck for network performance. Energy harvesting (EH) and wireless power transfer (WPT) can be regarded as promising technologies that are able to extend a battery’s lifetime. The former absorbs energy from wind and solar but is less sustainable. Typical technologies for wireless power transfer include inductively coupled charging and electromagnetic magnetic resonance coupling, both of which can transfer power to distances ranging from centimeters to meters but not over longer distances. The wireless power transfer supported by radio frequency technology belongs to far field charging, which can transfer energy several kilometers away. Therefore, radio frequency wireless power transfer (RF-WPT) has aroused great interest in the research community and industry. Static charger is the main implementation of RF-WPT, while the disadvantage of this is that it will cause a waste of energy, and it is difficult to satisfy the various energy requirements [8,9,10]. One way to fix it is to employ a ground mobile charger to replenish the sensor devices (SDs). However, the drawbacks are also obvious. The path planning and communication quality of ground mobile chargers are susceptible to the terrain, and therefore it is difficult to replenish energy efficiently and to do so in a timely way [11,12,13,14,15,16,17].
Compared with mobile charging vehicles on the ground, UAVs have advantages of rapid deployment and high communication quality, which are particularly suitable for deployment in rural and harsh environment regions. Not only does the UAV power the SDs, but it also enables air-to-ground communication via an onboard wireless transceiver, allowing data to be collected from a wider area at a faster rate. Consequently, it is feasible to use the UAVs equipped with RF-WPT to improve the performance of wireless network [18,19,20]. Specifically, a UAV is assigned a preset the trajectory to visit SDs distributed across the target area. When hovering over a SD, the downlink provides wireless charging to the SD, while the uplink provides data transmission services.
The mobility of the UAV enables easy access to SDs; however, limited capacity makes it difficult for a single UAV to perform charging and communication tasks in a large-scale network, and hence it is necessary to deploy multiple UAVs at the same time. In addition, the generated status information needs to be delivered to the destination as quickly as possible for online data analysis and decision making, and outdated information may lead to false control or even major disasters. Therefore, on the one hand, information collection delay needs to be limited to a short period. On the other hand, the energy efficiency of UAVs should be improved as much as possible, that is to say, to replenish more energy for SDs. They are two conflicting objectives that need to be considered jointly.
Based on the above analysis, this paper constructs a multi-objective optimization for multi-UAV aided power and information transmission in order to maximize the energy utilization of the UAVs and minimize the time delay of information collection. The UAV’s energy efficiency is defined as the ratio of the energy received by SDs to the energy consumption of the UAV, which is most affected by the flight trajectory and is independent of the hover time. Therefore, the trajectory of each UAV can be assigned first, so as to minimize the cost of the UAV’s flight. Moreover, this is a typical multiple traveling salesman problem, which is NP-complete and difficult to be solved by traditional optimization methods. For this reason, the MAC-NSGA II (multiple ant colony-nondominated sorting genetic algorithm II) is proposed here to minimize the total trajectory of the UAVs, while minimizing their maximum trajectory to balance the flight load. On this basis, the Pareto optimal solution set of energy efficiency and information collection delay is obtained by NSGA II.
The multi-UAV aided wireless power and information transfer is a hybrid dynamic system, where the power transfer is continuous, and the information collection can be regarded as a discrete event due to its instantaneous completion. As a powerful visual mathematical tool, Petri net has the ability to represent concurrent and synchronous behavior. Moreover, the dynamic process triggered by the transition is not affected by the system parameters and network topology. Consequently, the wireless power and information transfer can be modeled and analyzed by Petri net [21,22].
The main contributions of the article are concentrated in the following three aspects:
  • The HCCPNS (hybrid colored cyber Petri net system) is proposed for the first time to model the multi-UAV aided wireless power and information transfer system. The place represents the status of the UAV or SD, where the continuous part is the energy, and the discrete part is information. The variation of a marking or a token corresponds to the continuous transition and the discrete transition, respectively. To the best of our knowledge, this is the first time that Petri net is employed to express the energy flow, control flow, and information flow simultaneously.
  • The multi-UAV aided wireless power and information transfer is constructed as a multi-objective optimization problem. On the one hand, we hoped that the UAV can replenish more energy for SDs, thus improving energy efficiency. Since the wireless charging power is constant, this inevitably results in a longer hovering time. On the other hand, when an SD sends out the request for information transmission, it expects a UAV to arrive at the corresponding position to receive data as soon as possible, that is, the time delay of information collection should be minimal. It is not difficult to see that the two targets are in conflict and a trade-off needs to be found.
  • Under the premise of one-to-one service, the strategy of trajectory assignment and hover of multiple UAVs is designed. The MAC-NSGA II is proposed in order to optimize the energy utilization and average delay of information simultaneously based on the optimal trajectory of multiple UAVs. Numerical simulation results demonstrate that the proposed algorithm has excellent performance, especially for large scale networks.
The rest of the paper is organized as follows. Section 2 reviews the work related to wireless power transfer and Petri nets. The specification of multi-UAV wireless power and information transfer based on HCCPNS is proposed, and the multi-objective optimization problem is formulated in Section 3. Section 4 presents the MSC-NSGA II. Section 5 demonstrates and analyzes the simulation results. Section 6 summarizes the paper and looks into the future research.

2. Related Work

In recent years, as a major paradigm of wireless power transfer, ground mobile charging has been widely studied. Mo et al. proposed a novel multiple mobile chargers coordination framework for a wireless rechargeable sensor network, where the scheduling, the moving time, and the charging time of the mobile chargers were jointly considered [11]. In order to maximize the overall task utility concerning sensor selection and task cooperation for wireless rechargeable sensor networks, Wu et al. proposed a novel energy allocation scheme with a specific theoretical analysis of the submodularity and gap property for the surrogate [12]. In a large-scale rechargeable wireless sensor network, Sha et al. assigned the sensor nodes into groups according to their remaining lifetime and balanced the energy consumption among several mobile wireless chargers (MWCs) to maximize the utilization rate of the MWCs and reduce the charging delay [13]. Lan et al. employed a mobile sink to charge the sensor nodes and gather data simultaneously so as to maximize the data gathering performance, and they proposed a distributed speed control and routing algorithm to reduce the computing load of the mobile sink [14]. To maintain a perpetual network operation, Lyu et al. divided the network into multiple cells and used a mobile device to charge several sensor nodes simultaneously; the mobile device periodically traversed each cell to charge and collect data with the objective of maximizing the amount of data by the unit energy of the mobile device [15]. To enhance the network utility, Zhao et al. optimized the charging vehicle route, the data rate, and the charging time together, and they presented multiple period iterative algorithms [16]. Considering that the energy consumption rate of nodes is dynamically changed, Yang et al. proposed a real-time global charging scheme in wireless rechargeable sensor networks based on the actor–critic reinforcement learning algorithm [17]. Although existing studies have made many achievements from the perspectives of charging time, data transmission delay, network utility, etc., more work is still needed, as the mobility and communication performance of mobile charging vehicles are affected by terrain and other factors, while UAV assisted charging is rarely limited.
Xu et al. employed a UAV-mounted mobile energy transmitter to deliver wireless energy to a set of energy receivers (ERs) at known locations on the ground. They optimally exploited the mobility of UAV via trajectory design to maximize the amount of transferred power to all ERs during a finite charging period [23]. Du et al. considered a UAV-enabled mobile edge computing (MEC) system, where a UAV powered IoT devices (IDs) by utilizing wireless power transfer and collected the data of them. The objective was to minimize the total energy consumption of the UAV by jointly optimizing the SD association, computing resources allocation, UAV hovering time, wireless powering duration, and the services sequence of the SDs [24]. Hu et al. took into account a simplified UAV-enabled wireless power transfer network with a linear topology, in which multiple ground nodes were deployed in a straight line. The objective was to maximize the minimum received energy among all ground nodes by optimizing the UAV’s one-dimensional trajectory, subject to the maximum UAV flying speed constraint [25]. According to the authors in [26], the UAV in their work employed RF wireless power transfer to charge the users in the downlink and to collect the information from the users in the uplink. Subject to the maximum speed constraint and the users’ energy neutrality constraints, the uplink common throughput among all ground users was maximized. Beak et al. jointly optimized the UAV hovering location and duration to maximize the minimum energy of sensors after data transmission and energy harvesting under data collection and UAV energy consumption constraints, and a near-optimal UAV route was determined by adjusting the initial feasible UAV route iteratively [27]. Su et al. proposed a novel multiple-stage dynamic matching to model the charging relationship between energy-constrained devices (ECDs) and UAVs. They maximized the total amount of charging energy by a multiple-period charging process [28]. Wu et al. studied the UAV’s trajectory optimization from the viewpoint of UAV’s energy utilization efficiency. For this purpose, they presented a polynomial-time randomized approximation scheme (PARS) to obtain the minimal number of hovering locations [29]. Subsequently, to achieve balanced energy consumption among UAVs, they maximized the energy utilization efficiency of UAVs, and they minimized the communication delay by optimizing the trajectory jointly with constraints of the energy capacity and the area of the target region [30]. Taking into account the power consumption of the UAV, the charging process from a base station to the UAV and the conversion loss of the energy harvester, Yan et al. designed two different charging schemes to maximize the sum-energy received by all sensors for a one-dimensional and a two-dimensional wireless power transfer system [31]. Hu et al. formulated an optimization problem to enhance the UAV’s sensing performance and power allocation as well as its placement, minimizing the time of transmitting data according to different communication requirements [32]. Hu et al. formulated an optimization problem to minimize the average Age of Information of the data collected from all ground sensor nodes. They used Karush–Kuhn–Tucker (KKT) conditions to find the optimal energy transfer and the data collection time allocation; through this, a UAV’s trajectory planning was obtained by dynamic programming and an ant colony heuristic algorithm [33]. Considering the UAV’s hovering inaccuracy on received power at ground deployed sensor nodes, Suman et al. proposed a hovering inaccuracy-aware optimal charging system design algorithm to find the optimal transmit power, hovering altitude, and antenna exponent [34]. Yuan et al. took into account the realistic nonlinear energy harvesting model for the first time in order to maximize the minimum harvested energy among ground devices under the constraint of a UAV’s maximum flight speed limit [35]. Caillouet et al. made a trade-off between the altitude of a drone and its charging coverage to ensure good harvesting capabilities for industrial scenarios [36]. For the studies in [37,38,39], the UAV was used to collect data from sensors, and routing protocols were studied to reduce the data loss as well as energy consumption. Although the above work involves energy consumption, UAV flight trajectory, computational performance, and other aspects, most of them use a single UAV as the energy output source, which actually limits the improvement of UAV performance. In this paper, several UAVs are used to serve SDs, and factors such as the number of UAVs, flight trajectory and communication delay are jointly considered to be applicable to large-scale wireless power and information transfer networks.
Petri net has unique advantages in the modeling and analysis of a cyber-physical system (CPS) and also automated manufacturing systems. Casalino et al. addressed the problem of scheduling robotic activities in human–robot collaborative contexts based on time Petri nets [40]. Aiming at a kind of CPS containing discrete events, continuous processes, stochastic phenomena, time delay, and decision, Cao et al. proposed the modeling methods of a CPS based on the modified hybrid stochastic timed Petri net with three-tier architecture, and they introduced a decision place to strengthen the decision-making ability of a CPS [41]. Yang et al. modeled the deadlock problem in large-scale automated manufacturing systems based on Petri nets and developed an innovative distributed approach [42]. To address the collision issue of automated guided vehicles, Luo et al. proposed an approach to the design of a maximally permissive controller to prevent vehicles from any collision using labeled Petri nets [43]. In addition, they focused on using developed timed Petri nets to model variable traffic light control systems to analyze the performance of urban traffic networks [44]. In our previous work, a generalized synchronizing colored cyber Petri net was proposed to establish the fixed chargers’ deployment, and later a hybrid cyber Petri net was applied to model and analyze the master–slave charging behavior [45,46]. In this paper, a hybrid colored cyber Petri net system is to be proposed to characterize the energy flow, information flow, and control flow relationship in UAVs’ aided wireless power and information transmission.

3. System Model and Problem Formulation

In this section, the model of wireless power and information transfer is firstly introduced. Then, based on the classical Petri net, a hybrid colored cyber Petri net system is proposed, and the dynamic behavior of the system is described from the mathematical and graphical perspectives. Finally, the multi-UAV aided wireless power and information transfer is formulated as a multi-objective optimization problem. The schematic diagram of multi-UAV aided wireless power and information transfer is illustrated in Figure 1.

3.1. UAV-Aided Wireless Power and Information Transfer Model

As shown in Figure 1, we consider a multi-UAV aided wireless power and information transfer network, where an M number of UAVs replenish energy and collect the information for an N number of SDs within given area. The UAVs are indexed by the set = { 1 , 2 , , M } , and the SDs are indexed by the set N = { 1 , 2 , , N } . In a three-dimensional Cartesian coordinate system, the coordinate of the i th UAV can be expressed as ( x i , y i , H ) , and the coordinate of the j -th SD is represented as ( w j , 0 ) . The UAV cruises at an economic speed V e for energy saving. Let q ( t ) = [ x i ( t ) , y i ( t ) ] denote the coordinate projected by the i -th UAV on the plane β , then the flight distance of the UAV can be given. The main parameters are summarized in Table 1.
Assuming that a UAV starts from and returns to the depot, it should immediately fly back to the depot if the energy is carried below a certain threshold. Let the flight period be T , then
q i ( 0 ) = q i ( T ) = ( x 0 , y 0 ) , i
Assuming that the UAV is flying at a fixed altitude H, H is then the minimum height at which obstacles such as buildings, trees, and streetlights can be avoided. Moreover, there are three modes of power consumption: flight, hovering, and power transmission. The first two are driven by propulsion power and shown as follows,
P p r o ( V ) = P 0 ( 1 + 3 V 2 U t i p 2 ) + P i ( 1 + V 4 4 v 0 4 V 2 2 v 0 2 ) 1 2 + 1 2 d 0 ρ s A V 3
where P 0 and P i are two constants representing the blade profile power and induced power in hovering status, respectively; U t i p denotes the tip speed of the rotor; v 0 is known as the mean rotor induced velocity in hover; d 0 and s are fuselage drag ratio and rotor solidity, respectively; and ρ and A denote the air density and rotor disc area [28]. During the flight of the UAV, if the additional losses caused by acceleration and deceleration are ignored, the moving power is
P m o v = P p r o ( V = V e )
and the hovering power is
P h o v = P p r o ( V = 0 ) = P 0 + P i
The channel power gain at time t between the i -th UAV and j -th SD is
h i , j ( t ) = β 0 q i ( t ) w j 2 + H 2
where β 0 is the channel power gain at a reference distance 1 m, and · is the Euclidean norm. The receiving power of SD at time t T is
P r e c = η P t r a h i , j ( t )
where P t r a is the transmitting power of UAV, and 0 η 1 is the energy efficiency of RF-WPT.
The UAV’s energy utilization rate is denoted as ϕ , which is the ratio of the total energy received by the SDs to the total energy consumed by the UAV. Since the UAV energy consumption consists of flight, hovering, and power transmission, then the UAV energy utilization rate is
ϕ = j = 1 N E j , r e c i E m o v i + E h o v i + E t r a i
Since the amount of data perceived by a SD is not large, it can be considered that the moment a UAV arrives directly above a SD is the moment the UAV receives the information. Compared with the charging time, this process is considered to be instantaneous, and hence the time of wireless information transfer is ignored. In Equation (8), t k i denotes the charging time of the i -th UAV for the k -th SD. Once the trajectory of the UAV is determined, the time delay of information transfer in SD I j can be expressed as
Δ τ j = k = 1 j 1 t k i + d j 1 , j V e c o
Moreover, the average time delay can be given as
Δ τ ¯ = 1 N j = 1 N Δ τ j
The objective of this paper is to maximize the UAVs’ energy utilization rate while minimizing the average time delay of information transfer. The numerator in ϕ is related to hovering time, and the denominator involves both flight time and hovering time. Shorter flight time and longer hovering time can increase ϕ ; however, the average time delay is positively correlated with hovering time. Therefore, maximizing the energy utilization rate and minimizing the average time delay are in conflict with each other, which is a multi-objective optimization problem.

3.2. The Specification of Petri Net

Petri nets are usually applied to characterize asynchronous and concurrent behaviors, which depict the logical relationship between events and deduce the state activities of the system with an algebraic matrix based on network theory. The classical Petri net consists of place, transition, token, and incidence matrix. On this basis, we extended it to be suitable for describing wireless power transmission. For more details, please refer to our previous work [41,42]. Furthermore, in order to character the state and behavior of multi-UAV aided wireless power and information transfer, we propose a hybrid colored cyber Petri net system, and the definition is as follows.
Definition 1.
A 11-tuple = ( S , T ; F , C , W , M ; R d , W r , I n h i b i t , P e r m i t , K ) is said to be a hybrid colored cyber Petri net system (HCCPNS), if it satisfied the following conditions:
(1) 
N = ( S , T ; F ) is a directed net, which is named the basic net of ;
(2) 
C is the vector of colors with red and green, C = { c 1 , c 2 } ;
(3) 
The place, transition, and weight function of directed arc all contain two colors; the red one represents the continuous part and the green one represents the discrete part, i.e., M ( S ) = [ M C ( S ) , M D ( S ) ] , T = [ T C , T D ] ,   W = [ W C , W D ] ;
(4) 
F S × T T × S , R d S × T , W r T × S and F R d W r = Φ ; F , R d , W r , I n h i b i t and P e r m i t is the flow, read, write, inhibitor, and permission relationship;
(5) 
K = { k L , k H } is the lower and upper capacity function of N , and k L : S ; k H : S ,where is a set of real numbers;
(6) 
W : F E x p ( S , τ ) is the weight function, where E x p ( S , τ ) is the set of functional expressions for τ ;
(7) 
M : F is the marking, and M 0 is the initial marking.
Definition 2.
The condition that transition t will be fired:
s t : ( M ( s ) W M ( s , t ) ) [ k L ( s ) , k H ( s ) ] s t : ( M ( s ) + W M ( t , s ) ) [ k L ( s ) , k H ( s ) ] s t W : W ( t , s ) [ k L ( s ) , k H ( s ) ]
If transition t is fired, it can be recorded as M [ t > .
Definition 3.
Result of transition firing. After transition t is fired, the original marking M will be changed to M , then
M ( s ) = { M ( s ) W ( s , t ) M ( s ) + W ( t , s ) M ( s ) W ( s , t ) + W ( t , s ) W ( t , s ) M ( s ) s t t s t t s t t s t W                 s ( t t t W )
The dynamic equation of HCCPNS is:
M ( t n ) = [ M C ( t n ) M D ( t n ) ] + [ A C · [ t 0 t n (   ) ] d τ A D ]
where A C and A D are the incidence matrix of the continuous and discrete part, respectively.
A simple HCCPNS model is shown in Figure 2. Figure 2a is the folded specification, and Figure 2b is the unfolded specification as well as Figure 2c. They represent the continuous parts and the discrete part denoted in red and green, respectively, i.e., M ( S 1 ) = [ M C ( S 1 ) , M D ( S 1 ) ] , M ( S 2 ) = [ M C ( S 2 ) , M D ( S 2 ) ] , T = [ T C , T D ] , W ( S 1 , T ) = [ W C ( S 1 , T C ) , W D ( S 1 , T D ) ] , W ( T , S 2 ) = [ W C ( T C , S 2 ) , W D ( T D , S 2 ) ] .
In fact, multi-UAV aided wireless power and information transfer is a dynamic system in which the location of the UAV changes over time. It is necessary to monitor the UAV’s energy status in real time and pay attention to the event of arrival or departure from the hovering point. Therefore, this is a hybrid system with continuous and discrete variables, and it is appropriate for HCCPNS to describe its formal specification.
Figure 3 shows a representative part of the HCCPNS model for a multi-UAV aided wireless power and information transfer system. Directed arcs with solid black dots and hollow circles at the end of the arrows are the permit arc and the inhibit arc, respectively. The arrow of the read arc and the write arc are both in the middle of directed arc. The explanation of the main places, transitions, and arcs are given in Table 2 and Table 3.
When the i -th UAV arrives right above the j -th SD, discrete transition T d j i fires immediately, that is, the information sensed by the SD is collected. At this point, continuous transition T c j i and T h j i are also enabled. Furthermore, T c j i is inhibited by i n h i b i t ( I j , T c j i ) when the charging threshold is reached. In the meanwhile, p e r m i t ( I j , T ( i ) j + 1 j ) enables the transition T ( i ) j + 1 j and disables T h j i . If the UAV is in the emergency, i n h i b i t ( U j i , T c j i ) , i n h i b i t ( U j i , T h j i ) , and i n h i b i t ( U j i , T ( i ) j + 1 j ) are all fired, meaning that the UAV can no longer serve for the SD. Instead, it should return to the depot immediately with the firing of p e r m i t ( U j i , T e m e ( i ) ) . The time a UAV arrives at and leaves the j -th SD is denoted as t j and t j + ; the hovering time is denoted as t j i . If the model in Figure 3 is unfolded, the flow of continuous energy and discrete information, as well as the control strategy of arc weight function, can be more clearly demonstrated. For example, U j i is the place when the i -th UAV hovers directly over the j -th SD, then M ( U j i ) = [ M C ( U j i ) , M D ( U j i ) ] , where M C ( U j i ) and M D ( U j i ) denote the UAV’s energy and carrying information. T ( i ) j + 1 j = [ T ( i ) C j + 1 j , T ( i ) D j + 1 j ] , T ( i ) C j + 1 j and T ( i ) D j + 1 j are used to transmit energy and information, respectively. As for the weight function of arc, i.e., W ( U j i , T ( i ) j + 1 j ) = [ W C ( U j i , T ( i ) C j + 1 j ) , W D ( U j i , T ( i ) D j + 1 j ) ] , it indicates that the marking of place U j i is 0 after transition T ( i ) j + 1 j is finished, and the corresponding energy and information is written to place U j + 1 i according to w r i t e ( T ( i ) j + 1 j , U j + 1 i ) = [ w r i t e C ( T ( i ) C j + 1 j , U j + 1 i ) , w r i t e D ( T ( i ) D j + 1 j , U j + 1 i ) ] . In addition, some transitions such as T h j i and T s e n j only represent the flow of continuous energy, and hence the discrete component is 0.
Based on the above analysis, the HCCPNS specification of energy utilization is given as follows.
Φ = i = 1 M j = 1 N [ W ( T c j i , I j ) · t j i ] i = 1 M { ( P m o v i · t j , j + 1 ) + [ W ( U j i , T h j i ) + W ( U j i , T c j i ) ] · t j i }
Thus, the multi-objective optimization problem can be formulated:
P 1 : a r g m i n Φ , Δ τ ¯ F = { Φ 1 , Δ τ ¯ }
s . t .   k H ( I j ) × δ M C ( I j _ t j ) P r e c j P s e n j t j i k H ( I j ) M C ( I j _ t j ) P r e c j P s e n j
M C ( U j i ) k L ( U j i )
where Equation (15) gives the upper and lower bounds of the hovering time; 0.5 < δ 1 is the charging threshold; and Equation (16) indicates that a UAV’s energy should not fall below the lower bound, otherwise it will fly back to the depot.
As can be seen from the above, HCCPNS depicts multi-UAV aided wireless power and information transfer from both visual graphics and mathematical formulas. On the one hand, the original abstract model can be visualized. On the other hand, the dynamic equation not only reveals the result of logical evolution, but it also captures the changes of system state. These properties provide an observable interface for the evaluation of the optimization method and the theoretical and practical basis for further improvement of the control effect.

4. Multiple Ant Colony-Nondominated Sorting Genetic Algorithm II

Multi-UAV aided wireless power and information transfer is a multi-objective optimization problem, and there are two difficulties: firstly, how to allocate a large number of SDs to different UAVs in an optimal order, and secondly, how to determine the hovering time of the UAV so that the SDs can receive a certain amount of energy and ensure that the time delay of information collection is as short as possible.
We notice that in problem P 1 , the energy efficiency of UAV and the average time delay of information transfer are optimized simultaneously. Moreover, the moving time and hovering time are independent, while the former only depends on the trajectory. Therefore, the first step is to minimize the moving time of several UAVs. Substantially, this is a multi-traveling salesman problem, which can be reduced to a traveling salesman problem. Obviously, it is an NP-complete (nondeterministic polynomial-complete) problem, which is difficult to solve by classical optimization methods. It can be known from literature [47] that ant colony algorithm simulates the foraging behavior of ants in nature and is a heuristic algorithm to find the optimal path. Compared with the heuristic algorithms such as particle swarm optimization algorithm and simulated annealing algorithm, ant colony algorithm is more suitable to solve the path planning problem. Professor Deb proposed NSGA II (nondominated sorting genetic algorithm II) in literature [48], where the fast nondominated sorting with elite strategy and the crowded distance principle are employed to strengthen the diversity and uniformity of a noninferior solution set, improving the defects of the NSGA algorithm, such as slow searching speed and easy to fall into the local optimal. For this reason, the MAC-NSGA II (multi-ant colony-nondominated sorting genetic algorithm II) is proposed. In trajectory planning, the total flight trajectory of multiple UAVs is minimized. Moreover, the longest path among them is minimized by using the min–max framework to balance the flight load. On this basis, the Pareto sets of the hovering time and energy utilization of the UAVs are obtained. Therefore, MAC-NSGA II refers to a combination of a multiple ant colony algorithm and NSGA II. The state transition and pheromone update strategies in the algorithm are explained below, and NSGA II will not be detailed. The algorithm pseudocode is given in Algorithm 1.

4.1. Ant State Transition Strategy

Ant colony algorithm is an iterative technique with random search that is inspired by real ant colony foraging behavior. As ants search for food, they release chemicals called pheromones along the way. Over time, pheromone concentration varies with the accumulation of passing ants and the volatilization of the pheromone itself.
Algorithm 1 Pseudo-code of the multiple ant colony-nondominated sorting genetic algorithm II
Input: Number of UAVs and SDs, Location of the depot and SDs, Residual energy and power consumption of SDs
Output: Optimal trajectory of UAVs, the set of hovering
1: Initialize all parameters and pheromone trails;
2: i t e r 0 ;
3: while  i t e r i t e r m a x do
4: for each UAV
5:  for each SD
6:   generate initial solution with pheromone concentration and distances between SDs;
7:  end for
8:  construct solution following (20);
9: update the pheromone following (21) and according to the residual pheromone and the length of path;
10: end for
11: end while
12: Obtain the optimal flying trajectory;
13: Taking the hovering time above every SD as independent variable, initialize the population P t ;
14: Combine parent and offspring population R t = P t Q t ;
15: all nondominated of R t : F = f a s t n o n d o m i n a t e d s o r t ( R t ) ;
16: P t + 1 = and i = 1 ;
17: while  | P t + 1 | + | F i | N do
18: calculate crowding-distance in F i ;
19: P t + 1 = P t + 1 F i ;
20: i = i + 1 ;
21: S o r t ( F i , n ) ;
22: Choose the first ( N P t + 1 ) element of F i ,   P t + 1 = P t + 1 F i [ 1 : ( N P t + 1 ) ] ;
23: Use selection, crossover and mutation to create a new population
Q t + 1 = m a k e n e w p o p ( P t + 1 ) ;
24: t = t + 1 ;
25: end while
26: The pareto set of hovering time.
In this way, the ants find the shorter route to the food by selecting the path with high pheromone concentration, thus forming a pheromone-based positive feedback and autocatalysis mechanism between individual ants and colonies. In this paper, the ants and cities are regarded as UAVs and SDs, respectively. At the initial moment, the ants visit different nodes from the depot for path selection, and the following factors should be taken into consideration when selecting the next node:
  • The greater the pheromone concentration from one location to the next, the more likely the ant is to choose that path.
  • The shorter the distance between the current position and the next position the ant traverses, the greater the probability that the ant chooses the path.
Based on the above factors, the state transition formula is given as follows:
p i j k ( t ) = { [ σ i j ( t ) ] α · [ η i j ( t ) ] β s a l l o w e d [ σ i s ( t ) ] α · [ η i s ( t ) ] β , j a l l o w e d 0 o t h e r s
where σ i j ( t ) is the pheromone concentration between two positions in t -th iteration; η i j ( t ) is a reciprocal of distance; α is weight coefficient as well as β ; and a l l o w e d is an alternative city set for ants.

4.2. Pheromone Update Strategies

In order to avoid too much residual pheromones submerging the heuristic information, the residual pheromones on the path should be updated after each ant completes the traversal of all nodes in each round. Therefore, the pheromone updating strategy concentration is as follows:
σ i j ( t + 1 ) = ( 1 ρ ) · σ i j ( t ) + k = 1 m Δ σ i j k ( t )
where ρ is pheromone volatility coefficient, and k = 1 m Δ σ i j k ( t ) represents the pheromone content added in t -th round. The current pheromone concentration is not only related to the previous round of pheromone concentration, but also the following factors should be considered:
(1)
Pheromones λ that are positively correlated with the superiority of feasible solutions are uniformly added to all subpath.
(2)
If the length of the subpath is less than the mean of all the subpaths, λ is reduced to ( 0.7 ~ 0.95 ) λ . On the contrary, λ is reduced to ( 0.1 ~ 0.5 ) λ .
(3)
The pheromone of the shortest subpath and the longest subpath is reduced to   0.1 λ , so that they can be recombined to form a better feasible solution.

5. Simulation and Numeric Results

5.1. Simulation Setup and Environment Parameters

This section demonstrates the performance of the proposed algorithm through large-scale numerical simulation. Unless otherwise stated, the values are set as follows (Table 4).
UAVs are allocated to serve for   N SDs, which are randomly and evenly distributed over a 400 × 400   m 2 area. To simplify the analysis, the acceleration and deceleration process of the UAV is ignored when it leaves and arrives at the hovering point. The depot’s coordinate is h 0 = ( 200   m , 200   m ) , and the cruising speed of a UAV is V e = 10   m / s . Moreover, when the UAV takes off from the depot, it flies at a fixed altitude H = 20   m with a constant speed. The main simulation parameters are given in Table 4. Since more than two objectives can be optimized at the same time, NSGAIII and MOEA/D were selected for a comparison algorithm. Each scenario was run 50 times independently, and the average value was statistically analyzed.
In addition, we used the three criteria described below.
(1)
UAV’s trajectory. This indicator reflects the influence of the number of UAVs on the trajectory length.
(2)
UAV’s energy efficiency. It represents the proportion of the energy received by SDs in the total energy consumption of UAVs, which is affected by different network sizes and the number of UAVs.
(3)
Average time delay of information collection. This index reflects the timeliness of gathering information perceived by SDs.

5.2. Performance

This section compares the change trend of flight path between MAC-NSGA II, NSGAIII, and MOEA/D when the number of SDs increases from 100 to 1000. As shown in Figure 4, when the number of UAVs is 6, the longest trajectory of MAC-NSGA II is the shortest among the three algorithms, and the difference is not obvious as the network size is small. However, the longest path of the other two algorithms can be as high as 1.5 times of the proposed algorithm with the increase of network size. In terms of average growth rate, the proposed algorithm recorded about 40%, and the other two algorithms are also significantly higher, which are 47% and 48% respectively. The reason for this phenomenon is that the other two algorithms have no practical strategy to adjust the path structure, while the min–max framework is introduced into the proposed algorithm to further reduce the longest trajectory of UAVs and balance the flight load between UAVs.
Figure 5 and Figure 6 also reveal the results of the longest trajectory and average trajectory at different network scales when the number of UAVs is 6, 9, 12, and 15. It is not difficult to see that the performance of the 15 UAVs in the large-scale network outperforms the other three conditions in both the longest trajectory and the average trajectory. The reason is that in a small-scale network, a handful of UAVs can realize power and information transmission. In this case, increasing UAVs can reduce the number of SDs traversed by each UAV, yet its flight trajectory cannot be significantly reduced, which is actually a wasteful strategy. Nevertheless, in a large-scale network, as the number of SDs grows exponentially, the original UAVs can only complete their missions by expanding their flight range and increasing the number of SDs serving them, which is more time-consuming and more burdensome. If the scale of UAVs is expanded, the flight load of each UAV can be reduced and the energy efficiency can be improved.
Figure 7 shows the worst value and median value of the Pareto optimal solution for the average delay of the longest trajectory information collection of six UAVs under different network scales. The maximum delay of MACO-NSGA II decreases by 27.7% and 43.4% compared with NSGAIII and MOEA/D, respectively, while the median value decreases by 25.3% and 43%, respectively. The reason is that although the other two algorithms can optimize more than two targets at the same time, they do not have a separate path optimization framework. In addition, it can be found that with the increase of network size, the average time delay of the three algorithms is significantly reduced. This is because when the distribution area remains unchanged, the increase in the number of SDs means that the distribution density becomes larger, thus shortening the distance of the hovering point of a UAV.
Table 5 demonstrates the optimal value, worst value, mean value and median value of the energy efficiency of the longest trajectory under 20 scenarios. Due to space limitation, only the optimal and median values of the two comparison algorithms are given. In terms of optimal value, NSGAII and MOEA/D increased by 5.28% and 10.12%, respectively, when compared with MACO-NSGA II, while they increased by 6.18% and 11.02% respectively on the median value. Moreover, with the same number of UAVs, the energy efficiency of the three algorithms decreased significantly as the network size increased. The reason is that compared with the more received energy by SDs, the flight energy consumption of the UAV increases more, which is the denominator of Equation (13). However, more UAVs can improve energy efficiency with the same network size, which is consistent with the phenomenon in Figure 5 and Figure 6. Especially in a large distribution, the improvement is more obvious.

6. Conclusions

In this paper, the HCCPNS was proposed for the first time and applied for the modelling and analysis of a multi-UAV aided wireless power and information transfer system. The established specification intuitively described the relationship between the energy flow, control flow, and information flow of the system, and the state equation demonstrates the dynamic characteristics of continuous and discrete quantities. In order to optimize energy utilization rate and the time delay of information collection simultaneously, a multi-objective optimization was formulated. Furthermore, the set of SDs should be updated periodically in real-time system. The proposed MAC-NSGA II was employed to assign the number of UAVs, the flying trajectory, and the hovering time, which called for a combination of a multiple ant colony algorithm and nondominated sorting genetic algorithm II. Firstly, the flight trajectory of multiple UAVs was minimized, and the flight load between UAVs was balanced by using the min–max framework. On this basis, the Pareto frontier was obtained, and the trade-off point between the two targets was found. A large number of simulation results show that the proposed algorithm is superior to the comparison algorithm in energy efficiency and information collection delay.
Some interesting open questions related to this work merit further investigation. Firstly, if the urgency of SDs’ energy supplement is also taken into account, we should look at how to further optimize the UAVs’ moving trajectory. Secondly, it is also worth investigating how to cooperate with multiple UAVs, such as partner charging or emergency rescue, so as to achieve better network utility.

Author Contributions

Conceptualization, H.Q.; methodology, H.Q.; software, H.Q.; validation, H.Q., X.B.; formal analysis, H.Q.; investigation, H.Q.; resources, H.Q.; data curation, H.Q.; writing—original draft preparation, H.Q.; writing—review and editing, H.Q.; visualization, H.Q.; supervision, X.B. and B.Z.; funding acquisition, L.X. and B.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by National Natural Science Foundation of China under Grant No. 61874050 and No. 61070058.

Data Availability Statement

The data is not applicable due to privacy and ethical restrictions.

Acknowledgments

In this section, you can acknowledge any support given which is not covered by the author contribution or funding sections. This may include administrative and technical support, or donations in kind (e.g., materials used for experiments).

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Aceto, G.; Persico, V.; Pescape, A. Industry 4.0 and Health: Internet of Things, Big Data, and Cloud Computing for Healthcare 4.0. J. Ind. Inf. Integr. 2020, 18. [Google Scholar] [CrossRef]
  2. Lu, Y.; Xu, L.D. Internet of Things (IoT) Cybersecurity Research: A Review of Current Research Topics. IEEE Internet Things J. 2019, 6, 2103–2115. [Google Scholar] [CrossRef]
  3. Al Homssi, B.; Al-Hourani, A.; Chandrasekharan, S.; Gomez, K.M.; Kandeepan, S. On the Bound of Energy Consumption in Cellular IoT Networks. IEEE Trans. Green Commun. Network. 2020, 4, 355–364. [Google Scholar] [CrossRef]
  4. Hsu, C.F.; Harn, L.; Xia, Z.; Zhang, M.Y.; Zhao, Z. Non-interactive integrated membership authentication and group arithmetic computation output for 5G sensor networks. IET Commun. 2021, 15, 328–336. [Google Scholar] [CrossRef]
  5. Ali, K.; Nguyen, H.X.; Vien, Q.T.; Shah, P.; Raza, M.; Paranthaman, V.V.; Er-Rahmadi, B.; Awais, M.; Islam, S.u.; Rodrigues, J. Review and Implementation of Resilient Public Safety Networks: 5G, IoT, and Emerging Technologies. IEEE Netw. 2021, 35, 18–25. [Google Scholar] [CrossRef]
  6. Al Homssi, B.; Al-Hourani, A.; Chavez, K.G.; Chandrasekharan, S.; Kandeepan, S. Energy-Efficient IoT for 5G: A Framework for Adaptive Power and Rate Control. In Proceedings of the 2018 12th International Conference on Signal Processing and Communication Systems (ICSPCS), Cairns, Australia, 17–19 December 2018; pp. 1–6. [Google Scholar] [CrossRef]
  7. Khan, R.; Kumar, P.; Jayakody, D.N.K.; Liyanage, M. A Survey on Security and Privacy of 5G Technologies: Potential Solutions, Recent Advancements, and Future Directions. IEEE Commun. Surv. Tutor. 2020, 22, 196–248. [Google Scholar] [CrossRef] [Green Version]
  8. Lu, X.; Wang, P.; Niyato, D.; Kim, D.I.; Han, Z. Wireless Networks with RF Energy Harvesting: A Contemporary Survey. IEEE Commun. Surv. Tutor. 2015, 17, 757–789. [Google Scholar] [CrossRef] [Green Version]
  9. Lu, X.; Wang, P.; Niyato, D.; Kim, D.I.; Han, Z. Wireless Charging Technologies: Fundamentals, Standards, and Network Applications. IEEE Commun. Surv. Tutor. 2016, 18, 1413–1452. [Google Scholar] [CrossRef] [Green Version]
  10. Karimi, M.J.; Schmid, A.; Dehollain, C. Wireless Power and Data Transmission for Implanted Devices via Inductive Links: A Systematic Review. IEEE Sens. J. 2021, 21, 7145–7161. [Google Scholar] [CrossRef]
  11. Mo, L.; Kritikakou, A.; He, S.B. Energy-Aware Multiple Mobile Chargers Coordination for Wireless Rechargeable Sensor Networks. IEEE Internet Things J. 2019, 6, 8202–8214. [Google Scholar] [CrossRef] [Green Version]
  12. Wu, T.; Yang, P.L.; Dai, H.P.; Xiang, C.C.; Rao, X.P.; Huang, J.; Ma, T. Joint Sensor Selection and Energy Allocation for Tasks-Driven Mobile Charging in Wireless Rechargeable Sensor Networks. IEEE Internet Things J. 2020, 7, 11505–11523. [Google Scholar] [CrossRef]
  13. Sha, C.; Sun, Y.; Malekian, R. Research on Cost-Balanced Mobile Energy Replenishment Strategy for Wireless Rechargeable Sensor Networks. IEEE Trans. Veh. Technol. 2020, 69, 3135–3150. [Google Scholar] [CrossRef]
  14. Lan, X.L.; Zhang, Y.M.; Cai, L.; Chen, Q.C. Adaptive Transmission Design for Rechargeable Wireless Sensor Network with a Mobile Sink. IEEE Internet Things J. 2020, 7, 9011–9025. [Google Scholar] [CrossRef]
  15. Lyu, Z.W.; Wei, Z.C.; Wang, X.; Fan, Y.Q.; Xia, C.K.; Shi, L. A Periodic Multinode Charging and Data Collection Scheme With Optimal Traveling Path in WRSNs. IEEE Syst. J. 2020, 14, 3518–3529. [Google Scholar] [CrossRef]
  16. Zhao, C.X.; Zhang, X.; Wu, C.Z.; Chen, S.G.; Chen, F.L. Design of optimal utility of wireless rechargeable sensor networks via joint spatiotemporal scheduling. Appl. Math. Model. 2020, 86, 54–73. [Google Scholar] [CrossRef]
  17. Yang, M.Y.; Liu, N.B.; Zuo, L.; Feng, Y.; Liu, M.H.; Gong, H.G.; Liu, M. Dynamic Charging Scheme Problem with Actor-Critic Reinforcement Learning. IEEE Internet Things J. 2021, 8, 370–380. [Google Scholar] [CrossRef]
  18. Erdelj, M.; Krol, M.; Natalizio, E. Wireless Sensor Networks and Multi-UAV systems for natural disaster management. Comput. Netw. 2017, 124, 72–86. [Google Scholar] [CrossRef]
  19. Liu, M.; Yang, J.; Gui, G. DSF-NOMA: UAV-Assisted Emergency Communication Technology in a Heterogeneous Internet of Things. IEEE Internet Things J. 2019, 6, 5508–5519. [Google Scholar] [CrossRef]
  20. Cheng, F.; Gui, G.; Zhao, N.; Chen, Y.F.; Tang, J.; Sari, H. UAV-Relaying-Assisted Secure Transmission with Caching. IEEE Trans. Commun. 2019, 67, 3140–3153. [Google Scholar] [CrossRef] [Green Version]
  21. Cavone, G.; Dotoli, M.; Seatzu, C. A Survey on Petri Net Models for Freight Logistics and Transportation Systems. IEEE Trans. Intell. Transp. Syst. 2018, 19, 1795–1813. [Google Scholar] [CrossRef]
  22. Ahmed, F.D.; Majid, M.A. Towards agent-based petri net decision making modelling for cloud service composition: A literature survey. J. Netw. Comput. Appl. 2019, 130, 14–38. [Google Scholar] [CrossRef]
  23. Xu, J.; Zeng, Y.; Zhang, R. UAV-Enabled Wireless Power Transfer: Trajectory Design and Energy Optimization. IEEE Trans. Wirel. Commun. 2018, 17, 5092–5106. [Google Scholar] [CrossRef] [Green Version]
  24. Du, Y.; Yang, K.; Wang, K.Z.; Zhang, G.P.; Zhao, Y.Z.; Chen, D.W. Joint Resources and Workflow Scheduling in UAV-Enabled Wirelessly-Powered MEC for IoT Systems. IEEE Trans. Veh. Technol. 2019, 68, 10187–10200. [Google Scholar] [CrossRef]
  25. Hu, Y.L.; Yuan, X.P.; Xu, J.; Schmeink, A. Optimal 1D Trajectory Design for UAV-Enabled Multiuser Wireless Power Transfer. IEEE Trans. Commun. 2019, 67, 5674–5688. [Google Scholar] [CrossRef] [Green Version]
  26. Xie, L.F.; Xu, J.; Zhang, R. Throughput Maximization for UAV-Enabled Wireless Powered Communication Networks. IEEE Internet Things J. 2019, 6, 1690–1703. [Google Scholar] [CrossRef] [Green Version]
  27. Baek, J.; Han, S.I.; Han, Y. Optimal UAV Route in Wireless Charging Sensor Networks. IEEE Internet Things J. 2020, 7, 1327–1335. [Google Scholar] [CrossRef]
  28. Su, C.X.; Ye, F.; Wang, L.C.; Wang, L.; Tian, Y.; Han, Z. UAV-Assisted Wireless Charging for Energy-Constrained IoT Devices Using Dynamic Matching. IEEE Internet Things J. 2020, 7, 4789–4800. [Google Scholar] [CrossRef]
  29. Wu, P.F.; Xiao, F.; Sha, C.; Huang, H.P.; Sun, L.J. Trajectory Optimization for UAVs’ Efficient Charging in Wireless Rechargeable Sensor Networks. IEEE Trans. Veh. Technol. 2020, 69, 4207–4220. [Google Scholar] [CrossRef]
  30. Wu, P.F.; Xiao, F.; Huang, H.P.; Wang, R.C. Load Balance and Trajectory Design in Multi-UAV Aided Large-Scale Wireless Rechargeable Networks. IEEE Trans. Veh. Technol. 2020, 69, 13756–13767. [Google Scholar] [CrossRef]
  31. Yan, H.; Chen, Y.F.; Yang, S.H. UAV-Enabled Wireless Power Transfer with Base Station Charging and UAV Power Consumption. IEEE Trans. Veh. Technol. 2020, 69, 12883–12896. [Google Scholar] [CrossRef]
  32. Hu, H.; Huang, Y.C.; Da, X.Y.; Zhang, H.; Gao, W.T.; Ni, L.; Pan, Y. Optimization of Energy Utilization in Cognitive UAV Systems. IEEE Sens. J. 2021, 21, 3933–3943. [Google Scholar] [CrossRef]
  33. Hu, H.M.; Xiong, K.; Qu, G.; Ni, Q.; Fan, P.Y.; Letaief, K.B. AoI-Minimal Trajectory Planning and Data Collection in UAV-Assisted Wireless Powered IoT Networks. IEEE Internet Things J. 2021, 8, 1211–1223. [Google Scholar] [CrossRef]
  34. De Suman, S. Optimal UAV-Aided RFET System Design in Presence of Hovering Inaccuracy. IEEE Trans. Commun. 2021, 69, 558–572. [Google Scholar] [CrossRef]
  35. Yuan, X.P.; Yang, T.Y.; Hu, Y.L.; Xu, J.; Schmeink, A. Trajectory Design for UAV-Enabled Multiuser Wireless Power Transfer with Nonlinear Energy Harvesting. IEEE Trans. Wirel. Commun. 2021, 20, 1105–1121. [Google Scholar] [CrossRef]
  36. Caillouet, C.; Razafindralambo, T.; Zorbas, D. Optimal placement of drones for fast sensor energy replenishment using wireless power transfer. In 2019 Wireless Days; IEEE: New York, NY, USA, 2019. [Google Scholar] [CrossRef] [Green Version]
  37. Baek, J.; Han, S.I.; Han, Y. Energy-Efficient UAV Routing for Wireless Sensor Networks. IEEE Trans. Veh. Technol. 2020, 69, 1741–1750. [Google Scholar] [CrossRef]
  38. Subash, J.S.; Vijay, M.; Preveen, V.; Mohith, V.; Panda, M. Sensor Data Harvesting Using an Autonomous Drone. In Proceedings of the 2020 5th International Conference on Communication and Electronics Systems (ICCES), Coimbatore, India, 10–12 June 2020. [Google Scholar] [CrossRef]
  39. Amponis, G.; Lagkas, T.; Sarigiannidis, P.; Vitsas, V.; Fouliras, P. Inter-UAV Routing Scheme Testbeds. Drones 2021, 5, 2. [Google Scholar] [CrossRef]
  40. Casalino, A.; Zanchettin, A.M.; Piroddi, L.; Rocco, P. Optimal Scheduling of Human-Robot Collaborative Assembly Operations with Time Petri Nets. IEEE Trans. Autom. Sci. Eng. 2021, 18, 70–84. [Google Scholar] [CrossRef]
  41. Cao, R.M.; Hao, L.N.; Gao, Q.; Deng, J.X.; Chen, J.M. Modeling and Decision-Making Methods for a Class of Cyber-Physical Systems Based on Modified Hybrid Stochastic Timed Petri Net. IEEE Syst. J. 2020, 14, 4684–4693. [Google Scholar] [CrossRef]
  42. Yang, Y.; Hu, H.S. A Distributed Control Approach to Automated Manufacturing Systems with Complex Routes and Operations Using Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 2020, 50, 3670–3684. [Google Scholar] [CrossRef]
  43. Luo, J.L.; Wan, Y.X.; Wu, W.M.; Li, Z.W. Optimal Petri-Net Controller for Avoiding Collisions in a Class of Automated Guided Vehicle Systems. IEEE Trans. Intell. Transp. Syst. 2020, 21, 4526–4537. [Google Scholar] [CrossRef]
  44. Luo, J.L.; Huang, Y.S.; Weng, Y.S. Design of Variable Traffic Light Control Systems for Preventing Two-Way Grid Network Traffic Jams Using Timed Petri Nets. IEEE Trans. Intell. Transp. Syst. 2020, 21, 3117–3127. [Google Scholar] [CrossRef]
  45. Qin, H.; Xu, L.; Zhao, B.; Wan, J. Petri-Net based Modelling and Multi-Objective Optimal Deployment for WRSN. Control Eng. Appl. Inform. 2020, 22, 3–12. [Google Scholar]
  46. Qin, H.Y.; Zhao, B.H.; Xu, L.J.; Bai, X. Hybrid Cyber Petri net Modelling, Simulation and Analysis of Master-Slave Charging for Wireless Rechargeable Sensor Networks. Sensors 2021, 21, 551. [Google Scholar] [CrossRef] [PubMed]
  47. Lu, L.C.; Yue, T.W. Mission-oriented ant-team ACO for min-max MTSP. Appl. Soft Comput. 2019, 76, 436–444. [Google Scholar] [CrossRef]
  48. Deb, K.; Pratap, A.; Agarwal, S.; Meyarivan, T. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 2002, 6, 182–197. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Illustration of multi-UAV aided wireless power and information transfer.
Figure 1. Illustration of multi-UAV aided wireless power and information transfer.
Remotesensing 13 02611 g001
Figure 2. A simple HCCPNS model. (a) Folded model; (b) unfolded model: continuous part; (c) unfolded model: discrete part.
Figure 2. A simple HCCPNS model. (a) Folded model; (b) unfolded model: continuous part; (c) unfolded model: discrete part.
Remotesensing 13 02611 g002
Figure 3. HCCPNS model of multi-UAV aided wireless power and information transfer.
Figure 3. HCCPNS model of multi-UAV aided wireless power and information transfer.
Remotesensing 13 02611 g003
Figure 4. The longest trajectory of 6 UAVs with different algorithm.
Figure 4. The longest trajectory of 6 UAVs with different algorithm.
Remotesensing 13 02611 g004
Figure 5. The longest trajectory of 6, 9, 12, and 15 UAVs.
Figure 5. The longest trajectory of 6, 9, 12, and 15 UAVs.
Remotesensing 13 02611 g005
Figure 6. The average trajectory of 6, 9, 12, and 15 UAVs.
Figure 6. The average trajectory of 6, 9, 12, and 15 UAVs.
Remotesensing 13 02611 g006
Figure 7. The average time delay of 6 UAVs with different algorithm.
Figure 7. The average time delay of 6 UAVs with different algorithm.
Remotesensing 13 02611 g007
Table 1. Main notations.
Table 1. Main notations.
NotationDescription
M number of UAVs
N number of SDs
P m o v moving power of the UAV
P h o v hovering power of the UAV
P t r a transmitting power of the UAV
E j , r e c i received energy of the j th SD from the i th UAV
E m o v i moving energy of the i th UAV
E h o v i hovring energy of the i th UAV
E t r a i transmitting energy of the i th UAV
Table 2. Description of representative places and transitions.
Table 2. Description of representative places and transitions.
NameFunction
U j i Place when the i -th UAV hovers directly over the j -th SD
I j Place of the j -th SD
T ( i ) j + 1 j Transition that the i -th UAV flies from the j -th to ( j + 1 )th SD
T h j i Transition that the i -th UAV hovers directly over the j -th SD
T d j i Transition that the i -th UAV collects information from the j -th SD
T s e n j Transition that the j -th SD consumes energy
T e m e ( i ) Transition that the i -th UAV returns to the depot emergently
Table 3. Description of representative arcs.
Table 3. Description of representative arcs.
ArcWeight
W C ( U j i , T ( i ) C j + 1 j ) M C ( U j i _ t j + )
W D ( U j i , T ( i ) D j + 1 j ) M D ( U j i _ t j + )
w r i t e D ( T ( i ) D j + 1 j , U j + 1 i ) M D ( U j i _ t j + )
w r i t e C ( T ( i ) C j + 1 j , U j + 1 i ) M C ( U j i _ t j + ) - P m o v × t j , j + 1
W ( U j i , T h j i ) P h o v
W ( U j i , T c j i ) P t r a
W ( T c j i , I j ) P r e c
W ( I j , T s e n j ) P s e n j
W ( I j , T d j i ) 1
w r i t e ( T d j i , U j i ) 1
i n h i b i t ( I j , T c j i ) ,   p e r m i t ( I j , T ( i ) j + 1 j ) , M C ( I j ) = k H ( I j )
i n h i b i t ( U j i , T c j i ) ,   i n h i b i t ( U j i , T h j i ) ,
i n h i b i t ( U j i , T ( i ) j + 1 j )
M C ( U j i ) = k L ( U j i )
p e r m i t ( U j i , T e m e ( i ) ) M C ( U j i ) = k L ( U j i )
Table 4. Simulation parameters.
Table 4. Simulation parameters.
ParameterValueParameterValue
N { 100 , 200 , , 1000 } h 0 ( 200 , 200 )
A ( m 2 )0.503 v 0 4.03
U t i p ( m / s ) 120 d 0 0.6
s 0.05 ρ ( kg / m 3 ) 1.225
H ( m ) 20 P h o v ( W ) 13.7
V e ( m / s ) 10 P m o v ( W ) 30
η 90% P t r a ( W ) 3
M ( m 2 ) 400 × 400 ρ 0 ( dB ) −60
Table 5. The energy efficiency of UAV with longest trajectory.
Table 5. The energy efficiency of UAV with longest trajectory.
Number
of SDs
Number
of UAVs
MAC-NSGA IINSGAIIIMOEA/D
OptimalWorstAverageMedianOptimalMedianOptimalMedian
20062.13%1.08%1.64%1.69%2.02%1.59%1.93%1.54%
92.15%1.13%1.69%1.72%2.06%1.62%1.97%1.57%
122.16%1.17%1.75%1.82%2.09%1.72%1.97%1.69%
152.21%1.32%1.84%1.88%2.12%1.79%2.00%1.70%
40061.90%0.66%1.32%1.33%1.80%1.27%1.73%1.25%
91.92%0.69%1.33%1.35%1.83%1.30%1.75%1.27%
122.00%0.80%1.42%1.39%1.92%1.34%1.82%1.30%
152.09%0.98%1.58%1.61%1.97%1.51%1.84%1.47%
60061.58%0.39%0.93%0.90%1.49%0.84%1.43%0.79%
91.72%0.51%1.09%1.03%1.61%0.97%1.55%0.92%
121.74%0.51%1.17%1.19%1.67%1.12%1.57%1.07%
151.88%0.64%1.28%1.30%1.77%1.22%1.71%1.14%
80061.48%0.33%0.83%0.84%1.39%0.80%1.35%0.73%
91.51%0.35%0.86%0.87%1.44%0.77%1.37%0.75%
121.70%0.47%1.03%1.00%1.62%0.94%1.57%0.89%
151.77%0.53%1.12%1.13%1.67%1.07%1.63%1.04%
100061.20%0.22%0.62%0.58%1.13%0.54%1.09%0.51%
91.49%0.34%0.86%0.83%1.42%0.79%1.35%0.74%
121.54%0.36%0.90%0.87%1.47%0.82%1.39%0.78%
151.60%0.40%0.95%0.95%1.51%0.89%1.46%0.84%
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Qin, H.; Zhao, B.; Xu, L.; Bai, X. Petri-Net Based Multi-Objective Optimization in Multi-UAV Aided Large-Scale Wireless Power and Information Transfer Networks. Remote Sens. 2021, 13, 2611. https://doi.org/10.3390/rs13132611

AMA Style

Qin H, Zhao B, Xu L, Bai X. Petri-Net Based Multi-Objective Optimization in Multi-UAV Aided Large-Scale Wireless Power and Information Transfer Networks. Remote Sensing. 2021; 13(13):2611. https://doi.org/10.3390/rs13132611

Chicago/Turabian Style

Qin, Huaiyu, Buhui Zhao, Leijun Xu, and Xue Bai. 2021. "Petri-Net Based Multi-Objective Optimization in Multi-UAV Aided Large-Scale Wireless Power and Information Transfer Networks" Remote Sensing 13, no. 13: 2611. https://doi.org/10.3390/rs13132611

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop