A Back-of-Queue Model of a Signal-Controlled Intersection Approach Developed Based on Analysis of Vehicle Driver Behavior

: In smart cities, it is expected that transport, communication as well as the movement of people and goods will take place in the shortest possible time while maintaining a high level of safety. In recent years, due to the signiﬁcant increase in the number of passengers and vehicles on the road and the capacity limitations of transport networks, it has become necessary to use new technologies for intelligent control and trafﬁc management. Intelligent transport systems use advanced technologies in the ﬁeld of data gathering, information processing, and trafﬁc control to meet current transport needs. To be able to effectively control and manage road trafﬁc, it is necessary to have reliable mathematical models that allow for a faithful representation of the real trafﬁc conditions. Models of this type are usually the basis of complex algorithms used in practice in road trafﬁc control. The application of appropriate models reﬂecting the behavior of road users contributes to the reduction of congestion, the vehicles travel time on the transport network, fuel consumption and the emissions, which in turn support broadly understood energy savings. The article proposes a model that allows for the estimation of the maximum queue size at the signal-controlled intersection approach (so-called: maximum back-of-queue). This model takes into account the most important trafﬁc characteristics of the vehicles forming this queue. The veriﬁcation allowed for the conclusion that the proposed model is characterized by high compliance with the actual trafﬁc and road conditions at the intersections with signal controllers located in built-up areas in Poland. The obtained compliance conﬁrms the possibility of using the model for practical applications in calculating the maximum back-of-queue at signal-controlled intersections located in built-up areas in Poland.


