<?xml version="1.0" encoding="UTF-8"?>
<article xmlns:xlink="http://www.w3.org/1999/xlink">
<front><article-meta>
<title-group><article-title>Stability and Randomness of Nonstationary D/M/1 Queue&apos;s GI/M/1 PSFFA Model with Ultra-Low Latency for Autonomous Driving</article-title></title-group>
<contrib-group>
<contrib contrib-type="author"><name><surname>A Mageed‎</surname><given-names>Ismail</given-names></name><xref ref-type="aff" rid="aff1"/></contrib>
<contrib contrib-type="author"><name><surname>Becheroul</surname><given-names>Amina</given-names></name><xref ref-type="aff" rid="aff2"/></contrib>
<aff id="aff1">School of Computer Science, AI, and Electronics, Faculty of Engineering and Digital Technologies, University of Bradford, United Kingdom.</aff>
<aff id="aff2">Department of Mathematics, Faculty of Exact Sciences and Informatic, Hassiba Benbouali University of Chlef, Algeria.</aff>
</contrib-group>
<abstract><p>The current work reveals the fine-tuning between stability zones and randomness of the GI/M/1 Pointwise Stationary Fluid Flow Approximation (PSFFA) model of the nonstationary D/M/1 queueing system. More specifically, this provides more insights into developing a contemporary PSFFA theory that unifies nonstationary queueing theory with chaos theory and fields in theoretical physics and chaotic systems. This opens new grounds for stability analysis of nonstationary queueing systems. A notable application of the GI/M/1 queueing model to achieve ultra-low latency of autonomous driving service is highlighted. Concluding remarks are given on future avenues of research.</p></abstract>
<kwd-group kwd-group-type="author"><kwd>State variable</kwd><kwd>Mean arrival rate</kwd><kwd>Time</kwd><kwd>Time-dependent root parameter</kwd><kwd>PSFFA</kwd><kwd>Ultra-low latency</kwd><kwd>Autonomous driving service</kwd></kwd-group>
</article-meta></front>
<body>
<sec id="sec-1"><label>1</label><title>Introduction</title>
<p>Day-to-day queues include customers&apos; time-varying arrival processes, which are interpreted by their variance-based nature based on the time of day. Factors like failure of network resources or nonstationary input loads can cause this. These bursty and nonstationary traffic in character networks as communication networks become more complicated with fluctuating data speeds and quality of service needs. Queuing theory deals with analyzing and understanding waiting times in various scenarios, such as waiting for service in banks or supermarkets, waiting for a response from computers, waiting for failures to occur, or waiting for public transport.</p>
<p>Simulation techniques in the context of queueing systems involve tracking the system&apos;s behaviour through repeated simulation execution and averaging relevant quantities over different runs at specific time points. Collecting data at various time instants allows the system&apos;s Behavior to be evaluated over time <xref ref-type="bibr" rid="ref-1">[1]</xref>.</p>
<p>In analytical transient investigations, transform techniques are commonly employed to solve differential/difference equation models that arise from an embedded Markov process/chain. These techniques help analyze the system&apos;s behaviour over time by transforming the equations into a more manageable form, facilitating the study of transient phenomena in queueing systems.</p>
<p>This paper&apos;s road map is as follows: PSFFA theory is overviewed in Section 2. Section 3 discusses the GI/M/1 Queueing Model in more detail. Section 4 reveals ρ- threshold of the nonstationary D/M/1 queue&apos;s GI/M/1 PSFFA model of the. Section 5 presents typical numerical experiments to evidence the derived analytic results against the numerical portraits. A notable application of the GI/M/1 queueing model to achieve ultra-low latency of autonomous driving service is highlighted in Section 6. Closing remarks combined with the next research phase are highlighted in Section 7.</p>
</sec>
<sec id="sec-2"><label>2</label><title>PSFFA</title>
<p>The Pointwise of Stationary Fluid Flow Approximation Model (PSFFA) is a simulation technique that uses a single non-linear differential equation to estimate the queue&apos;s average number of users. An equation&apos;s form based on steady-state queueing relationships is obtained by this revolutionary approach to provide advantages in terms of generality, simplicity, and computational efficiency. Moreover, these methods have potential applications in developing dynamic network control mechanisms <xref ref-type="bibr" rid="ref-1">[1]</xref>.</p>
<p>Think about a queueing system for a single server with a nonstationary arrival process. μ(t) and λ(t) serve as the time-dependent average queue service and arrival rates, respectively. The system&apos;s ensemble average time-</p>
<p>. dx(t)</p>
<p>dependent state variable is referred to as x(t), x (t) = . Define fin(t) and fout(t) respectively, to be the</p>
<p>dt</p>
<p>system&apos;s time-dependent flow into and out. Notably, x (t), fin(t) and fout(t) are related by</p>
<p>x (t) = −fout(t) + fin(t). (1)</p>
<p>Consequently,</p>
<p>fout(t) = μ(t)ρ(t). (2) Here ρ(t) defines the underlying queue&apos;s server utilization. For an infinite queue, waiting space is infinite,</p>
<p>fin(t) = λ(t). (3)</p>
<p>Eq. (1)&apos;s fluid flow model becomes λ(t)</p>
<p>x (t) = −μ(t)ρ(t) + λ(t), 1 &gt; ρ(t) = &gt; 0. (4)</p>
<p>μ(t) Setting x (t) = 0, implies</p>
<p>x = G1(ρ). (5)</p>
<p>Additionally, we assume the numerical invertibility of G1(ρ), namely</p>
<p>ρ = G1 (x). (6)</p>
<p>Equationally, PSFFA rewrites to:</p>
<p>. −1</p>
<p>x (t) = −μ(t) (G1 (x(t))) + λ(t). (7)</p>
<p>Notably, Eq. (7) is extremely general since the closed-form representation of G1can be computed for many queues. However, we can numerically or by data of an existing system&apos;s fitting curve calculate G1.</p>
</sec>
<sec id="sec-3"><label>3</label><title>The / / Queueing Model</title>
<p>This section discusses the GI/M/1 queueing model, in which the service time has an exponential distribution, and the inter-arrival process has an identical distribution with successive inter-arrival periods. Let A(t) stand for the distribution of inter-arrival times. The GI/M/1 queue&apos;s steady state probability for the number of customers a new arrival finds in the system is a geometric distribution</p>
<p>πn = (1 − σ)σ . (10)</p>
<p>σ(1 &gt; σ &gt; 0) uniquely solves:</p>
<p>σ = fa(s)|s=μ(1−σ), (11)</p>
<p>where fa (s) is the Laplace-Stieltjes transform of the inter-arrival time distribution A(t), that is</p>
<p>∗ ∗ −st</p>
<p>fa(s) = ℒ (A(t)) = ∫ e dA(t). (12)</p>
<p>Notably, σ = 1 solves Eq. (11), and the state variable, x, reads as</p>
<p>x = = . (13)</p>
<p>μ(1 − σ) (1 − σ) In determining the PSFFA model, Eq. (13) rewrites to</p>
<p>ρ(t) = x(t)μ(1 − σ(t)). (14)</p>
<p>We believe that the nonstationary load will exhibit sinusoidal mean behaviour, which will describe the cyclic load pattern over a specified time period (for example, day) in accordance with the prior research on nonstationary analysis of communication networks <xref ref-type="bibr" rid="ref-2">[2-6]</xref>, namely λ(t) = A + Bsin(wt + D), for more details see <xref ref-type="bibr" rid="ref-7">[7-9]</xref>.</p>
<p>Thus, the required model reads as</p>
<p>x (t) = μx(t)(1 − σ(t)) + λ(t). (15)</p>
<p>We can numerically solve Eq. (15) to visualize the queue&apos;s time-varying behaviour.</p>
<p>Depending on the inter-arrival distribution A(t), the precise process for figuring out will vary, although it usually involves a root-finding approach like Laguerre&apos;s method. The time-varying D/M/1 queue&apos;s GI/M/1 PSFFA model reads</p>
<p>(σ(t)−1)</p>
<p>. ρ(t) (16)</p>
<p>x (t) = −μx(t)(1 − σ(t)) + λ(t), σ(t) = e .</p>
<p>λ(t) ρ(t) = time − dependent server utilization = .</p>
<p>The D/M/1 case in Eq. (16) corresponds to a deterministic arrival process where the inter-arrival distribution A(t) is a delta function (i.e., dA(t) = fa(t)dt and fa(t) = δ(t − ) ).</p>
<p>Mastering the increase ability (decrease ability) for a function, f(x), a shorthand note reads:</p>
<p>f &gt; 0 ⟺ f ↑.</p>
<p>f &lt; 0 ⟺ f ↓.</p>
<p>We can visualize <xref ref-type="fig" rid="fig1">Fig. 1</xref> (c.f., <xref ref-type="bibr" rid="ref-10">[10]</xref>) in a more tangible form.</p>
<fig id="fig1"><label>Figure 1</label><caption><p>Increasing/decreasing test.</p></caption><graphic xlink:href="https://uda.reapress.com/public/journals/1/jats-figures/31/fig-1-9301965d8dcf.png"/></fig>
</sec>
<sec id="sec-4"><label>4</label><title>The −Theshold Theory of the Non-Stationary the D/M/1 Queue</title>
<p>GI/M/1 PSFFA Model.</p>
<p>Theorem 1. The time-dependent server utilization, ρ(t) (c.f., Eq. (16)), is forever increasing in</p>
<p>σ(t)(σ(t) ∈ (0,1)).</p>
<p>Proof: let the time-dependent root parameter, σ(t) be such that 1 &gt; σ(t) &gt; 0. By Eq. (16), it follows that:</p>
<p>λ(t) (σ(t) − 1)</p>
<p>ρ(t) = = . (17)</p>
<p>μ ln(σ(t)) We have</p>
<p>∂ρ lnσ − 1 +</p>
<p>σ (18)</p>
<p>( )2 ∂σ lnσ Following mathematical analysis (c.f., <xref ref-type="bibr" rid="ref-11">[11]</xref>),</p>
<p>1 − &lt; lnσ &lt; σ − 1. (19)</p>
<p>The result of communicating Eq. (18) and Eq. (19) is as follows: We can see that</p>
<p>(σ(t)−1) 1</p>
<p>limσ(t)→1ρ(t) = limσ(t)→1 = limσ(t)→1 1 = 1. (L’Hopital’s rule) (20)</p>
<p>ln(σ(t))</p>
<p>(σ(t))</p>
<p>and</p>
<p>(σ(t)−1) 1</p>
<p>lim ( ) ρ(t) = lim ( ) = lim ( ) 1 = ∞. (L&apos;Hopital&apos;s rule)</p>
<p>σ t →∞ σ t →∞ ( ) σ t →∞ (21)</p>
<p>ln(σ t )</p>
<p>(σ(t))</p>
</sec>
<sec id="sec-5"><label>5</label><title>Typical Numerical Experiments</title>
<p>R code for <xref ref-type="fig" rid="fig2">Fig. 2</xref> sigma &lt;-c(0.1, 0.2, 0.3,0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 0.95, 0.99, 1) rho (-c(0.3908650337, 0.4970679476, 0.5814084816, 0.6548140008, 0.7213475204, 07830460756, 0.8411019756, 0.8962840235, 0.9491221581, 0.9747862873, 0.99499162471, 1) plot (sigma, rho type=&quot;1&quot;</p>
<fig id="fig2"><label>Figure 2</label><caption><p>Stability and approachability to high traffic intensity zone.</p></caption><graphic xlink:href="https://uda.reapress.com/public/journals/1/jats-figures/31/fig-2-3642019fd6ad.jpg"/></fig>
<p>col=&quot;red&quot;</p>
<p>xlab=expression(paste(&quot;Time-dependent root parameter,&quot; ,sigma(t))), ylab-expression (rho (t)), main=&quot;Stability and Approachability to High Traffic Intensity Zone&quot;, cex.lab=1.2, cex.axis=1.2</p>
<fig id="fig3"><label>Figure 3</label><caption><p>Beyond high traffic intensity zone.</p></caption><graphic xlink:href="https://uda.reapress.com/public/journals/1/jats-figures/31/fig-3-dd7346785878.jpg"/></fig>
<p>R code for <xref ref-type="fig" rid="fig3">Fig. 3</xref> Sigma &lt;-c(1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, 1.8, 1.9, 2, 3, 4, 5, 10, 20, 30, 40, 50, 100, 1000) rho &lt;-c(1.049205869, 1.09696299, 1.143448406, 1.188805365, 1.233151731, 1.276585887, 1.319190975, 1.361038022, 1.402188285, 1.442695041, 1.820478453, 2.164042561, 2.485339738, 3.908650337, 6.342355813, 8.52640901, 10.5723162, 12.52548871, 21.49757685, 144.6200625) plot (sigma, rho, type=&quot;1&quot;, col=&quot;blue&quot;, xlab=expression(paste(&quot;Time-dependent root parameter,&quot;, sigma(t))), ylab=expression( rho(t)), main=&quot;Beyond High Traffic Intensity Zone&quot;</p>
<p>lwd=1.2, cex.lab=1.2, cex.axis-12</p>
<p>It is observed from <xref ref-type="fig" rid="fig2">Fig. 2</xref> and <xref ref-type="fig" rid="fig3">Fig. 3</xref> that the time-dependent root parameter, σ(t) has a significant impact on the underlying queue&apos;s stability by directly impacting the time-dependent server utilization, ρ(t). Touching upon stability, it can be seen that σ(t) acts as a cutting-edge fine tuning to either approaching a high traffic intensity zone, corresponding to ρ(t) = 1.</p>
<p>Moreover, the progressive increase of σ(t), will steer the whole system into a randomness zone corresponding to ρ(t) &gt; 1.</p>
<p>It can be easily verified that the numerical setup validates the obtained analytic results of Theorem 1.</p>
<p>6| / / - Based Ultra-low Latency of Autonomous Driving Service</p>
<p>The investigation on how 5G networks are anticipated to accommodate different network services with varying performance criteria, such as high-rate traffic, low latency, and high reliability, was conducted by the authors of <xref ref-type="bibr" rid="ref-12">[12]</xref>. New technologies, including Network Functions Virtualization (NFV), network slicing, and Software-Defined Networking (SDN), are being implemented to satisfy these expectations. By combining fog, edge, and cloud computing with network slicing to map autonomous driving functionalities into service slices, these technologies will help build a distributed and scalable SDN core network architecture that will ultimately improve transmission efficiency and meet low latency constraints. The goal is to improve the quality of service for autonomous driving applications.</p>
<p>The global system manager in an autonomous driving system <xref ref-type="bibr" rid="ref-12">[12]</xref> plays a crucial role by overseeing three main functions: driving mode management, which includes manual, run, and pause modes; fault management system, which monitors module statuses for safe driving; and emergency response to system faults or operator interventions to ensure the safety and efficiency of the autonomous vehicle operations. These functions are essential for maintaining the operational integrity and safety of the autonomous driving system by managing driving modes, monitoring module statuses, and responding to emergencies effectively. Moreover, this describes a 5G-enabled scalable SDN core network architecture for autonomous driving systems <xref ref-type="bibr" rid="ref-12">[12]</xref>, emphasizing the importance of ultra-low latency and high reliability. It introduces the concept of a global system management service implemented as a service slice to meet the stringent requirements of autonomous driving modes, ensuring efficient operation and safety through features like fail-safe mechanisms and human-machine interfaces displaying critical vehicle information, as shown in <xref ref-type="fig" rid="fig4">Fig. 4</xref> (c.f., <xref ref-type="bibr" rid="ref-12">[12]</xref>).</p>
<fig id="fig4"><label>Figure 4</label><caption><p>A 5G-enabled scalable SDN core network architecture for autonomous driving systems.</p></caption><graphic xlink:href="https://uda.reapress.com/public/journals/1/jats-figures/31/fig-4-5d0cc9290392.jpg"/></fig>
<p>Accordingly, the authors <xref ref-type="bibr" rid="ref-12">[12]</xref> provided a simulation-based assessment of their system with a particular emphasis on SliceScal and the 5G slicing model for driverless vehicles. They evaluate the system&apos;s performance in a realistic urban setting using the network simulator NS-3, the cars traffic simulator Veins-SUMO, and the OpenFlow SDN controller, considering vehicle dispersion, radio propagation, and latency management in autonomous driving resource slicing. The evaluation platform and algorithm developed aim to optimize resource allocation and latency handling for autonomous driving services in a dynamic urban environment.</p>
<p><xref ref-type="fig" rid="fig5">Fig. 5</xref> (c.f., <xref ref-type="bibr" rid="ref-12">[12]</xref>) offers a visual description for handling the latency of autonomous vehicle service requests in different scenarios involving service slicing and a slice management algorithm. It shows that as Autonomous Vehicle (AV) density increases, the handling latency also increases. Service slicing reduces the handling latency by 60%, and the SliceMan algorithm further reduces it by 90% compared to scenarios without service slicing, demonstrating the effectiveness of managing resources for service slices in improving latency.</p>
<p>a. b. c.</p>
<fig id="fig5"><label>Figure 5</label><caption><p>A visual description for handling the latency of autonomous vehicle service requests; a. with service slicing, b. with service slicing, c. with sliceman algorithm.</p></caption><graphic xlink:href="https://uda.reapress.com/public/journals/1/jats-figures/31/fig-5-e4de51a70433.png"/><graphic xlink:href="https://uda.reapress.com/public/journals/1/jats-figures/31/fig-6-5dcc5fe7eea8.png"/><graphic xlink:href="https://uda.reapress.com/public/journals/1/jats-figures/31/fig-7-13a4534cd376.png"/></fig>
</sec>
<sec id="sec-6"><label>7</label><title>Conclusion</title>
<p>An exposition is undertaken to reveal the threshold theory of the time-dependent server utilization of the D/M/1 queueing system&apos;s GI/M/1 PSFFA closed-form expression. Moreover, some numerical experiments are provided to validate the analytic results. The influential impact of the GI/M/1 queueing model on ultra-low latency of autonomous driving service is investigated. Future work involves further investigation of similar threshold theorems of the G/M/1 PSFFA model of the nonstationary Ek/M/1 and IPP/M/1 queueing systems.</p>
</sec>
<sec id="sec-7"><title>Author Contributions</title>
<p>The provided work was majorly done by Ismail A Mageed, where Amina Becheroul has undertaken the plotting of <xref ref-type="fig" rid="fig2">Fig. 2</xref>, and the R coding.</p>
</sec>
<sec id="sec-8"><title>Consent for Publication</title>
<p>The author confirms consent for the publication of this work.</p>
</sec>
<sec id="sec-9"><title>Ethics Approval and Consent to Participate</title>
<p>This work is purely theoretical and does not involve studies on humans or animals.</p>
</sec>
<sec id="sec-10"><title>Funding</title>
<p>Ths work has no funding body.</p>
</sec>
<sec id="sec-11"><title>Data Availability</title>
<p>The data used to support the findings of this study are available from the corresponding author upon request.</p>
</sec>
<sec id="sec-12"><title>Conflicts of Interest</title>
<p>The authors declare no conflicts of interest.</p>
</sec>
</body>
<back><ref-list><title>References</title>
<ref id="ref-1"><label>1</label><mixed-citation>Wang, W. P., Tipper, D., &amp; Banerjee, S. (1996). A simple approximation for modeling nonstationary queues. Proceedings of IEEE infocom&apos;96. conference on computer communications (pp. 255–262) IEEE. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1109/INFCOM.1996.497901">https://doi.org/10.1109/INFCOM.1996.497901</ext-link></mixed-citation></ref>
<ref id="ref-2"><label>2</label><mixed-citation>Poryazov, S., Andonov, V., &amp; Saranova, E. (2021). Methods for modelling of overall telecommunication systems. Research in computer science in the bulgarian academy of sciences, 325–361. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/978-3-030-72284-5_16">https://doi.org/10.1007/978-3-030-72284-5_16</ext-link></mixed-citation></ref>
<ref id="ref-3"><label>3</label><mixed-citation>Zhu, M., Gao, S., Tu, G., &amp; Chen, D. (2023). Multi-access edge computing (MEC) based on MIMO: a survey. Sensors, 23(8), 3883. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.3390/s23083883">https://doi.org/10.3390/s23083883</ext-link></mixed-citation></ref>
<ref id="ref-4"><label>4</label><mixed-citation>A Mageed, I., Zhang, Q., &amp; Modu, B. (2023). The linearity theorem of rényian and tsallisian maximum entropy solutions of the heavy-tailed stable M/G/1 queueing system entailed with potential queueing-theoretic applications to cloud computing and IoT. Electronic journal of computer science and information technology, 9(1), 15–23. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.52650/ejcsit.v9i1.136">https://doi.org/10.52650/ejcsit.v9i1.136</ext-link></mixed-citation></ref>
<ref id="ref-5"><label>5</label><mixed-citation>Grassmann, W. K. (1990). Computational methods in probability theory- chapter 5. Handbooks in operations research and management science, 2, 199–254. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/S0927-0507(05)80169-0">https://doi.org/10.1016/S0927-0507(05)80169-0</ext-link></mixed-citation></ref>
<ref id="ref-6"><label>6</label><mixed-citation>A Mageed, I., &amp; Zhang, K. Q. (2023). Solving the open problem for GI/M/1 pointwise stationary fluid flow approximation model (PSFFA) of the nonstationary D/M/1 queueing system. Electronic journal of computer science and information technology, 9(1), 1–6. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.52650/ejcsit.v9i1.127">https://doi.org/10.52650/ejcsit.v9i1.127</ext-link></mixed-citation></ref>
<ref id="ref-7"><label>7</label><mixed-citation>Chang, J., Chan, H. K., Lin, J., &amp; Chan, W. (2023). Non‐homogeneous continuous‐time Markov chain with covariates: applications to ambulatory hypertension monitoring. Statistics in medicine, 42(12), 1965–1980. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1002/sim.9707">https://doi.org/10.1002/sim.9707</ext-link></mixed-citation></ref>
<ref id="ref-8"><label>8</label><mixed-citation>Grassmann, W. K. (2021). Finding transient solutions in Markovian event systems through randomization. In Numerical solution of markov chains (pp. 357–371). CRC Press. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1201/9781003210160-18">https://doi.org/10.1201/9781003210160-18</ext-link></mixed-citation></ref>
<ref id="ref-9"><label>9</label><mixed-citation>DI, A. M. (2024). Effect of the root parameter on the stability of the nonstationary D/M/1 queue&apos;s GI/M/1 model with PSFFA applications to the Internet of Things (IoT). Preprints, 2024011835. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.20944/preprints202401.1835.v1">https://doi.org/10.20944/preprints202401.1835.v1</ext-link></mixed-citation></ref>
<ref id="ref-10"><label>10</label><mixed-citation>A Mageed, I., &amp; Zhang, Q. (2023). Threshold theorems for the tsallisian and rényian (TR) cumulative distribution functions (CDFs) of the heavy-tailed stable M/G/1 queue with tsallisian and rényian entropic applications to satellite images (SIs). Electronic journal of computer science and information technology, 9(1), 41–47. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.52650/ejcsit.v9i1.161">https://doi.org/10.52650/ejcsit.v9i1.161</ext-link></mixed-citation></ref>
<ref id="ref-11"><label>11</label><mixed-citation>László Kozma. (2011). Useful inequalities cheat sheet. www.lkozma.net/inequalities_cheat_sheet/</mixed-citation></ref>
<ref id="ref-12"><label>12</label><mixed-citation>Chekired, D. A., Togou, M. A., Khoukhi, L., &amp; Ksentini, A. (2019). 5G-slicing-enabled scalable SDN core network: toward an ultra-low latency of autonomous driving service. IEEE journal on selected areas in communications, 37(8), 1769–1782. <ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1109/JSAC.2019.2927065">https://doi.org/10.1109/JSAC.2019.2927065</ext-link></mixed-citation></ref>
</ref-list></back>
</article>