I Introduction
Intelligent transportation systems (ITSs) will be a major component of tomorrow’s smart cities. In essence, ITSs will provide a much safer and more coordinated traffic network by using efficient traffic management approaches [2]. One promising ITS service is the socalled autonomous vehicular platoon system, which is essentially a group of vehicles that operate together and continuously coordinate their speed and distance. By allowing autonomous vehicles to selforganize into a platoon, the road capacity can increase so as to prevent traffic jams [3]. Also, vehicles in the platoon can raise the fuel efficiency [4]. Furthermore, platoons can provide passengers with more comfortable trips, especially during long travels [5].
To reap the benefits of platooning, one must ensure that each vehicle in the platoon has enough awareness of its relative distance and velocity with its surrounding vehicles. This is needed to enable vehicles in a platoon to coordinate their acceleration and deceleration. In particular, enabling autonomous platooning requires two technologies: vehicletovehicle (V2V) communications [6] and cooperative adaptive cruise control (CACC) [7]. V2V communications enable vehicles to exchange information, such as high definition (HD) maps, velocity, and acceleration [8]. Meanwhile, CACC is primarily a control system that allows control of the distances between vehicles using information collected by sensors and V2V links. Effectively integrating the operation of the CACC system and the V2V communication network is central for successful platooning in ITSs.
Nevertheless, due to dynamic onvehicle data processing rate and the uncertainty of the wireless channel, the V2V communication links among vehicles will inevitably suffer from timevarying delays. Unfortunately, if the delayed information is used in the design of the the autonomous vehicles’ control system, such information can jeopardize the stable operation of the platoon [9]. Therefore, to maintain the stability of a platoon, the control system must be robust to such wireless transmission delays. To this end, one must jointly design the control and wireless systems of a platoon to guarantee low latency and stability.
The prior art on vehicular platooning can be grouped into two categories. The first category focuses on the performance analysis, such as interference management [10, 11, 12, 13], coverage analysis [14], and transmission delay analysis [15, 16, 17], for the intervehicle communication network. The second category designs control strategies that guarantee the stability of the platoon system. Such strategies include adaptive cruise control (ACC) [18], enhanced ACC [19], and connected cruise control (CCC) [20]. However, these works are limited in two aspects. The communicationcentric works in [10, 11, 12, 13, 14, 15, 16, 17] completely abstract the control system and do not study the impact of wireless communications on the platoon’s stability. Meanwhile, the controlcentric works in [19, 18, 20] focus solely on the stability, while assuming a deterministic performance from the communication network. Such an assumption is not practical for platoons that coexist with 5G cellular networks, since interference from uncoordinated cochannel transmissions by other users, vehicles, and platoons can substantially impact the system’s performance. Clearly, despite the interdependent performance of communication and control systems in a platoon, there is a lack in existing works that jointly study the wireless and control system performance for vehicular platoons.
The main contribution of this paper is a novel, integrated control system and V2V wireless communication network framework for autonomous vehicular platoons. In particular, we first analyze the stability of the control system in a platoon, and, then, we determine the maximum tolerable transmission delay to maintain the stability of the platoon. Next, we use stochastic geometry and queuing theory to perform endtoend delay analysis for the V2V communication link between two consecutive vehicles in the platoon. Based on the maximum wireless system delay and the theoretical endtoend delay, we conduct reliability analysis for the wireless communication network. Here, reliability is defined as the possibility of the wireless system meeting the maximum delay requirements from the control system. Finally, we optimize the design of the control system to improve the reliability of the communication network. To our best knowledge, this is the first work that considers the joint design of control and communication system performance for a wirelessly connected autonomous platoon. The novelty of this work lies in the following key contributions:

We propose an integrated control system and V2V wireless communication performance analysis framework to guarantee the overall operation of wirelessly connected vehicular platoons. In particular, we analyze two types of control system stability, plant stability and string stability, for the platoon, and derive the maximum wireless system delay that guarantees both types of stability. We then consider a highway model that models the distribution of platoon vehicles and nonplatoon vehicles and derive the complementary cumulative density function (CCDF) for the signaltointerferenceplusnoiseratio (SINR) of V2V communication links. Given the derived CCDF expression, we make use of queuing theory to determine the endtoend wireless system delay, including queuing, processing, and transmission delay for the V2V link in the platoon.

We use the derived delay to study how the wireless network can meet the control system’s delay needs. In particular, we derive a lower bound on the wireless network reliability (in terms of delay) needed to guarantee plant and string stability. In addition, we find an approximated reliability expression for vehicular network scenarios in which the wireless system delay is dominated by the transmission delay.