Introduction
The main measures of assessing traffic conditions at signal-controlled intersections include delays incurred by vehicle drivers and the queue lengths at the approach. In the oldest models, the delays and queue lengths were determined using the theory of mass service (also known as the queue theory). Queue theory models belong to the group of traffic micromodels and, like meso-and macromodels, they can be divided into deterministic and stochastic (with or without elements of randomness). The models of the mass service theory use the Kendall's designation scheme, written as A/B/m, where A is the distribution of a random variable in the access process, B is the distribution of a random variable according to which the service process takes place, and m is the total number of positions for handling in the process [1][2][3][4]. The queuing process is stochastic, both for the time headways to the system and the times of service by the system [3,5,6].
The idea of the modeling process of delays and the queues at signal-controlled intersections is presented in Figure 1. As the process of servicing vehicles begins, the queue length begins to decrease. It can be concluded that the queue length is completely dependent on the number of arrivals at the approach. It should also be noted that in the cycle presented in Figure 1, there is a period of free inflow of vehicles to the intersection approach while transmitting the effective green signal. In the existing models, the impact of this type of vehicles on the queue formed at the intersection approach is usually not taken into account. Figure 1. The idea of the modeling of delays and the back-of-queues at signal-controlled intersection approach in a typical period of vehicle service (in the period of no traffic overload). Source: Own research based on [3,4].
The use of queue theory models to describe the road traffic process usually requires the introduction of certain simplifications resulting from an ambiguous interpretation of some phenomena that occur in road traffic along a road section or at an intersection. As an example, you can provide the process of arrivals for servicing in the system, e.g., vehicle access to the intersection. As the model does not represent the road section leading to the intersection approach, service is assumed to be at the stop line. This has its consequences in the access process, where the moments of access by vehicles are replaced by moments of theoretical arrivals at the approach [1][2][3]7,8].
A certain drawback of mass service models, due to the very high randomness of the road traffic process on the street network, is their reference only to the so-called steady-state (queue in a stochastic equilibrium state), Both the IN and OUT process are constant over time, and therefore the parameters describing the distribution of random variables of these processes are constant. Hence, mass service models cannot be used to describe the road traffic process in situations of the high variability of traffic volumes, which often occur during peak periods in large-and medium-sized cities. Nevertheless, the most popular model that allows estimating the value of delays incurred by vehicle drivers and the average queue lengths at the intersections approach with signal controllers is the Webster model [9]. This model and its subsequent updates [10], until now constitute the canon of the methodology for estimating the capacity and measures for assessing traffic conditions at signal-controlled intersections. The undoubted disadvantage of these models was their use only when the intersection was loaded with traffic volumes not exceeding its capacity, which, however, did not have a significant impact on those years.
The development of models based on the queue theory was dealt with, inter alia, in [11][12][13]. The mathematical functions used in these works were indirectly based on the method of estimating delays with the use of waiting queues. The subsequent evolution of mathematical models allowed these models to be classified into the group of time-dependent models. In this case, the technique of coordinate transformation was used concerning the delay curve derived for the steady-state [4,11,14]. This modeling approach assumes that for small values of load levels for a given lane, in unsaturated traffic conditions, the queue length is approximately equal to the product of the constant intensity of reports and the time of arrival. On the other hand, in the conditions of high traffic load, i.e., in the conditions of saturated and oversaturated demand flow rate, the maximum back-of-queue can be approximated with the use of a linear model, which assumes proportionality to the analysis time and the amount of overload. The use of a coordinate transformation "shifts" the asymptotic of the estimated delay curve (queue length), from the equilibrium point between the inflow and outflow intensity (volume-to-capacity ratio X = 1) for the steady-state towards the deterministic overload loss line. The algorithm of this solution was included, inter alia, in the works [11,15].
Further effects of work on the improvement time-dependent models of delays and queues are presented, inter alia, in the works [16][17][18][19][20][21][22][23][24][25][26][27][28]. The result of this work was the penultimate significant update of the HCM guidelines [29], considered one of the most reliable studies on road infrastructure design guidelines in the world. The mathematical model developed as part of this update for estimating the average delays and the average back-of-queues at signal-controlled intersections is still used in practice by most countries around the world. Only some countries have developed their calculation methods based on the guidelines presented in HCM.
The models for estimating the maximum queue length usually consist of two separate estimators: • the length of the queue formed during the red signal (k Z ), • the length of the queue remaining after the end of green signal (k P ).
It is worth emphasizing that from the aforementioned design guidelines, only the American HCM model from 2010 [30] includes an estimator taking into account the condition of the queue from the period preceding the analysis period. This is the so-called initial queue (k 0 ). Other models do not have such an estimator in their formula or take this queue into account indirectly (e.g., in the HCM 2000 guidelines [30] in the estimator of the remaining queue length).
Based on the analysis of the form of mathematical models concerning the queue length at signal-controlled intersections from Australia [31,32], Canada [33], Germany [34,35], Poland [36], Denmark, France, Ireland and Sweden, Great Britain [10,15] and USA [29,30,37] the following conclusions were made: • calculations of the average back-of-queues for a given computational group of traffic lanes consist in determining the queue length that may form in the analyzed period of analysis in an average signaling cycle, • for the given initial conditions, the results of calculating the maximum queue lengths using various methods applied in the world do not differ significantly from each other (except for the Canadian [33] and American [29,30,37] methods), • most of the calculation models of the average queue length are based mainly on the simplified description of vehicle operation in the "system", which takes place in the analyzed period of the analysis, without taking into account the earlier periods and significant fluctuations in the value of the inflow intensity in short periods (equal to or less than 15 min); the only exception are US models [29,30,37]; however, the specificity of the process of forming the queue of vehicles by such maneuvers as starting, stopping and moving in a column of vehicles during the signaling cycle is not taken into account at all, which may affect the length of the maximum queue in a completely different way than in the case of data only about demand and supply (traffic volume/arrival flow rate/of vehicles moving to the intersection approach and the capacity/saturation flow rate/of the computational group of lanes), • the existing calculation methods do not take into account with sufficient accuracy the process of shifting vehicle queues between individual signaling cycles and their accumulation, which is of significant importance, in particular, for cases of saturation or oversaturation traffic for a long time; hence, in this respect-to the best of the authors' knowledge-none of the analyzed guidelines for calculating traffic conditions at traffic light intersections do not include a sufficiently precise method for calculating the initial lengths of vehicle queues [38][39][40], • the calculation models do not take into account the phenomenon of interaction between vehicle streams of different computational groups of traffic lanes (operated at the same or different times) before intersection approach, which has a significant impact on the actual degree of traffic load for individual lanes (so-called: volume-tocapacity ratio).
The article presents a model that allows for the estimation of the maximum back-ofqueues at signal-controlled intersections in a single cycle. This model takes into account the most important traffic characteristics of vehicles forming the queue. For this purpose, the process of starting vehicles in the maximum queue in the states of saturation and oversaturation with the traffic of the signal-controlled intersection approach was subjected to a detailed analysis. The conducted analyzes allowed for the conclusion that the intensity of starting has a direct impact on the final result of the process of forming the maximum queue range, taking into account the remaining queue lengths and the initial queue lengths.
The article consists of seven sections. After the introduction, the second section presents a literature review on the subject in the field of modeling the queue length at the signal-controlled intersections. The third section defines in detail the subject of research, the testing ground, and the measurement method used, which by definition had to enable the simultaneous measurement of all phases of the vehicle queue formation, synchronized with all traffic light signals in individual signaling cycles. The next, fourth section presents the analysis of the research results. Section five presents the developed model of the maximum back-of-queue at the signal-controlled intersection approach. In turn, the verification and calibration of the proposed model is presented in section six. The paper ends with the discussion and conclusions section.

Literature Review
The problem of modeling the back-of-queue size at signal-controlled intersections is mainly related to the improvement of calculation methods and their adaptation to the needs of adaptive traffic control at city intersections. Models used to estimate the queue lengths are most often developed based on the following mathematical formulas:  [52].
The mathematical models are often theoretical and suitable for practical implementation as part of the traffic control program algorithm using signal heads. So far, a significant group of works has been devoted to researching the process of forming queues of vehicles at the approach of insulated signal-controlled intersections, e.g., Hao et al. [53], Anokye et al. [54], as well as elements of main streets in the city, e.g., Bie et al. [55] and Fu et al. [56]. A frequently discussed research issue is also the search for a more precise than before method of traffic control using adaptive light signaling, e.g., Kafash et al. [46], Viti et al. [57], Yu et al. [58] or network analyses, dealing with the problem of selection of the optimal vehicle speed trajectory on a signalized arterial with consideration of vehicle queue, e.g., He et al. [59], Zhang et al. [60], Cao et al. [61], Zhao et al. [62] as well as works on microscopic simulation for signal-controlled intersections, e.g., Naghawi et al. [63], Ma et al. [64], or Li et al. [65].
Verifications of models used to estimate the queue length at signal-controlled intersections together with proposals for updates are presented, among others in the works of Anantharam [66], Chaudhry et al. [67], Szczuraszek et al. [39], and Viti [68]. Often, models of the queue lengths at intersections with signal controllers are a component of complex virtual reality models of the simulated road traffic process, e.g., Liu et al. [69], Xu et al. [70] and Vigos et al. [71].
Nowadays, the emerging advanced intelligent transportation systems, such as connected vehicles and cooperative vehicle-to-infrastructure systems, attract much research attentions. Scientific descriptions on the improvement of automated driving systems and the dynamic development of autonomous vehicle technology have resulted in the need to research the impact of autonomous vehicles on the process of queuing at signal-controlled intersections. In this group of works, we can distinguish works in the field of microscopic analyzes taking into account key operational parameters like vehicles speed, acceleration, inter-vehicle headway, and key performance metrics like degrees of load and delay, e.g., Le Vine et al. [72], Ramezani et al. [73], Yang et al. [74]. One can also distinguish works on macroscopic analyses aimed at optimizing the speed of connected autonomous vehicles and coordinating traffic light programs in transport networks by minimizing the queue lengths at intersections with signal controls, e.g., Wang et al. [75], Kong et al. [76], Iwasaki [77] and Liu et al. [78].
Moreover, in order to improving traffic control at intersections, it is necessary to have a reliable information collection system and apply modern effective methods of processing the collected information. Remote sensing tools are an effective way to detect vehicles and traffic conditions on the transport network. Digital camera images it is well suited to derive various traffic parameters such as average vehicle speed, vehicle density, beginning and end of congestion, length of congestion or for other traffic monitoring applications e.g., Anusha et al. [79,80], or Cai et al. [81]. This method is based on the vehicle detection on the road segment by change detection between two images with a short time lag, the usage of a priori information such as road data base, vehicle sizes and road parameters and a simple linear traffic model based on the spacing between vehicles. The studies are also used standalone video processing algorithms and based on this information is stored in databases, for example, trajectories of traffic streams of vehicles, lengths of queues of vehicles, etc. Data from passive remote sensing methods were used to describe the process of forming queues of vehicles at signal-controlled intersections, e.g., in the works of Cetin et al. [82], Chang et al. [83], Hao et al. [84], Mukhopadhyay et al. [85], Iwanowicz et al. [86], while the data from active remote sensing methods were used e.g., in the works of Liu et al. [87], Milla et al. [88], Khan et al. [89], Sun et al. [90], and Xie et al. [91]. Most often, the result of these works were proposals for the methodology of testing road traffic characteristics or proposals for improving the existing methods of estimating traffic conditions at signal-controlled intersections or improving traffic control programs.
In recent years, light unmanned aerial vehicles have also been willingly used to collect data on vehicle queues at traffic light intersections, e.g., Zhou et al. [92], Wan et al. [93] or Salvo et al. [94].