We propose two optimization mechanisms to effectively design the control system as as to improve the reliability of the wireless network. In particular, we find the optimal control system parameters that maximize the lower bound and the approximated values of the wireless network reliability.

Simulation results corroborate the stability and SINR analysis and validate the effectiveness of the proposed joint control and communication framework. The results show how key parameters, such as the distribution density of nonplatoon vehicles, packet size, spacing between two platoon vehicles, and platoon size, affect the reliability of a platoon. The results also show that, by optimizing the control system, the approximated reliability and the reliability lower bound of the wireless network can increase by as much as % and , respectively.

The proposed framework provides important guidelines to jointly design the wireless network and the control system for platoon systems. In particular, on the one hand, one should properly select the number of followers, the frequency bandwidth, and the spacing between two consecutive vehicles in the platoon system to ensure the stability of the control system. On the other hand, one can optimize the design of the control system, i.e., selecting proper control parameters, to alleviate the constraints on the wireless system delay and thereby improve the reliability of the wireless network.
The rest of the paper is organized as follows. Section II presents the system model. In Section III, we perform stability analysis for the autonomous platoon. The endtoend delay and reliability analysis are presented in Section IV. Section V shows how to optimize the design of the control system. Section VI provides the simulation results, and conclusions are drawn in Section VII.
Ii System Model
Iia Highway Traffic Model
Consider a highway traffic model that is composed of a number of autonomous vehicles driving in a platoon and multiple vehicles driving individually, as shown in Fig. 1. All vehicles (inside and outside the platoon) communicate with one another using V2V communications. The vehicles can also transmit information to existing base stations (BSs) or road side units. Each lane in the highway model has the same width , and vehicles are considered to travel along the horizontal axes in these lanes. As shown in Fig. 1, we label all lanes based on their relative locations and we assume that platoon vehicles are moving in platoon lane while the other lanes are designated as nonplatoon lanes. Accordingly, we define the set of transmitting vehicles driving on nonplatoon lanes and the set of transmitting nonplatoon vehicles on the platoon lane. In particular, consists of multiple subsets , , of transmitting nonplatoon vehicles on nonplatoon lane . However, set is only composed of two subsets of transmitting vehicles: one subset of vehicles driving ahead of the platoon and another subset behind the platoon.
To capture the distribution of transmitting nonplatoon vehicles in the highway, we make use of spatial point processes from stochastic geometry. In particular, we characterize the distribution of transmitting vehicles on nonplatoon lane , as a homogeneous Poisson point process (PPP) with density . Moreover, for the platoon lane, the transmitting vehicles driving ahead of the platoon follow a nonhomogeneous PPP [21] where the distribution density for points ahead of the platoon is and the density for points elsewhere is . Similarly, the transmitting vehicles driving behind the platoon also follow a nonhomogeneous PPP where the distribution density of points behind the platoon is and the density for points elsewhere is . Furthermore, as shown in Fig. 1, we consider a Cartesian coordinate system centered on the rear bumper of an arbitrarily selected platoon vehicle. In this case, the rear bumper location of each vehicle in the highway model can be mathematically represented using the coordinate system. For example, for a vehicle that is sharing the same lane with the platoon, the location can be expressed as , where is the signed distance to the centered vehicle. However, for vehicle driving on lane different from the platoon lane, the corresponding location is , where captures the signed distance to the axis, and denotes the lane number.
For vehicles inside the platoon, we consider a leaderfollower model [7], as shown in Fig. 2. The leaderfollower model is composed of a set of cars where the leading vehicle is the leader and the remaining vehicles are the followers. The location of each vehicle in the platoon is captured by the rear bumper position . For each vehicle, an embedded radar can sense the distance between its rear bumper and the rear bumper of the preceding vehicle. Moreover, every vehicle can communicate with its neighbors via V2V links to exchange a variety of information such as critical information (e.g., velocity, acceleration, HD maps), and noncritical information (e.g., videos). Such information exchange can help the autonomous vehicle increase awareness of the environment and further coordinate its operation [8].
IiB Channel Model and Interference Analysis
For V2V communications, we assume a V2V underlay network where the available cellular bandwidth is reused by all V2V links outside the platoon. Meanwhile, to facilitate simultaneous V2V communications and avoid interference among vehicles inside the platoon, we consider an orthogonal frequencydivision multiple access (OFDMA) scheme, with the number of subcarriers being equal to the number of followers, i.e., subcarriers are allocated orthogonally and uniformly to V2V links in the platoon. However, due to bandwidth sharing with nonplatoon vehicles, the followers will encounter interference from other V2V links outside the platoon. According to the work in [22], we model V2V channels in the platoon as independent Nakagami channels with parameter . Therefore, in the platoon, the received power at any follower from the transmission of platoon car by using subcarrier is , where is the transmit power of each vehicle,
is the Nakagami channel gain that follows a gamma distribution with shape parameter
, is the distance between vehicles and inside the platoon, and is the path loss exponent. We model the channels from nonplatoon vehicles to an arbitrary platoon vehicle as independent Rayleigh fading channels [23]. With this in mind, the overall interference at car is the sum of two following interference terms:(1)  
(2) 
where denotes the distance between vehicles and , and refers to the channel gain from vehicle to at time
, which follows an exponential distribution with mean equal to
. Using (1) and (2), the SINR of the V2V link on subcarrier from car to will be:(3) 
where
is the variance of Gaussian noise. Using (
3), we can obtain the throughput of the V2V link between vehicles and as .IiC Control Model
To realize the target spacing for the platoon, the CACC system in each vehicle will brake or accelerate according to the difference between the actual distance and target spacing slot to the preceding vehicle. That is, if the difference is positive, the vehicle must speed up so that the distance to the preceding car meets the platoon’s target spacing. Otherwise, the vehicle must slow down. This distance difference is defined as the spacing error :
(4) 
where is the target spacing for the platoon system. The distance difference, , is commonly known as the headway, which can be measured instantly by the vehicle’s builtin radar sensor, as shown in Fig. 3. In addition, the velocity error will be:
(5) 
where represents the velocity of vehicle at time , and is the target velocity for the platoon system. Similar to the optimal velocity model (OVM) introduced in [24], to realize the stability of a platoon system, the acceleration or deceleration of each vehicle must be determined by two components: 1) the difference between headwaydependent and actual velocities, and 2) the velocity difference between a given vehicle and its preceding vehicle. Hence, we can use the following control law to determine the acceleration of vehicle [24]:
(6) 
where captures the wireless system delay between vehicle and its preceding vehicle, is the associated gain of vehicle for the difference of the headwaydependent velocity and the actual speed, and is the associated gain of vehicle for the velocity difference between cars and . Note that the associated gains and essentially capture the sensibility of the CACC system to respond to changes of the distance and velocity. The headwaydependent velocity should satisfy following properties: 1) in dense traffic, the vehicle will stop, i.e., for , 2) in sparse traffic, the vehicle can travel with its maximum speed , which is also called freeflow speed, for , and 3) when , is a monotonically increasing function of . We define the function similar to [25]:
(7) 
To guarantee the stable operation of the platoon system, it is essential to jointly consider the design of the communication and control systems. In particular, on the one hand, for a given control system setup, one can design the wireless network so as to meet the delay requirement of V2V links and prevent the instability of the control system. On the other hand, given the state of the wireless system, one can also optimize the design of the control system to relax the delay requirements for the communication system. In the following sections, we will first conduct stability analysis for the control system and find the wireless system delay requirements to realize the stable operation of the control system. Then, based on the distribution of vehicles, we derive the CCDF of the SINR of V2V links in the platoon. To model the delay, we consider two queues in tandem for the V2V link, and leverage queuing theory to derive the endtoend delay, including queuing, processing, and transmission delay. Then, we derive the lower bound and approximated expressions for the wireless system reliability, defined as the probability that the wireless system meets the delay requirements from the control system. Moreover, we study the optimal design for the control system to maximize the derived reliability metrics of the wireless network.
Iii Stability Analysis of the Control System
For the leaderfollower platoon model, the inevitable wireless system delay in (6) can negatively impact the stability of the platoon system. Here, we perform stability analysis for the control system in presence of a wireless system delay. We analyze two types of stability: plant stability and string stability [7]. Plant stability focuses on the convergence of error terms related to the intervehicle distance and velocity, while string stability pertains to the error propagation across the platoon. Using this stability analysis, we obtain the wireless system delay thresholds that can ensure plant and string stability for the control system.
Iiia Plant Stability
Plant stability requires all followers in a platoon to drive with the same speed as the leader and maintain a target distance from the preceding vehicle. In other words, plant stability requires both the spacing and speed errors of each vehicle to converge to zero. To prove the convergence, we first take the firstorder derivative of (4) and (5) as:
(8) 
where and are variables differentiated with respect to time , , , and . Since the leading vehicle with index always drives with the target velocity and has no car ahead of it, its velocity (spacing) error is (). Also, as the channel gains of different V2V links follow the same distribution and two adjacent vehicles in a platoon are always close to each other, we assume that the time delay
. Then, after the BS collects spacing and velocity errors for all of the followers, we can find the augmented error state vector
and obtain(9) 
where
(10)  
(11)  
(12) 
and For ease of presentation, we rewrite , , and replace with hereinafter. Since plant stability requires the spacing and velocity errors to approach zero, the error vector should be asymptotically stable.
To guarantee the plant stability for a platoon, the delay experienced by a V2V link should be below a threshold. Next, we derive the delay threshold to guarantee plant stability.
Theorem 1.
The plant stability of the system in (6) can be guaranteed if the maximum delay of the V2V link in the platoon satisfies:
(13) 
where and
represent the maximum and minimum eigenvalues of the corresponding matrix, respectively.
Proof:.
Please refer to Appendix A. ∎
Hence, when , following vehicles will eventually drive with the same speed as the leading vehicle and keep an identical distance to the corresponding preceding vehicles.
IiiB String Stability
Beyond plant stability, we must ensure that the platoon is string stable. In particular, if the disturbances, in terms of velocity or distance, of preceding vehicles do not amplify along with the platoon, the system can have string stability and the safety of the system can be secured [3]. To analyze string stability, we also consider the wireless delay between vehicles and . Hence, after conducting the Laplace transform on the two equations in (8), we can obtain the transfer function between two adjacent vehicles as follows:
(14) 
By using the Padé approximation,
[26], we further simplify (14) and derive the maximum wireless system delay needed to maintain the string stability for the platoon system.Theorem 2.
The string stability of the system in (6) can be guaranteed if the maximum delay of the V2V link in the platoon satisfies:
(15) 
Proof:.
Please refer to Appendix B. ∎
Thus, if , the spacing error and velocity error will not amplify along the string of vehicles, guaranteeing the platoon’s safety. To guarantee both plant and string stability for a platoon, we must ensure that the delay encountered by the V2V link is such that .
Iv EndtoEnd Latency Analysis of the Wireless Network
From the results presented in Section III, to realize the stability for the control system, the wireless V2V network must guarantee that the maximum delay between two consecutive vehicles in the platoon is less than a threshold. To quantify such wireless system delay, we need to know how a data packet propagates among vehicles as well as the key factors that affect the delay inside the platoon. As shown in Fig. 6LABEL:sub@informationPropagation1, vehicular network information, such as velocity and acceleration, will be first collected by various sensing units in the vehicle. Here, sensing units consist of analogtodigital converters (ADCs), which convert analog data from the sensor to digital data that can be processed by the processor. Then, the vehicle will process the data and convert it into analog data, which will be finally transmitted by transceiver to other vehicles via V2V links. Such information exchange is needed because vehicles can have more awareness of the nearby environment so as to know where to go and when to stop [27]. This process will occur periodically because the environment both inside and outside of the platoon system is changing all the time. To capture the V2V communication delay, we define the queuing model shown in Fig. 6LABEL:sub@informationPropagation2 with no time delay accounted for sensor information collection and ADCs processes. In particular, after being converted at ADCs, each information packet experiences queuing delay and the processing delay at the processor (the first queue ), and, then, the packet will encounter the queuing delay and the transmission delay at the transceiver (the second queue ). We define the total time delay from the transmitting vehicle to the receiving vehicle of a V2V link in the platoon as the endtoend delay, including the time spent in queues and .
Iva Queuing Delay and Processing Delay in Queue
Once a vehicle collects the data using its sensors, data needs to be processed locally and then sent to the transceiver. To model the delay at the processor, similar to [28], we consider a Poisson arrival process of the sensor packets with rate and a buffer with infinite size for the processor. Also, we consider that the processor serves the incoming data based on a first come, first serve policy. Moreover, the service time of the vehicle processor follows an exponential distribution with rate parameter for guaranteeing the stability of the first queue [29]. Similar to the dynamic voltage scaling technique introduced in [30], the voltage for the processor will dynamically change and the processing rate will change accordingly. We assume that the rate parameter can be expressed as a monotonically decreasing function of the distance to the preceding vehicle. Consequently, when the distance between two vehicles is small, the service rate will increase so that the processing time and the queuing delay in queue can be reduced. To guarantee the decreasing monotonicity of , we propose the following policy for :
(16) 
where is the maximum distance detected by the embedded radar sensor, and is the maximum rate of the vehicle’s processor. We assume that each vehicle has only one processor, so the first queue can be modeled as an M/M/1 queue. Thus, according to [29], the average queuing delay of a packet at the vehicle’s processor can be expressed as The mean processing time of each packet at the processor can be captured by . Based on and , we can obtain the average delay for each packet at the first queue :
(17) 
IvB Queuing Delay and Transmission Delay in Queue
In queue , the processing rate of the transceiver is determined by the channel quality and, whenever the buffer is not empty, any incoming packet will have to wait in the buffer. According to the Burke’s theorem [31], when the service rate is bigger than the arrival rate for an M/M/1 queue, the departure process can be modeled as a Poisson process with the same rate. In this case, given that is always satisfied in the first queue , the incoming packet for the second queue follows a Poisson process with rate . In addition, we assume an infinite buffer size and a first come, first serve policy for . Furthermore, the service rate in the second queue is essentially the V2V data rate which will follow a general distribution because of the uncertainty of the wireless channel. To characterize such channel uncertainty, we make use of stochastic geometry to analyze the V2V communication performance. In particular, we assume that the rear bumper of platoon vehicle is located at the origin of the Cartesian system. As explained in Section II, vehicle will experience interference from transmitting nonplatoon vehicles on any lane. Next, we take vehicle as an example and use the Laplace transforms of the experienced interference generated by nonplatoon vehicles in the following lemmas.
Lemma 1.
For an arbitrary vehicle in the platoon, the Laplace transform of the interference from transmitting vehicles on the nonplatoon lanes in (1) can be given by:
(18) 
Proof:.
Please refer to Appendix C. ∎
Lemma 2.
For an arbitrary vehicle in the platoon, the Laplace transform of the interference from transmitting nonplatoon vehicles on the platoon lane in (2) can be given by:
(19) 
where and are the distance from vehicle to the head and the tail of the platoon, respectively.
Proof:.
The proof is similar to Appendix C. However, for vehicles driving on the platoon lane, the distance is directly equal to the horizontal distance. ∎
Based on the Laplace transforms of interference terms in (1) and (19), we can obtain the expressions of the mean and variance of the service time for a single packet as follow.
Theorem 3.
For a single packet transmitted from vehicle to vehicle in the platoon, the mean and variance of the service time can be expressed as
(20)  
(21) 
where is the packet size in bits, and with
(22) 
and .
Proof:.
Please refer to Appendix D. ∎
Given the distribution of incoming packets and the infinite storage capacity, the second queue can be modeled as an M/G/1 queue. Thus, according to the wellknown PollaczekKhinchine formula [32], we can determine the average delay, including the transmission delay and the waiting time, in the second queue as:
(23) 
where and . We assume that the receiving vehicle can be aware of the velocity of the preceding vehicle once it receives the information packet over wireless communications. Thus, the average endtoend delay can be expressed as .
IvC ControlAware Reliability of the Wireless Network
To assess the performance of the integrated control and communication system, we introduce a notion of reliability for the wireless network, defined as the probability of the instantaneous delay in the wireless network meeting the control system’s delay needs. This reliability measure allows for the characterization of the performance of the wireless network that can guarantee the stability of the platoon’s control system. Moreover, we will use this deviation to gain insights on the design of wireless networks that can sustain the operation of vehicular platoons. These insights include characterizing how much transmission power and bandwidth are needed to realize a target reliability. However, it is challenging to directly derive the probability density functions (PDFs) of the instantaneous wireless network delay. The reason is that, in queuing theory, the average waiting time is not derived based on the PDF of the instantaneous waiting time. Instead, the average waiting time is calculated by first deriving the average number of packets staying in the queue and then using Little’s law, which is the relationship among the number of packets, the incoming packet rate, and the waiting time
[29]. As the endtoend delay is composed of queuing delay, processing delay, and transmission delay, finding the exact PDFs for the instantaneous wireless system delay and the reliability is thereby challenging. Alternatively, we will derive a lower bound for the reliability of the wireless network in the following theorem.Theorem 4.
For the followers in a platoon system, when the average wireless system delay is smaller than the requirement of the stability of the control system, a lower bound for the reliability of the wireless network can be given by:
(24) 
where and are the delay requirements to guarantee plant and string stability, respectively, for the control system.
Proof:.
Please refer to Appendix E. ∎
Corollary 1.
By substituting the delay requirement by or in (24), the lower bounds of the reliability for the wireless network guaranteeing either plant stability or string stability can be obtained.
Given the lower bounds in Theorem 4 and Corollary 1, we can deduce key guidelines for the joint design of the wireless network and the control system. For instance, to guarantee that the reliability exceeds a threshold, e.g., 95%, we can ensure that the lower bound in (24) is equal to the threshold by choosing proper values for the wireless network parameters, such as bandwidth and transmission power. Meanwhile, we can increase by properly selecting the control parameters and for the control system to guarantee that the lower bound is equal to the threshold as well. Moreover, next, we can obtain an approximated reliability expression if the wireless delay is dominated by the transmission delay.
Corollary 2.
When the vehicle’s processor is highly capable and the incoming packet rate is small, the delay at and the queuing delay at are relatively small compared to the transmission delay at . In this case, the wireless system delay is dominated by the transmission delay at , and the reliability of the wireless network can be thereby approximated by:
(25) 
From Corollary 2, we can not only infer guidelines for the design of the wireless network and the control system to guarantee a promising reliability, but we can also observe how the interference and noise directly impact the ability of the wireless network to secure the stability of the control system. To mitigate such impacts, one needs to develop interference management and noise mitigation mechanisms. However, when the state of the wireless network is given, we can still guarantee a satisfactory reliability for the platoon system by optimizing the design of the control system, as explained next.
V Optimal Controller Design
For a system with fixed control parameters, and , , in the control law (6), we can meet the delay requirements in Theorems 1 and 2 by improving the wireless network performance. However, when the control parameters are not fixed, we can optimize the design of the control system to relax the constraints on the wireless network without jeopardizing the system stability. In particular, to improve the reliability of the wireless network, the optimization of the control system can be done depending on the capabilities of the processor and the arrival rate. For instance, for scenarios in which the processor is highly capable and the arrival rate is small, we can find control parameters for maximizing so as to improve the approximated reliability as per Corollary 2. In contrast, if we consider a general scenario, then we can directly maximize the lower bound as per Theorem 4.
Va Optimization of the Approximated Reliability
To improve the reliability of the wireless network in Corollary 2, we design the control system to maximize the smaller value between the two stability delay requirements, i.e., . Here, we assume that the control parameters are the same for each vehicle at time , i.e., and , , and the optimization problem can be formulated into the following form:
(26)  
(27)  
(28) 
where constraint (27) guarantees plant stability and string stability for the platoon system, and constraint (28) guarantees that both control parameters are selected within reasonable ranges.
Theorem 5.
The optimal control parameters that are the solutions to the optimization problem in (26)–(28) are given by:

when and ,

when and for ,

when and for ,

when and for ,

when and for ,

when and for and ,

when and for and ,

when and for and ,

when and for and .
Proof:.
Please refer to Appendix F. ∎
Note that matrices in the numerator and denominator of (13) are symmetric, and, hence, we can use the inverse iteration algorithm and power iteration algorithm, introduced in [33], to approximately find the minimum eigenvalue for the matrix in the numerator and the maximum eigenvalue for the matrix in the denominator. Furthermore, we can identify whether and are positive or negative based on the range of and and, then, determine the optimal control parameters in Theorem 5.
VB Optimization of the Lower Bound for the Reliability
To increase the wireless network’s reliability derived in Theorem 4, we can directly maximize the lower bound obtained in (24) by choosing proper and . In particular, the optimization function can be formulated as
(29)  
(30)  
(31) 
where constraint (30) is a necessary condition for calculating the lower bound of the reliability, and constraint (31) guarantees that both control parameters are selected in reasonable ranges.
Theorem 6.
The optimal control parameters that are the solution to the optimization problem in (29)–(31) will be equal to the solutions derived in Theorem 5 as long as such control parameters can guarantee .
Proof:.
Please refer to Appendix G. ∎
Using the two foregoing optimization problems, we can find appropriate parameters for the control mechanism to improve the performance of wireless networks. However, we note that changing the control system parameters may lead to an increase of the manufacturer cost and maintenance spending. Nevertheless, Theorems 5 and 6 still provide us with key guidelines on how to modify the control parameters to optimize the platoon’s overall operation.
Parameter  Description  Value 
Width of each lane  m  
,  Number of lanes and label of platoon lane  , 
Transmission power  dBm  
Nakagami parameter  [22]  
Path loss exponent  
Total bandwidth  MHz  
Noise variance  dBm/Hz  
Maximum speed  m/s [7]  
Packet size  bits^{1}^{1}1The packet size of bits is chosen based on the specifications for the Dedicated Short Range Communications (DSRC) safety messages length [37]., bits  
Number of followers  6  
,  Distance for sparse and dense traffic  m [7], m [7] 
,  Incoming rate of packets and maximum processing rate for the processor  packets/s [34], packets/s [35] 
Maximum distance detected by the radar sensor  m [36] 
Vi Simulation Results and Analysis
In this section, we will first validate the theoretical results in Sections III and IV by numerical results. Moreover, we present performance analysis for the integrated communication and control system based on the results in Sections IV and V. In particular, we consider a kilometerlong highway segment with lanes, and the lane with label is the platoon lane. According to the empirical data collected by the Berkeley Highway Laboratory [38] and its analytical results [39], the density of vehicles on the highway is mostly in the range from vehicle/m to vehicle/m. Therefore, we consider the density of transiting nonplatoon vehicles on each lane in the range ( vehicle/m, vehicle/m). The values of the parameters used for simulations are summarized in Table I.
Via Validation of Theoretical Results
Based on Theorems 1 and 2, we can find that the maximum time delay to guarantee the plant stability and string stability are, respectively, ms and s when the control parameters are set to and . Hence, we first corroborate our analytical results for both types of stability under the minimum of these two delays, i.e., ms. In particular, we model the uncertainty of the wireless system delay between two adjacent vehicles in the platoon system as a timevarying delay in the range (, ms). Vehicles in the platoon are initially assigned different velocities and different intervehicle distances. Here, the target velocity is m/s, and the target intervehicle distance is m.
Fig. 9LABEL:sub@validatePlant shows the time evolution of the velocity errors. We can observe that the spacing error will converge to (a similar result is observed for the velocity error but is omitted due to space limitations). Thus, by choosing the maximum time delay derived from Theorems 1 and 2, we can ensure the plant stability for the platoon system. Next, to verify the string stability, we add disturbances to the leader, that increase the velocity from to m/s at s and decrease it from to m/s at s. Note that the disturbance might come from changes of road conditions or malfunctions of the control system. As shown in Fig. 9LABEL:sub@validateString, the velocity error is not amplified when propagating across the platoon, guaranteeing the string stability. In particular, when the velocity of the leader jumps from to m/s, the velocity curve of the sixth follower is more smooth compared with the counterpart of the first follower. Clearly, the delay thresholds, found by Theorems 1 and 2, can guarantee the plant stability and string stability for the platoon system.
Fig. 11 shows the CCDFs in (3) of the SINR derived in Theorem 3 for platoons with different spacings between two consecutive platoon vehicles. Here, to characterize the density difference between overtaking lanes and slow lanes, we assume the vehicle density to be vehicle/m, vehicle/m, vehicle/m, vehicle/m, and vehicle/m. As observed from Fig. 11, the simulation results match the analytical calculations in (3), guaranteeing the effectiveness to derive the mean and variance of the service time based on (3) in Theorem 3. Moreover, Fig. 11 shows that a smaller spacing in the platoon can lead to a higher probability of being at high SINR regions than the one with a larger spacing. For example, when m, the probability that the SINR will be greater than dB is around , while the counterpart for the platoon with m is around . This is due to the fact that vehicles in the platoon with smaller spacings can receive a signal with higher strength from the vehicle immediately ahead.
ViB Reliability Analysis
In Fig. 11, we first show the reliability performance derived in Theorem 4 for scenarios with different density of transmitting nonplatoon vehicles and different packet sizes. We consider two scenarios: the first scenario with small density, i.e., vehicle/m, vehicle/m, vehicle/m, vehicle/m, and vehicle/m and the second scenario with high density, i.e., vehicle/m, vehicle/m, vehicle/m, vehicle/m, and vehicle/m. Moreover, we consider two packet sizes, namely, one with bits and the other with bits. As observed from Fig. 11, the reliability lower bounds decrease with the increase of the distance between two consecutive platoon vehicles and the distribution density of transmitting nonplatoon vehicles. This is due to the fact that, as the distance or density increases, the SINR will decrease, leading to a decline in data rate and an increase of transmission delay. Also, in Fig. 11, a larger size of packets will lead to an increase of the transmission time and a degradation of the reliability. In addition, from Fig. 11, we can obtain design guidelines on target spacing between two nearby platoon vehicles. That is, in order to ensure that the reliability lower bound of the wireless network exceeds the target threshold, the platoon spacing should be below a typical value. For example, in the scenario with small density of transmitting nonplatoon vehicles, the target distance should not be larger than m so that the reliability lower bound can be no less than when transmitting small packets. Furthermore, since the target spacing is correlated with the target velocity as shown in (7), we can also have insights about how to choose the target velocity for the platoon system.
Fig. 13 shows the approximated reliability in Corollary 2 for scenarios with different density of vehicles and different packet sizes. The density settings and the packet size are similar to the ones used for Fig. 11. Similar to Fig. 11, we can observe that as the platoon distance increases, the approximated reliability will accordingly decrease. Moreover, the approximated reliability of the platoon in a scenario with lower density of transmitting nonplatoon vehicles outperforms the counterpart for the one with high density of transmitting nonplatoon vehicles.
Fig. 13 shows the approximated reliability performance under different pairs of control parameters and when platoon vehicles are transmitting small packets. In particular, we assume that both and are in the range . Therefore, by using the optimization results in Theorem 5, we can find the optimal pair of control parameters as and . As shown in Fig. 13, the platoon with the optimal control parameters outperforms platoons with other control parameters. In particular, compared with the platoon with control parameters and , the reliability gain of the platoon system with the optimized control parameters can be as much as %. In addition, the platoon with the optimal control parameters has more flexibility on the platoon spacing. For example, to achieve a reliability of , the spacing for the platoon with optimal parameters can be at most m, whereas the spacing for the platoon with and cannot exceed m. With more flexibility, the system with the optimal control parameters can tolerate a higher disturbance introduced by rapidly changed road conditions or possible malfunctions of the control system related to the spacing between two consecutive platoon vehicles.
Fig. 15 shows the reliability lower bounds under different control parameters when platoon vehicles are transmitting small packets. Same to the parameter settings in Fig. 13, both and are in the range . Based on Theorem 6, the optimized parameters are and , and the performance with optimized parameters is verified in Fig. 15. In particular, the performance gain of choosing the optimized control parameters can be as much as %, compared with the platoon with control parameters and . Comparing Fig. 13 with Fig. 15, we can observe that to achieve the same value of reliability performance, the maximum spacing we can choose when considering the reliability bound would be much smaller than the counterpart when considering approximated reliability. For example, when we consider the approximated reliability, the platoon distance can be as large as m to realize a reliability . However, when we consider reliability lower bounds, the spacing must be smaller than m, which is half of the spacing selected when considering the approximated reliability. This is due to the fact that when calculating the approximated reliability, we ignore the queuing and processing delays at the processor and the queuing delay at the transceiver, leading to a much larger spacing threshold.
Fig. 15 shows reliability lower bounds for platoons with different numbers of followers and control parameters. We can observe that, as the number of followers increases, the reliability of the system (Theorem 4) decreases. This stems from the fact that increasing the number of followers reduces the amount of bandwidth assigned for each V2V link in the platoon. As a result, the transmission rate will decrease, and the performance of the wireless network will degrade. Furthermore, according to Fig. 15, we can obtain the design guidelines on how to optimize the number of followers in each platoon to realize a target reliability. For example, when transmitting packets with size bits, the number of followers should be smaller than so that the reliability lower bound can be no less than . In addition, from Fig. 15, for different types of packets, we need to choose a proper bandwidth so as to achieve a satisfactory reliability performance. In this regard, by optimizing the design of the control system, we can increase the number of following vehicles and relax the need for a large bandwidth. In particular, when transmitting small packets, to realize a reliability performance, the number of followers in the platoon with optimized control parameters can be at most , which is more than twice the one chosen by the platoon with no optimizations on the control system. By allowing more following vehicles in the platoon, the road capacity can further increase, and, thus, improving the traffic situation.
Vii Conclusions
In this paper, we have proposed an integrated communication and control framework for analyzing the performance and reliability of wirelessly connected vehicular platoons. In particular, we have analyzed plant stability and string stability to derive the maximum wireless system delay that a stable platoon control system can tolerate. In addition, we have derived the endtoend delay, including queuing, processing, and transmission delay, that a packet will encounter in the wireless communication network by using stochastic geometry and queuing theory. Furthermore, we have conducted theoretical analysis for the reliability of the wireless vehicular platoon, defined as the probability of the wireless network meeting the control system’s delay requirements, and derived its lower bounds and approximated expression. Then, we have proposed two optimization mechanisms to select the control parameters for improving the reliability performance of the wireless network in vehicular platoon systems. Simulation results have corroborated the analytical derivations and shown the impact of parameters, such as the density of interfering vehicles, the packet size, and the platoon size, on the reliability performance of the vehicular platoon. More importantly, the simulation results have shed light on the benefits of integrating control system and wireless network design while providing guidelines to design the platoon system. In particular, the results provide key insights on how to choose the number of followers, the spacing between two consecutive vehicles, and the control parameters for the control system so as to maintain a stable operation for the autonomous platoon.
a Proof of Theorem 1
Similar to the consensus problem considered in [40], we use the following candidate Lyapunov function: , where is a positive definitive matrix. We also assume that there is a continuous nondecreasing function , . Then, the time derivative for will be:
(32)  
Note that for a positive definite matrix , we have . Thus, let , , and . Then, the inequality for the second term of the righthand side in (32) will be
(33) 
When with , (33) can be further simplified as: Similarly, we can perform the same steps for the third term on the righthand side in (32). Finally, we can obtain