Subject of Study and Testing Ground
The subject of the research was the process of forming queues of vehicles on a single traffic lane of the intersection approach with signal controllers. The examination of this process must take place both at the approach and before the approach of a given intersection, along the longest formed queue reach, so that it is possible to fully observe the individual phases of the queue forming and discharging process in time. This means that the tests should be conducted to select signal-controlled intersections, on which the section of the road leading to the approach has a relatively large accumulation zone of vehicles, undisturbed by access points, i.e., additional traffic inflows and outlets (intersections without traffic controllers), parkings or bus stops and of course crossing for pedestrians or cyclists.
The traffic lane at the approach of the signal-controlled intersection was adopted as the model section for the tests, which is devoid of additional side on and off streets (switches), on which vehicles of the same route through the intersection are accumulated, having the same sequence of transmitted traffic light signals. The service of vehicles for all lanes at the approach is collision-free. Only under such conditions is it possible to obtain an undisturbed system of both inflow and outflow of the vehicle stream and it will be possible to observe the actual changes formed in particular phases of vehicle queues in time. An example of a measuring section adopted as a reference section for conducting research is shown in Figure 2. The testing ground consisted of a total of 20 signal-controlled intersections located in cities in Poland with a large (>0.50 million inhabitants) or average population (0.20 ÷ 0.50 million inhabitants). The test grounds were located in cities such as Bydgoszcz (TGa1 ÷ TGa8, TGb1 ÷ TGb8), Torun (TGb9, TGb10) and Warsaw (TGb11, TGb12). The collected data was divided into two groups. Based on the data from 12 test sites, a model was developed to calculate the numerical values of the maximum range of back-of-queue (TGb1 ÷ TGb12). However, this model was verified on the basis of data from 8 research polygons (TGa1 ÷ TGa8). On these proving grounds, only the throught movements were analyzed. The traffic control parameters did not change during the measurements, i.e., the traffic at the intersections was controlled by means of fixed-time signaling. Measurements were carried out in 2014-2019. The research covered the following features of the process of forming queues of vehicles at intersections with signal controllers in relation to a single signaling cycle as well as the features of the traffic streams flow: starting-up flow rate of vehicles from the maximum queue" • stopping flow rate of vehicles from the remaining (initial) queue, and: • the fact of the formed range of the maximum back-of-queue in a given signaling cycle, • generic groups of vehicles of a given traffic stream (arrival, departue, starting, stopping).
The collected research material also made it possible to determine the basic characteristics of the traffic signal program (start and change times of individual signals of the analyzed period). During the processing of the collected research material, the starting maneuvers that took place during the transmission of the green signal were also clearly distinguished from those that were performed after the commencement of transmitting the red signal in the next cycle.
Measurements were carried out in weather conditions favorable to traffic (no precipitation, good visibility). The sample sizes for the analyzes were selected from the Lapunov formula assuming a significance level of α = 0.05. Table 1 presents the characteristics of the most important features of the studied intersection approaches and the collected data. In further analyzes, data on only the group of passenger cars was used, without taking into account the characteristics of other generic groups of vehicles (e.g., starting-up or slowing down in the queues of heavy vehicles and buses), i.e., type structure of vehicles [96,97]. The number of vehicles in the queues takes into account all vehicle types.

Measurement Method
The basic condition for selecting the measurement method was to ensure that all phases of the vehicle queue formation process were measured simultaneously, synchronized precisely with all traffic light signals in individual signaling cycles. Moreover, the observations of the road traffic process had to take place practically simultaneously along the entire length of the interstitial section between the established cross-section of the inflow and outflow.
The characteristics of traffic signal programs and traffic characteristics were tested with the use of digital cameras, which are classified as passive remote sensing tools. This test method is characterized by very high measurement accuracy. Moreover, this method is often used to study road traffic characteristics at various intersections, including signalcontrolled intersections [98]. The measurements were performed with first-generation YI Action digital cameras, which enable recording images in Full HD 1920 × 1080 px resolution with a recording speed of at least 24 fps. This resolution is sufficient to scale the video image and add or arrange additional graphics on it. These cameras are connected via a Wi-Fi network, enabling observe the image recorded by them, e.g., on the screen of a smartphone or tablet. For 24-h continuous measurement, it was necessary to equip the camera with an external battery with a capacity of 20,000 mAh with lithium-ion cells (so-called power-bank).
At all test sites, digital cameras were installed on streetlights at a height of 5.5 ÷ 7.5 m above the level of traffic lanes so that the image recorded with their help captures as wide a fragment of the road section as possible (Figure 3). Such a location of digital cameras ensured good visibility of each vehicle and the spaces between them (the vehicle was not obstructed by the bodies of larger vehicles). For such a height, it was established that the distance between the cameras should be within 40 ÷ 60 m from each other, due to the need to overlay the images of frames from subsequent cameras. In most cases, this distance is the distance between two or three consecutive street lamps. The first of the cameras was installed as close as possible to the stop line cross-section. That was possible to correctly read the sequence changes of the traffic signal times. After the measurements, the collected video material was compiled from film frames from individual cameras into one main image. Thus, it was possible to observe the flow of the vehicle streams along the entire research section, recorded on the frames from individual cameras using one monitor. The collected measurement material was processed using the DVideo Player. Details of the measurement method were developed in [86].

Model of the Maximum Back-of-Queue
The following definitions were adopted to characterize the model of the process of forming queues at intersection approach with signal controllers: • The queue at the signal-controlled intersection approach on a single lane is a stream of vehicles made up of vehicles arriving at the intersection, constituting a compact column of vehicles in the impact space of this intersection, waiting to be able to pass through the intersection (service). In the queue, vehicles may be: stopped-this applies to vehicles which, due to conditioned by red signal duration on a signal heads, have stopped and their drivers are waiting for the possibility of passing in green signal duration, partially in motion, (crawl speed)-this applies to vehicles moving at a very low speed (≤8 km/h [37]) because they attach a standing column of vehicles in front of the intersection approach or they are vehicles whose drivers alternately start and stop maneuvers due to the oversaturation of the queue (only a change of position in the queue without departure from the intersection after startingup maneuver), in motion-this applies to vehicles whose drivers have starting-up maneuvered to leave the intersection at the green signal duration, but are still in the intersection approach area (not serviced yet); this also applies to those vehicles which have failed to leave the intersection approach during the green signal interval and which are moving towards the approach after the red signal has started in order to come to a closer position in front of intersection in the queue than before starting-up maneuver.
• A vehicle in the queue is understood as the one that reaches the intersection and leaves it with a delays resulting from the process of servicing vehicles controlled by signal heads. Thus, it is a vehicle that forms a stopped queue or is only under the influence of the queue formed at the intersection approach (losing speed). A vehicle that crosses the intersection on the green signal duration without being influenced by the queue of vehicles (undisturbed flow) is not a queue-forming vehicle, The geometric dependencies of the physical process of forming the maximum queue at the signal-controlled intersection approach are shown schematically in Figure 4.
The meaning of the notations used in the description of the process of the volatility of the back-queue size in time and the formation of the maximum back-queue size in a given signaling cycle i and also used on the Figure 4 have been presented in Table 2.   The maximum queue can be also formed when the duration of the next interval (red or green effective signal time in i + 1 cycle), and even in subsequent cycles. In this most likely scenario, the maximum queue size will be formed at the crossing of the two functions below: • starting-up of the stopped vehicles in the queue at the intersection approach after the effective green time began, • arriving of the inflow vehicles taking into account the initial queue length at the intersection approach.
The assumption is that the course of these functions is approximately linear i.e., there are constant time headways between vehicles in both of these processes. Hence, to obtain the crossing of these two functions, one should solve the following system of equations: Taking the above into account, we obtain a dependence that allows determining the maximum queue formation time t x,i : In Equation (2), two components were obtained. The first represents the extension of the maximum queue formation time due to the presence of the initial queue k 0 . The second component of Equation (2) represents the maximum queue formation time in a given signaling cycle i. In this second component, the queue consists only of vehicles arriving at the intersection approach during the analyzed signaling cycle.
Assuming the following variable designations: Equation (2) can be written as follows: Therefore, the maximum back-of-queue size on the cycle i will be equal: However, assuming the following variable designations: where: c i -lane capacity on the cycle i, [Veh./s], hence the final form of the model takes the form: Unlike the existing models, the proposed model of the maximum queue at the signalcontrolled intersection approach in a given lane in the i-th signaling cycle (10), additionally takes into account: • an initial queue length, which is usually omitted in most of the existing models (the exception is the model [30,37], which takes into account k 0 in the calculations-but in a different way), • an intensity of starting-up of stopped vehicles in the maximum queue q R on the cycle i-after starting an effective green time using the relationship of a saturation flow rate.
To define a model that allows for the determination of numerical values of the initial queue length for the i-th cycle, which is the remaining queue length for the i − 1 cycle, the geometric dependencies of this process were used, presented in Figure 5 (where all variables are as previously defined). Taking into account the data presented on Figure 5, can be written: and because of: the form of the model can be determined: Although it contains some common features and identical variables, the proposed model (14) allows for the determination of numerical values of the initial queue length for the i-th cycle, is a completely different estimate of the remaining queue length compared to the models that can be found in various existing design guidelines (models based on of work [11,15]). A similar mathematical formula to the model (14) can be found in [29]. It is used to determine the initial queue length for a given analysis period (0.25 h or 1.00 h), indirectly used in the calculation of the remaining queue length and the volume of lane group inflow rate. Figure 5. Diagram of the process of forming the remaining queue length in a given signaling cycle i (or a process of forming the initial queue length for the next signaling cycle i + 1).

Field Survey Data Analysis
The collected data made it possible to carry out detailed statistical analyzes of the processes taking place at signal-controlled intersections, including in particular the process of starting vehicles in the maximum queue, which hypothetically determines the final range of the queue in a given signaling cycle. The analyzes used the values of the time headways on the lanes at the signal-controlled intersections in the appropriate signaling cycles. In the analyzes, using the 95% confidence interval, statistically uncertain results i.e., gross errors. Additionally, to confirm the validity of rejection of gross errors, the D. Dixon test was performed, assuming the significance level α = 0.05, which also allowed to identify of outliers in the sample. In the end, 2.5% of the shortest and 2.5% of the longest intervals between vehicles in the approach queue were rejected. In total, 1791 signaling cycles were used to build the model, in which 18,377 vehicles reported for service at the intersection approach. These vehicles performed a total of 24,641 starting maneuvers in the given signaling cycles. From Figures 6-8, selected examples of the raw results of the research on the process of forming queues of vehicles at the signal-controlled intersections approach are presented.   The average values of cumulative time intervals of the stream of vehicles starting from the maximum queue after the start of transmitting a green signal were analyzed (Figure 9). During the analysis of the research results, it was found that the intensity of starting may depend on the level of service at the green signal duration. In connection with the above, it was checked whether there is a correlation between the average values of the starting-up flow rate during green signal and the average values of the maximum departure flow rate (and so saturation flow rate) in the given traffic lanes (Figure 10).    The analysis of the dependence of the average values of the starting-up flow rate from the maximum back-of-queue in green signal duration as a function of the average values of the maximum departure flow rate in the given lanes was performed for the state of saturation and oversaturation traffic conditions using the least-squares method. Due to the small share of heavy vehicles in a modal split in cities, the analysis did not take into account the impact of these types of vehicles. The time headways analysis of the starting process concerned only passenger cars.
The form of the linear regression function was established without the intercept, which corresponds to the situation where no vehicles are departing from the queue, both in real traffic conditions and in the conducted analyzes. As a result of the analysis, the following model describing the average value of the intensity of starting-up vehicles from the queue was obtained: where: q R -average value of starting-up flow rate [Veh./s] and q O,MAX -average value of maximum departure flow rate during green signal in saturated and oversaturated traffic condition at intersection approach [Veh./s]. The results of the regression and correlation analysis confirm the existence of a relationship between the average value of the intensity of starting vehicles from the maximum queue and the average maximum value of the outflow intensity during green signal interval. This relationship is reflected in reality and represents the behavior of vehicle drivers. Each progressive vehicle from the queue takes part in the stream of maximum outflow, i.e., in the conditions of the so-called saturation flow rate. Even if the driver is unable to perceive the displayed signal on the signalization e.g., due to its distant position in the queue or the possible obstruction of the field of view by a vehicle of larger dimensions, when performing a starting-up maneuver, it does so under the influence of the vehicle in front of it. It is related to the behavior of drivers in line with the model of the so-called "Driving behind the leader". In the case under consideration, the analysis of vehicles starting-up from a stopped queue, the vehicle in front of it which has already performed such a maneuver. From Figure 9 it can be seen that the approximation of the starting-up flow rate function can be applied by a simple linear model. However, a slight decrease in this intensity is noticeable along with the increase in the number of vehicles in a queue (after about 20-25 position).

Model Verification
The proposed model of the maximum queue size at signal-controlled intersection approach on a given lane has been verified. The verification of the model consisted of a comparative analysis of the empirical values of the maximum back-of-queue size (K M,i(emp) ) with the theoretical values (K M,i ) determined based on the model (10). The verification was carried out on data obtained from remote sensing of the process of forming queues of vehicles at eight signal-controlled intersections. Comparative analyzes were performed for two states of traffic conditions at the intersection approach, i.e., in unsaturated inflow (ie when the volume-to-capacity ratio X did not exceed one) and in saturated or oversaturated inflow, when remaining queues formed at the approach (ie when the volume-to-capacity ratio X was equal to or greater than one) and jointly for both states. In total, 1406 signaling cycles were verified, including 655 in unsaturated traffic conditions and 751 in saturated or oversaturated traffic conditions occurring at intersection approach. The values of errors in estimating the maximum back-of-queues are presented in Table 3. The results of the regression analysis for the maximum back-of-queue, determined basis of the proposed model, and empirical data are in Figure 11. The mean value of the starting-up flow rate determined from model (15) was used for each i-th signaling cycle. To fully reflect the process of back-of-queue formation at the signal-controlled intersection approach, the linear regression equation was determined without the expression of an intercept function, which corresponds to the situation that there is no maximum queue in reality and the theoretical maximum queue in the calculations.
At a later stage of the analysis, an error distribution graph was made ( Figure 12). Ideally, the relative error values should be distributed around the mean value of the Gaussian curve. Thus, the errors should compensate each other.
Using the χ 2 Pearson test (assuming the significance level α = 0.05), the proportion of the error distribution with the normal distribution was tested. Statistical compliance tests showed a positive result in all analyzed cases. It was also found that the values of the maximum queue, calculated using the proposed model, are in most cases slightly lower than the empirical values. Based on the analysis of the causes, it was found that the lower values of the maximum queue size, calculated with the variables of the model, are not affected by the traffic signals control parameters, the initial queue length, or the value of the starting-up intensity.    The values of the maximum back-of-queue size at signal-controlled intersection approach determined by the model were corrected by applying the appropriate coefficient expressing the increase in the empirical value of the maximum queues compared to the value determined based on the model. The primary value for determining the correction coefficient was the maximum back-of-queue size at the signal-controlled intersection approach in the ideal road-traffic conditions. Hence, the correction factor f k was determined as the quotient of the empirical maximum queue size to the value calculated using the model: The value of correction factor f k was calculated as f k = 1.08 [−]. Hence, the value of the maximum back-of-queue at signal-controlled intersection approach on a given lane was finally determined from the relationship: The accuracy of the model was analyzed again for that corrected model. In Table 4, the values of errors in estimating the maximum queues after model calibration are presented. In Figure 13, the results of linear regression analysis for the maximum back-of-queue size at signal-controlled intersection approach are presented, determined based on the corrected model and empirical data. As a result of regression and correlation analysis, high values of the correlation coefficient (R = 0.877) and determination (R 2 = 0.769) were obtained. The obtained value of the correlation coefficient shows a strong relationship between the values estimated based on the model presented in the article and those observed in reality. This is also confirmed by a regression coefficient equal to one.  The distribution of errors in estimating the maximum back-of-queue size at signalcontrolled intersection approach using a calibrated model is presented on the Figure 14.   Based on the obtained results, it can be concluded that in most cases the relative error is less than 10%. The low values of these errors prove that the maximum queue size at signalcontrolled intersection approach, estimated by the calibrated model, is very consistent with the empirical results. An additional part that ensured the most accurate mapping of traffic at signal-controlled intersections was performed with passive remote sensing tools, such as digital cameras, which significantly increased the accuracy of recording and understanding the measured values. The compliance of the error distribution with the normal distribution was re-examined using the χ 2 Pearson test (assuming the significance level α = 0.05). As before, statistical compliance tests showed a positive result in all analyzed cases. After the model calibration, the values of the χ 2 test statistic had lower values than the values previously. That proves the improvement of the quality of the model fit to empirical data. Also, the descriptive parameters of the error distribution, such as the mean and standard deviation, assume lower values in each case.
The results obtained from the verification prove the high compliance of the constructed model with the real road and traffic conditions at the signal-controlled intersections located in urban areas. It confirms a satisfactory level of model accuracy. The obtained compliance proves the possibility of using the model for practical applications in the calculation of the maximum back-of-queue size at signal-controlled intersection approach.

Discussion and Conclusions
The accuracy of estimating the maximum queue sizes at signal-controlled intersection approach with the proposed model in the article proves its good adjustment to the empirical values. It is confirmed by both the high value of the coefficient of determination~0.8 and the relatively small errors in calculations, amounting to~4 vehicles per signaling cycle. The use of digital cameras in measurements probably contributed to the construction of a model that allows estimating the maximum back-of-queue size at signal-controlled intersections with high accuracy, which ensured high accuracy of the research, including in particular measurements parameters of the process of the starting-up flow rate of vehicles stopped in the queue. The arrangement of cameras on the sections of the intersection approach made it possible to study the analyzed process along the entire section of the road, which was influenced by increasing and decreasing the queue size. The analysis presented in the article concerned the so far unrecognized from the mathematical point of view of the process of starting progressive vehicles stopped in the queue at the intersection approach in a given lane.
At a further stage of work on calculations of the maximum queue sizes at signalcontrolled intersection approach, the authors plan to take into account the influence of subsequent factors on the course of the maximum queue formation process, as well as to characterize the course of this process during a single cycle and a given analysis period, e.g., 15 min. Moreover, further work will also concern the study of the configuration and form of functions describing the relationships between the variables, i.e., the headways between vehicles in streams of arriving, departure, starting-up of the maximum queue, and stopping of the remaining (initial) queue. The analysis performed so far is based on averaged values of both the intensity of starting-up and saturation flow rate after starting the effective green time.
It is also recognized that this model may be useful for adaptive control at intersections approach, which uses a green signal length adjustment in its traffic control algorithms. It may be based on the prediction of road traffic characteristics in short time horizons (e.g., 5-15 min), using the maximum back-of-queue size forecast for this purpose. Despite a much smaller share of heavy vehicles in a modal split in urban traffic than commuter traffic, conduct further detailed work in this area and taking into account the influence of heavy vehicles and buses on the course of the analyzed queue formation process is also planned.
The results of the estimation are considered promising, despite the above-mentioned simplifications applied at the stage of model construction. In particular, that is in the case of the worst traffic conditions at urban streets, i.e., conditions of oversaturated vehicle flow rates. Thence, the presented model can be the basis for further analysis. The purpose of these analyzes will be a develop more precise relationships characterizing the process of formation the back-of-queue size at signal-controlled intersections.