<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.1 20151215//EN" "http://jats.nlm.nih.gov/publishing/1.1/JATS-journalpublishing1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML" xml:lang="en" article-type="research-article" dtd-version="1.1">
<front>
<journal-meta>
<journal-id journal-id-type="pmc">CMC</journal-id>
<journal-id journal-id-type="nlm-ta">CMC</journal-id>
<journal-id journal-id-type="publisher-id">CMC</journal-id>
<journal-title-group>
<journal-title>Computers, Materials &#x0026; Continua</journal-title>
</journal-title-group>
<issn pub-type="epub">1546-2226</issn>
<issn pub-type="ppub">1546-2218</issn>
<publisher>
<publisher-name>Tech Science Press</publisher-name>
<publisher-loc>USA</publisher-loc>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">80977</article-id>
<article-id pub-id-type="doi">10.32604/cmc.2026.080977</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Article</subject>
</subj-group>
</article-categories>
<title-group>
<article-title>iPAFAR: An Adaptive Pareto-Based NS-AAA Energy-Stable Fuzzy Clustering and Routing Framework for Smart City IoT-Enabled WSNs</article-title>
<alt-title alt-title-type="left-running-head">iPAFAR: An Adaptive Pareto-Based NS-AAA Energy-Stable Fuzzy Clustering and Routing Framework for Smart City IoT-Enabled WSNs</alt-title>
<alt-title alt-title-type="right-running-head">iPAFAR: An Adaptive Pareto-Based NS-AAA Energy-Stable Fuzzy Clustering and Routing Framework for Smart City IoT-Enabled WSNs</alt-title>
</title-group>
<contrib-group>
<contrib id="author-1" contrib-type="author" corresp="yes">
<name name-style="western"><surname>Talwar</surname><given-names>Bhanu</given-names></name><xref ref-type="aff" rid="aff-1">1</xref><email>bhanutalwar05@gmail.com</email></contrib>
<contrib id="author-2" contrib-type="author">
<name name-style="western"><surname>Thapar</surname><given-names>Puneet</given-names></name><xref ref-type="aff" rid="aff-1">1</xref></contrib>
<contrib id="author-3" contrib-type="author">
<name name-style="western"><surname>Alsubait</surname><given-names>Tahani</given-names></name><xref ref-type="aff" rid="aff-2">2</xref></contrib>
<contrib id="author-4" contrib-type="author">
<name name-style="western"><surname>Alduailij</surname><given-names>Mai</given-names></name><xref ref-type="aff" rid="aff-3">3</xref></contrib>
<contrib id="author-5" contrib-type="author" corresp="yes">
<name name-style="western"><surname>Rehman</surname><given-names>Ateeq Ur</given-names></name><xref ref-type="aff" rid="aff-4">4</xref><email>202411144@gachon.ac.kr</email></contrib>
<contrib id="author-6" contrib-type="author">
<name name-style="western"><surname>Bharany</surname><given-names>Salil</given-names></name><xref ref-type="aff" rid="aff-5">5</xref></contrib>
<aff id="aff-1"><label>1</label><institution>School of Computer Science and Engineering, Lovely Professional University</institution>, <addr-line>Phagwara</addr-line>, <country>India</country></aff>
<aff id="aff-2"><label>2</label><institution>Department of Computer Science and Artificial Intelligence, College of Computing, Umm Al-Qura University</institution>, <addr-line>Makkah</addr-line>, <country>Saudi Arabia</country></aff>
<aff id="aff-3"><label>3</label><institution>Department of Computer Sciences, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University</institution>, <addr-line>Riyadh</addr-line>, <country>Saudi Arabia</country> </aff>
<aff id="aff-4"><label>4</label><institution>School of Computing, Gachon University</institution>, <addr-line>Seongnam-si</addr-line>, <country>Republic of Korea</country></aff>
<aff id="aff-5"><label>5</label><institution>Chitkara University Institute of Engineering and Technology, Chitkara University</institution>, <addr-line>Punjab</addr-line>, <country>India</country></aff>
</contrib-group>
<author-notes>
<corresp id="cor1"><label>&#x002A;</label>Corresponding Authors: Bhanu Talwar. Email: <email>bhanutalwar05@gmail.com</email>; Ateeq Ur Rehman. Email: <email>202411144@gachon.ac.kr</email></corresp>
</author-notes>
<pub-date date-type="collection" publication-format="electronic">
<year>2026</year>
</pub-date>
<pub-date date-type="pub" publication-format="electronic">
<day>15</day><month>06</month><year>2026</year>
</pub-date>
<volume>88</volume>
<issue>2</issue>
<elocation-id>29</elocation-id>
<history>
<date date-type="received">
<day>20</day>
<month>02</month>
<year>2026</year>
</date>
<date date-type="accepted">
<day>27</day>
<month>03</month>
<year>2026</year>
</date>
</history>
<permissions>
<copyright-statement>&#x00A9; 2026 The Authors. Published by Tech Science Press.</copyright-statement>
<copyright-year>2026</copyright-year>
<copyright-holder>The Authors</copyright-holder>
<license xlink:href="https://creativecommons.org/licenses/by/4.0/">
<license-p>This work is licensed under a <ext-link ext-link-type="uri" xlink:type="simple" xlink:href="https://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International License</ext-link>, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</license-p>
</license>
</permissions>
<self-uri content-type="pdf" xlink:href="TSP_CMC_80977.pdf"></self-uri>
<abstract>
<p>Wireless Sensor Networks (WSNs) play a vital role in smart city Internet of Things (IoT) applications, including environmental monitoring, intelligent transportation, and infrastructure management. However, limited battery capacity, uneven energy consumption, and inefficient clustering and routing mechanisms significantly reduce network lifetime, reliability, and scalability, especially in large-scale IoT deployments. Traditional routing protocols often rely on single-objective optimization or static clustering strategies, which fail to maintain long-term energy balance and stable communication performance. To address these challenges, this paper proposes iPAFAR, a Pareto-based multi-objective clustering and routing framework designed for IoT-enabled WSNs. The proposed model formulates cluster-head selection as a multi-objective optimization problem that considers residual energy, node centrality, load variance, and fairness. A Non-Dominated Sorting Artificial Algae Algorithm (NS-AAA) is used to obtain Pareto-optimal cluster-head configurations, followed by a fuzzy inference system for refined decision-making. To ensure long-term energy stability, a Lyapunov-based routing model is incorporated, and an adaptive re-clustering mechanism is introduced to reduce unnecessary control overhead under dynamic network conditions. The performance of the proposed framework is evaluated through MATLAB-based simulations and compared with existing protocols, including LEACH-M, ME-LEACH, FQA, MKNDPC, RANP-PSO, and BKA-TOA. Experimental results show that iPAFAR achieves approximately 40% lower end-to-end delay, 15%&#x2013;20% higher packet delivery ratio, and 45%&#x2013;50% improvement in residual energy while maintaining nearly twice the number of active nodes after 1000 simulation rounds. These results confirm that the proposed framework provides improved energy efficiency, load balancing, and routing stability, making it suitable for long-term smart city IoT deployments.</p>
</abstract>
<kwd-group kwd-group-type="author">
<kwd>Wireless sensor networks</kwd>
<kwd>smart cities</kwd>
<kwd>multi-objective optimization</kwd>
<kwd>artificial algae algorithm</kwd>
<kwd>energy-aware clustering</kwd>
<kwd>pareto optimization</kwd>
<kwd>IoT routing</kwd>
</kwd-group>
<funding-group>
<award-group id="awg1">
<funding-source>Princess Nourah bint Abdulrahman University Researchers</funding-source>
<award-id>PNURSP2026R232</award-id>
</award-group>
</funding-group>
</article-meta>
</front>
<body>
<sec id="s1">
<label>1</label>
<title>Introduction</title>
<p>Large-scale deployments of the Internet of Things (IoT) in smart city environments, such as intelligent transportation systems, environmental monitoring, smart grids, and urban infrastructure management, have become essential, enabled by Wireless Sensor Networks (WSNs) [<xref ref-type="bibr" rid="ref-1">1</xref>]. These applications demand scalable communication architectures, high-quality data transmission, and autonomous operation over long durations under strict energy constraints. Nonetheless, the small size of sensor node batteries, energy dissipation asymmetry, and ineffective clustering/routing schemes [<xref ref-type="bibr" rid="ref-2">2</xref>] impose significant limitations on network lifetime, stability, and sustainability. Routing using clustering has gained significant popularity to improve scalability and reduce communication overhead in WSNs [<xref ref-type="bibr" rid="ref-3">3</xref>]. In this type of architecture, data stored by the member nodes is sent to the sink via multi-hop communication, with the chosen cluster heads (CHs) combining the information and transmitting it to the sink. Although clustering is more energy-efficient than flat routing schemes, inappropriate CH choice and workload imbalances often lead to untimely node exhaustion [<xref ref-type="bibr" rid="ref-4">4</xref>]. Nodes that repeatedly assume the CH role are depleted faster, leading to network fragmentation, delays, packet losses, and reduced network lifetime [<xref ref-type="bibr" rid="ref-5">5</xref>]. In recent studies, optimization-based clustering and routing techniques have been investigated to address these shortcomings.</p>
<p>Nevertheless, most available methods use single-objective or weighted-sum models, which can mask trade-offs among conflicting measures of residual energy, node centrality, sink distance, load variance, and fairness. There is also neglect of long-term energy-stability mechanisms, where progressive imbalance builds up over extended operational rounds. Consequently, many protocols exhibit good initial behaviour but degrade sharply in subsequent network phases [<xref ref-type="bibr" rid="ref-6">6</xref>]. To overcome these issues, this study proposes iPAFAR, an energy-aware Pareto-based Artificial Algae Algorithm (AAA) fuzzy clustering and routing framework for static IoT-enabled WSNs [<xref ref-type="bibr" rid="ref-2">2</xref>,<xref ref-type="bibr" rid="ref-3">3</xref>]. In contrast to traditional weighted-aggregation methods, the new framework treats cluster-head selection as a genuine multi-objective problem and uses non-dominated sorting to maintain trade-offs among Pareto-optimal solutions across conflicting objectives. A fuzzy refinement mechanism is used to increase CH resilience to small energy missteps, and a Lyapunov-based stability model is used to control the long-term energy imbalance [<xref ref-type="bibr" rid="ref-7">7</xref>]. Moreover, an adaptive re-clustering policy is presented to control unnecessary control overhead and ensure fairness and stability in the network. An overall architectural overview of the proposed iPAFAR framework is illustrated in <xref ref-type="fig" rid="fig-1">Fig. 1</xref>, showing the interactions among network initialization, Pareto-based cluster-head selection, fuzzy refinement, Lyapunov-stable routing optimization, and adaptive re-clustering for energy-balanced smart city IoT deployments.</p>
<fig id="fig-1">
<label>Figure 1</label>
<caption>
<title>Clustering and routing framework for smart city IoT-Enabled WSNs.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-1.tif"/>
</fig>
<p>Relative analysis with LEACH-M, ME-LEACH, FQA, MKNDPC, RANP-PSO and BKA-TOA indicates significant gains in delay, packet delivery reliability, residual energy conservation, load-balancing efficiency, and network lifetime. These findings confirm that iPAFAR is a scalable, energy-efficient, and stability-enhancing routing solution suitable for long-term smart city IoT applications. The rest of this paper is structured as follows. Part 2 is the review of the related work, Part 3 is the proposed methodology, Part 4 is the discussion of the simulation results and comparative analysis, and Part 5 is the final section of the study with future research directions.</p>
<p>Our Contributions
<list list-type="order">
<list-item>
<p>We propose iPAFAR, an energy-aware clustering&#x2013;routing framework for static IoT-enabled Wireless Sensor Networks that dynamically balances node workload and prolongs network lifetime through optimized multi-hop communication.</p></list-item>
<list-item>
<p>Cluster-head selection is formulated as a Pareto-based multi-objective optimization problem that incorporates residual energy, spatial centrality, sink distance, load variance, and energy fairness (Jain&#x2019;s index). The problem is solved using a Non-Dominated Sorting Artificial Algae Algorithm (NS-AAA) to preserve optimal trade-offs without weighted aggregation.</p></list-item>
<list-item>
<p>A Lyapunov drift-based stability mechanism is integrated into routing decisions to regulate long-term energy imbalance, mathematically constraining energy deviation and preventing premature node depletion.</p></list-item>
<list-item>
<p>A residual-energy-ratio-based re-clustering trigger is introduced to reduce unnecessary control overhead while maintaining fairness and sustainable operation across extended simulation rounds.</p></list-item>
<list-item>
<p>Extensive MATLAB simulations over 1000 rounds demonstrate that iPAFAR significantly outperforms LEACH-M, ME-LEACH, FQA, MKNDPC, RANP-PSO, and BKA-TOA in terms of delay reduction, improved packet delivery ratio, preserved residual energy, load-balancing efficiency, and extended network lifetime.</p></list-item>
</list></p>
</sec>
<sec id="s2">
<label>2</label>
<title>Literature Review</title>
<p>Much of the literature has focused on energy-efficient clustering and routing protocols for WSNs, since these mechanisms strongly influence network lifetime and load balancing. However, existing methods still face challenges such as energy imbalance, overhead, and scalability issues. A summary of representative approaches and their limitations is presented in <xref ref-type="table" rid="table-1">Table 1</xref>, highlighting the need for a more stable, energy-balanced clustering and routing framework.</p>
<table-wrap id="table-1">
<label>Table 1</label>
<caption>
<title>Summary of existing WSN clustering and routing methods.</title>
</caption>
<table>
<colgroup>
<col align="center"/>
<col align="center"/>
<col align="center"/>
<col align="center"/> </colgroup>
<thead>
<tr>
<th>Author</th>
<th>Method/Algorithm</th>
<th>Key contribution</th>
<th>Limitation/Issue</th>
</tr>
</thead>
<tbody>
<tr>
<td>Cao et al. [<xref ref-type="bibr" rid="ref-5">5</xref>]</td>
<td>Improved DV-Hop localization</td>
<td>Used node negotiation and multiple radii to improve distance estimation</td>
<td>Accuracy is still affected by irregular node distribution</td>
</tr>
<tr>
<td>Sun et al. [<xref ref-type="bibr" rid="ref-6">6</xref>]</td>
<td>DV-Hop &#x002B; Adaptive Genetic Algorithm</td>
<td>Reduced localization error using optimization</td>
<td>Increased computational complexity</td>
</tr>
<tr>
<td>Wang et al. [<xref ref-type="bibr" rid="ref-8">8</xref>]</td>
<td>DV-Hop with hop-loss optimization</td>
<td>Improved position estimation using multinode distance calculation</td>
<td>Requires more anchor information</td>
</tr>
<tr>
<td>Zhao et al. [<xref ref-type="bibr" rid="ref-9">9</xref>]</td>
<td>LEACH-M</td>
<td>Improved cluster-head selection to enhance energy balance and network lifetime</td>
<td>Does not consider distance to the base station, distance between cluster members, and previous round energy consumption in CH selection</td>
</tr>
<tr>
<td>Zamry et al. [<xref ref-type="bibr" rid="ref-10">10</xref>]</td>
<td>LEACH-CR</td>
<td>Improved energy efficiency using hierarchical routing</td>
<td>Not suitable for large-scale networks</td>
</tr>
<tr>
<td>Phoemphon et al. [<xref ref-type="bibr" rid="ref-11">11</xref>]</td>
<td>Hybrid PSO localization</td>
<td>Obstacle-aware localization improvement</td>
<td>Complex implementation</td>
</tr>
<tr>
<td>Han et al. [<xref ref-type="bibr" rid="ref-12">12</xref>]</td>
<td>DV-Hop &#x002B; Differential Evolution</td>
<td>Reduced hop distance error</td>
<td>Increased processing overhead</td>
</tr>
<tr>
<td>Smaragdakis et al. [<xref ref-type="bibr" rid="ref-13">13</xref>]</td>
<td>SEP protocol</td>
<td>Energy-aware CH selection in heterogeneous WSN</td>
<td>Uneven load in later rounds</td>
</tr>
<tr>
<td>Jia et al. [<xref ref-type="bibr" rid="ref-14">14</xref>]</td>
<td>BKA-TOA</td>
<td>Bio-inspired CH selection and routing optimization</td>
<td>High optimization overhead</td>
</tr>
<tr>
<td>Kaur et al. [<xref ref-type="bibr" rid="ref-15">15</xref>]</td>
<td>Weighted centroid localization</td>
<td>Improved accuracy in random deployment</td>
<td>Sensitive to node density variation</td>
</tr>
<tr>
<td>Abdurohman et al. [<xref ref-type="bibr" rid="ref-16">16</xref>]</td>
<td>Modified E-LEACH</td>
<td>Improved fairness in CH selection</td>
<td>Needs further validation in large networks</td>
</tr>
<tr>
<td>Hada and Srivastava [<xref ref-type="bibr" rid="ref-17">17</xref>]</td>
<td>Dynamic CH selection</td>
<td>Uses connectivity and energy for CH selection</td>
<td>Scalability issues in dense WSN</td>
</tr>
<tr>
<td>Sadek [<xref ref-type="bibr" rid="ref-18">18</xref>]</td>
<td>Hybrid energy-aware clustering</td>
<td>Balanced energy consumption in IoT WSN</td>
<td>Limited adaptability in dynamic networks</td>
</tr>
<tr>
<td>Haseeb et al. [<xref ref-type="bibr" rid="ref-19">19</xref>]</td>
<td>RCER routing</td>
<td>Multi-criteria next-hop selection</td>
<td>Increased routing complexity</td>
</tr>
<tr>
<td>Chang et al. [<xref ref-type="bibr" rid="ref-20">20</xref>]</td>
<td>Density-based clustering</td>
<td>Improved load balancing</td>
<td>Extra computation for threshold calculation</td>
</tr>
<tr>
<td>Mansour et al. [<xref ref-type="bibr" rid="ref-21">21</xref>]</td>
<td>APSO-EARPT routing</td>
<td>Optimization-based route planning</td>
<td>Higher optimization time</td>
</tr>
<tr>
<td>Abdulzahra et al. [<xref ref-type="bibr" rid="ref-22">22</xref>]</td>
<td>Unequal clustering &#x002B; sleep scheduling</td>
<td>Reduced energy consumption</td>
<td>Additional control overhead</td>
</tr>
</tbody>
</table>
</table-wrap>
<p>Despite these developments, several limitations still exist. Most existing protocols rely on weighted-sum objective functions, which may hide trade-offs among residual energy, load balance, centrality, and fairness. In addition, long-term energy stability is rarely considered, and frequent re-clustering may introduce unnecessary overhead. These limitations indicate the need for a Pareto-based multi-objective clustering and routing framework that can balance conflicting objectives while maintaining energy stability. Therefore, this paper proposes an adaptive Pareto-driven Artificial Algae Algorithm-based clustering and routing model to improve energy fairness, reliability, and scalability in smart city IoT-enabled WSNs.</p>
</sec>
<sec id="s3">
<label>3</label>
<title>Proposed Methodology</title>
<p>The suggested iPAFAR framework proposes a Pareto-optimal, energy-conscious fuzzy clustering and routing solution for a static IoT sensor network using the AAA for optimization. The main aim of the framework is to increase the network lifetime, ensure energy egalitarianism among the nodes, and enable stable multi-hop communication to the sink. Such features are especially relevant in smart city IoT applications, where sensor devices are permanently installed and can operate for long periods without battery changes. Unlike a traditional clustering scheme, which may be based on single-objective or weighted-sum optimization, the proposed scheme formulates cluster-head selection as a multi-objective optimization problem. It combines non-dominated sorting, fuzzy logic refinement, Lyapunov-based stability modelling, and adaptive re-clustering to balance energy consumption with the long-term sustainability of operations. The stepwise operational structure of the proposed iPAFAR protocol is formally presented in Algorithm 1, while its detailed control-flow representation is illustrated in <xref ref-type="fig" rid="fig-2">Fig. 2</xref>.</p>
<fig id="fig-2">
<label>Figure 2</label>
<caption>
<title>Proposed algorithm iPAFAR (PD&#x2013;AAA&#x2013;EAFCR).</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-2.tif"/>
</fig>
<fig id="fig-10">
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-10.tif"/>
</fig>
<sec id="s3_1">
<label>3.1</label>
<title>Network Model</title>
<p>Consider a static IoT sensor network modeled as an undirected graph:<disp-formula id="ueqn-1"><mml:math id="mml-ueqn-1" display="block"><mml:mi>G</mml:mi><mml:mo>=</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mi>V</mml:mi><mml:mo>,</mml:mo><mml:mi>E</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></disp-formula>where:<list list-type="bullet">
<list-item>
<p><inline-formula id="ieqn-7"><mml:math id="mml-ieqn-7"><mml:mi>V</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>v</mml:mi><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mi>v</mml:mi><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:mi>v</mml:mi><mml:mi>N</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> represents sensor nodes</p></list-item>
<list-item>
<p><inline-formula id="ieqn-8"><mml:math id="mml-ieqn-8"><mml:mi>E</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>v</mml:mi><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:mi>v</mml:mi><mml:mi>j</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2223;</mml:mo><mml:mi>d</mml:mi><mml:mi>i</mml:mi><mml:mi>j</mml:mi><mml:mo>&#x2264;</mml:mo><mml:mi>R</mml:mi><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula> represents communication links</p></list-item>
<list-item>
<p><italic>R</italic> is the transmission radius</p></list-item>
<list-item>
<p><inline-formula id="ieqn-9"><mml:math id="mml-ieqn-9"><mml:msub><mml:mi>V</mml:mi><mml:mrow><mml:mi>s</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is the sink or <inline-formula id="ieqn-10"><mml:math id="mml-ieqn-10"><mml:msub><mml:mi>V</mml:mi><mml:mrow><mml:mi>s</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>m</mml:mi></mml:mrow></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></inline-formula></p></list-item>
</list></p>
<p>In a large-scale smart city implementation, several edge gateways or sinks can be installed to minimize communication latency and reduce backbone overload. The suggested framework facilitates the selection of the multi-sink, allowing the heads of the clusters to be linked to the closest best sink for routing optimization.</p>
<p>Node attributes:<disp-formula id="eqn-1"><label>(1)</label><mml:math id="mml-eqn-1" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>v</mml:mi><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>y</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup><mml:mo>,</mml:mo><mml:mi>D</mml:mi><mml:mi>e</mml:mi><mml:msubsup><mml:mi>g</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mi>h</mml:mi><mml:mi>o</mml:mi><mml:mi>p</mml:mi></mml:mrow></mml:msubsup><mml:mo>,</mml:mo><mml:msub><mml:mi>C</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>w</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
<disp-formula id="eqn-2"><label>(2)</label><mml:math id="mml-eqn-2" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:msub><mml:mi>d</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msqrt><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>y</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>y</mml:mi><mml:mrow><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:msqrt></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>In smart city IoT deployments, sensing traffic may have different priority levels depending on application criticality (e.g., emergency monitoring, traffic control, environmental sensing). Therefore, each node <inline-formula id="ieqn-11"><mml:math id="mml-ieqn-11"><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is additionally associated with a priority weight <inline-formula id="ieqn-12"><mml:math id="mml-ieqn-12"><mml:msub><mml:mi>w</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, representing data urgency, where <inline-formula id="ieqn-13"><mml:math id="mml-ieqn-13"><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> represents the set of one-hop neighboring nodes of the sensor node <inline-formula id="ieqn-14"><mml:math id="mml-ieqn-14"><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, <inline-formula id="ieqn-15"><mml:math id="mml-ieqn-15"><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, <italic>i.e</italic>.,
<disp-formula id="ueqn-4"><mml:math id="mml-ueqn-4" display="block"><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2208;</mml:mo><mml:mi>V</mml:mi><mml:mo>&#x2223;</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2264;</mml:mo><mml:mi>R</mml:mi><mml:mo>}</mml:mo></mml:mrow></mml:math></disp-formula></p>
</sec>
<sec id="s3_2">
<label>3.2</label>
<title>Energy Model</title>
<p>The first-order radio energy model is adopted in the framework to capture communication energy expenditures precisely. Transmission energy is a function of transmission distance and packet size, with short-range transmission following the free-space model and long-range transmission following the multipath fading model. The energy received is represented as a linear function of packet size. Once transmission and reception are in operation, the residual energy is continuously updated. This energy formulation ensures that decisions on clustering and routing are made to capture realistic battery-depletion dynamics in IoT nodes.</p>
<p>First-order radio model:<disp-formula id="eqn-3"><label>(3)</label><mml:math id="mml-eqn-3" display="block"><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>k</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mtable columnalign="left left" rowspacing=".2em" columnspacing="1em" displaystyle="false"><mml:mtr><mml:mtd><mml:mi>k</mml:mi><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>e</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mi>c</mml:mi></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:mi>k</mml:mi><mml:mspace width="negativethinmathspace" /><mml:msub><mml:mo>&#x03F5;</mml:mo><mml:mrow><mml:mi>f</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mi>d</mml:mi><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:mspace width="thinmathspace" /><mml:mi>d</mml:mi><mml:mo>&#x003C;</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msub></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi>k</mml:mi><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>e</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mi>c</mml:mi></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:mi>k</mml:mi><mml:mspace width="negativethinmathspace" /><mml:msub><mml:mo>&#x03F5;</mml:mo><mml:mrow><mml:mi>m</mml:mi><mml:mi>p</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mi>d</mml:mi><mml:mrow><mml:mn>4</mml:mn></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:mspace width="thinmathspace" /><mml:mi>d</mml:mi><mml:mo>&#x2265;</mml:mo><mml:mi>d</mml:mi><mml:mn>0</mml:mn></mml:mtd></mml:mtr></mml:mtable><mml:mo fence="true" stretchy="true" symmetric="true"></mml:mo></mml:mrow></mml:math></disp-formula>
<disp-formula id="eqn-4"><label>(4)</label><mml:math id="mml-eqn-4" display="block"><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>r</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>k</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mi>k</mml:mi><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>e</mml:mi><mml:mi>l</mml:mi><mml:mi>e</mml:mi><mml:mi>c</mml:mi></mml:mrow></mml:msub></mml:math></disp-formula></p>
<p>Residual energy update:<disp-formula id="eqn-5"><label>(5)</label><mml:math id="mml-eqn-5" display="block"><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup><mml:mo stretchy="false">(</mml:mo><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>r</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msub></mml:math></disp-formula></p>
</sec>
<sec id="s3_3">
<label>3.3</label>
<title>System Assumptions and Design Challenges</title>
<p>The proposed framework is developed based on several key assumptions while addressing key design challenges inherent to IoT-enabled wireless sensor networks. Sensor nodes are randomly deployed in a two-dimensional sensing area and remain static after deployment. Each node is initialized with equal energy to ensure uniform initial conditions. The base station is assumed to be fixed and may be located either inside or outside the sensing region. Furthermore, nodes can estimate inter-node distances from received signal strength, and the communication links between nodes are assumed to be symmetric. Despite these assumptions, several challenges must be addressed to ensure efficient network operation. One of the primary issues is uneven energy dissipation across nodes, which leads to premature node failures and reduced network lifetime. Frequent re-clustering further increases control overhead and affects overall efficiency.</p>
<p>Additionally, maintaining stable and reliable multi-hop routing paths in dynamic network conditions remains a complex task. The framework must also address scalability concerns as node density increases in large-scale deployments. Moreover, there is an inherent trade-off among energy efficiency, latency, and load balancing, making it difficult to optimize all performance metrics simultaneously. These considerations motivate the need for a multi-objective optimization-based clustering and routing framework, which is formally described in the subsequent sections.</p>
</sec>
<sec id="s3_4">
<label>3.4</label>
<title>Two-Hop Degree and Centrality</title>
<p>The proposed method uses both the two-hop neighborhood degree and spatial centrality measures to enhance the quality of cluster-head selection. The two-hop degree has a broader influence on connectivity and can select nodes that are highly topologically important to the algorithm, even if they are not immediate neighbors. Centrality is used to show the extent to which a node is spatially balanced in its neighborhood, thereby minimizing intra-cluster transmission distance when a node is chosen as a cluster head. All these measures improve load allocation and minimize communication cost within clusters.
<disp-formula id="eqn-6"><label>(6)</label><mml:math id="mml-eqn-6" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>D</mml:mi><mml:mi>e</mml:mi><mml:msubsup><mml:mi>g</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mi>h</mml:mi><mml:mi>o</mml:mi><mml:mi>p</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mspace width="thinmathspace" /><mml:mo>&#x2223;</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mi>v</mml:mi><mml:mi>j</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>V</mml:mi><mml:mspace width="thinmathspace" /><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mspace width="thinmathspace" /><mml:msub><mml:mi>d</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2264;</mml:mo><mml:mn>2</mml:mn><mml:mi>R</mml:mi><mml:mo>}</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
<disp-formula id="eqn-7"><label>(7)</label><mml:math id="mml-eqn-7" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:msub><mml:mi>C</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mo stretchy="false">&#x2223;</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">&#x2223;</mml:mo></mml:mrow></mml:mfrac><mml:msub><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>j</mml:mi><mml:mo>&#x2208;</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msubsup><mml:mi>d</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
</sec>
<sec id="s3_5">
<label>3.5</label>
<title>Multi-Objective Cluster Head Selection</title>
<p>The cluster-head selection is formulated as a Pareto-based multi-objective optimization problem with binary decision variables. This goal is achieved by reducing the inverse residual energy, spatial centrality cost, distance to the sink, cluster load variance, and energy unfairness, as measured by the Jain fairness index. Rather than integrating goals into a single weighted objective, non-dominated solutions are determined to maintain trade-offs between conflicting goals. Several constraints are implemented, including minimum cluster-head count, energy threshold eligibility, and unique cluster membership, which ensure viable and balanced clustering configurations.</p>
<p>Define binary CH variable:<disp-formula id="eqn-8"><label>(8)</label><mml:math id="mml-eqn-8" display="block"><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2208;</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></disp-formula></p>
<p>We formulate CH selection as a Pareto multi-objective optimization problem:<disp-formula id="eqn-9"><label>(9)</label><mml:math id="mml-eqn-9" display="block"><mml:mo movablelimits="true" form="prefix">min</mml:mo><mml:mi>F</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:mi>f</mml:mi><mml:mn>1</mml:mn><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mi>f</mml:mi><mml:mn>2</mml:mn><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mi>f</mml:mi><mml:mn>3</mml:mn><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mi>f</mml:mi><mml:mn>4</mml:mn><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mi>f</mml:mi><mml:mn>5</mml:mn><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></disp-formula>where:</p>
<p>Energy objective:<disp-formula id="eqn-10"><label>(10)</label><mml:math id="mml-eqn-10" display="block"><mml:mi>f</mml:mi><mml:mn>1</mml:mn><mml:mo>=</mml:mo><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>I</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:mfrac><mml:mrow><mml:mi>x</mml:mi><mml:mi>i</mml:mi></mml:mrow><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup></mml:mfrac></mml:math></disp-formula></p>
<p>Centrality objective:<disp-formula id="eqn-11"><label>(11)</label><mml:math id="mml-eqn-11" display="block"><mml:mi>f</mml:mi><mml:mn>2</mml:mn><mml:mo>=</mml:mo><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>I</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>C</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:math></disp-formula></p>
<p>Sink distance objective:<disp-formula id="eqn-12"><label>(12)</label><mml:math id="mml-eqn-12" display="block"><mml:mi>f</mml:mi><mml:mn>3</mml:mn><mml:mo>=</mml:mo><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>I</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mfrac><mml:mrow><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2208;</mml:mo><mml:msub><mml:mi>V</mml:mi><mml:mrow><mml:mi>s</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfrac><mml:mspace width="1em" /><mml:msub><mml:mi>d</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msub></mml:math></disp-formula></p>
<p>Load variance:<disp-formula id="eqn-13"><label>(13)</label><mml:math id="mml-eqn-13" display="block"><mml:mi>f</mml:mi><mml:mn>4</mml:mn><mml:mo>=</mml:mo><mml:mi>V</mml:mi><mml:mi>a</mml:mi><mml:mi>r</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>L</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>K</mml:mi></mml:mfrac><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>k</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>K</mml:mi></mml:mrow></mml:msubsup><mml:mspace width="1em" /><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mi>L</mml:mi><mml:mi>k</mml:mi><mml:mo>&#x2212;</mml:mo><mml:mover><mml:mi>L</mml:mi><mml:mo accent="false">&#x00AF;</mml:mo></mml:mover><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math></disp-formula></p>
<p>Energy fairness (Jain index): The Jain fairness index ensures uniform energy consumption across nodes and penalizes imbalance.
<disp-formula id="eqn-14"><label>(14)</label><mml:math id="mml-eqn-14" display="block"><mml:mi>J</mml:mi><mml:mo>=</mml:mo><mml:mfrac><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mrow><mml:mi>N</mml:mi><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:mo stretchy="false">(</mml:mo><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:mfrac></mml:math></disp-formula></p>
<p>Fairness objective:<disp-formula id="eqn-15"><label>(15)</label><mml:math id="mml-eqn-15" display="block"><mml:msub><mml:mi>F</mml:mi><mml:mrow><mml:mn>5</mml:mn></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>J</mml:mi></mml:mfrac></mml:math></disp-formula></p>
<p>Constraints Coverage:<disp-formula id="eqn-16"><label>(16)</label><mml:math id="mml-eqn-16" display="block"><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2265;</mml:mo><mml:msub><mml:mi>K</mml:mi><mml:mrow><mml:mrow><mml:mtext>Min</mml:mtext></mml:mrow></mml:mrow></mml:msub></mml:math></disp-formula>where <inline-formula id="ieqn-16"><mml:math id="mml-ieqn-16"><mml:msub><mml:mi>K</mml:mi><mml:mrow><mml:mrow><mml:mtext>Min</mml:mtext></mml:mrow></mml:mrow></mml:msub></mml:math></inline-formula> denotes the minimum required number of cluster heads to guarantee network coverage
<disp-formula id="ueqn-19"><mml:math id="mml-ueqn-19" display="block"><mml:mi mathvariant="normal">&#x2200;</mml:mi><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>g</mml:mi><mml:mi>i</mml:mi><mml:mi>o</mml:mi><mml:mi>n</mml:mi><mml:mspace width="thinmathspace" /><mml:msub><mml:mi>r</mml:mi><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi mathvariant="normal">&#x2203;</mml:mi><mml:mspace width="thinmathspace" /><mml:mi>C</mml:mi><mml:msub><mml:mi>H</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2208;</mml:mo><mml:mi>r</mml:mi><mml:mi>k</mml:mi></mml:math></disp-formula></p>
<p>This constraint ensures that every sensing region in the smart city deployment maintains at least one active cluster head, guaranteeing continuous urban monitoring coverage even as energy depletion progresses.</p>
<p>Energy threshold:<disp-formula id="eqn-17"><label>(17)</label><mml:math id="mml-eqn-17" display="block"><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup><mml:mo>&#x2265;</mml:mo><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mi>h</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi mathvariant="normal">&#x2200;</mml:mi><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:mrow><mml:mtext>&#xA0;where&#xA0;</mml:mtext></mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:math></disp-formula></p>
<p>Unique membership:<disp-formula id="eqn-18"><label>(18)</label><mml:math id="mml-eqn-18" display="block"><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mi mathvariant="normal">&#x2200;</mml:mi><mml:mi>j</mml:mi></mml:math></disp-formula></p>
</sec>
<sec id="s3_6">
<label>3.6</label>
<title>Non-Dominated Sorting Artificial Algae Algorithm (NS-AAA)</title>
<p>To solve the multi-objective cluster-head selection problem, an NS-AAA is employed. Each algae individual represents a potential cluster-head configuration. The population evolves through growth and adaptation phases, where candidate solutions move toward better-performing individuals while maintaining diversity. Continuous position updates are converted to binary decisions using a sigmoid function. Pareto dominance ranking and elitist preservation ensure that high-quality non-dominated solutions are retained across generations. This approach enables efficient exploration of the solution space without premature convergence.</p>
<p>Each algae individual:<disp-formula id="eqn-19"><label>(19)</label><mml:math id="mml-eqn-19" display="block"><mml:msup><mml:mi>X</mml:mi><mml:mrow><mml:mi>p</mml:mi></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mo stretchy="false">[</mml:mo><mml:msubsup><mml:mi>x</mml:mi><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>p</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mo>,</mml:mo><mml:msubsup><mml:mi>x</mml:mi><mml:mrow><mml:mn>2</mml:mn></mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>p</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msubsup><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msubsup><mml:mi>x</mml:mi><mml:mrow><mml:mi>N</mml:mi></mml:mrow><mml:mrow><mml:mi>p</mml:mi></mml:mrow></mml:msubsup><mml:mo stretchy="false">]</mml:mo></mml:math></disp-formula></p>
<p>Pareto dominance:<disp-formula id="ueqn-23"><mml:math id="mml-ueqn-23" display="block"><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>a</mml:mi></mml:mrow></mml:msub><mml:mo>&#x227A;</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>b</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">&#x27FA;</mml:mo><mml:mi mathvariant="normal">&#x2200;</mml:mi><mml:mi>k</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>f</mml:mi><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>a</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x2264;</mml:mo><mml:msub><mml:mi>f</mml:mi><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>X</mml:mi><mml:mi>b</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></disp-formula>and &#x2203;k such that
<disp-formula id="eqn-20"><label>(20)</label><mml:math id="mml-eqn-20" display="block"><mml:msub><mml:mi>f</mml:mi><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>a</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x003C;</mml:mo><mml:msub><mml:mi>f</mml:mi><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>X</mml:mi><mml:mi>b</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></disp-formula></p>
<p>The population is ranked using non-dominated sorting. The elitist preservation mechanism ensures that non-dominated solutions are retained across generations, guaranteeing monotonic improvement of the Pareto front. The stochastic growth and adaptation operators maintain diversity, reducing premature convergence and enabling efficient exploration of the solution space.</p>
<p>AAA Phases
<disp-formula id="eqn-21"><label>(21)</label><mml:math id="mml-eqn-21" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>Growth</mml:mtext></mml:mrow><mml:mo>&#x003A;</mml:mo><mml:msubsup><mml:mi>X</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mi>e</mml:mi><mml:mi>w</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:mi>&#x03B1;</mml:mi><mml:mspace width="thinmathspace" /><mml:mi>r</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>b</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
<disp-formula id="eqn-22"><label>(22)</label><mml:math id="mml-eqn-22" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mrow><mml:mtext>Adaptation</mml:mtext></mml:mrow><mml:mo>&#x003A;</mml:mo><mml:msubsup><mml:mi>X</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mi>e</mml:mi><mml:mi>w</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:mi>&#x03B2;</mml:mi><mml:mspace width="thinmathspace" /><mml:mi>r</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>k</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>Binary mapping:<disp-formula id="eqn-23"><label>(23)</label><mml:math id="mml-eqn-23" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mspace width="thinmathspace" /><mml:mi>i</mml:mi><mml:mspace width="negativethinmathspace" /><mml:mi>f</mml:mi><mml:mspace width="thinmathspace" /><mml:mi>&#x03C3;</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x003E;</mml:mo><mml:mn>0.5</mml:mn></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
<disp-formula id="ueqn-28"><mml:math id="mml-ueqn-28" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mn>0</mml:mn><mml:mspace width="thinmathspace" /><mml:mi>o</mml:mi><mml:mi>t</mml:mi><mml:mi>h</mml:mi><mml:mi>e</mml:mi><mml:mi>r</mml:mi><mml:mi>w</mml:mi><mml:mi>i</mml:mi><mml:mi>s</mml:mi><mml:mi>e</mml:mi></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
<disp-formula id="eqn-24"><label>(24)</label><mml:math id="mml-eqn-24" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi></mml:mi><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mi mathvariant="normal">&#x2200;</mml:mi><mml:mi>j</mml:mi></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula>
<disp-formula id="eqn-25"><label>(25)</label><mml:math id="mml-eqn-25" display="block"><mml:mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"><mml:mtr><mml:mtd /><mml:mtd><mml:mi>&#x03C3;</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>&#x2212;</mml:mo><mml:mrow><mml:msub><mml:mi>X</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mrow></mml:msup></mml:mrow></mml:mfrac></mml:mtd></mml:mtr></mml:mtable></mml:math></disp-formula></p>
<p>Elitist selection retains Pareto front solutions.</p>
</sec>
<sec id="s3_7">
<label>3.7</label>
<title>Fuzzy-Based CH Refinement</title>
<p>After Pareto-optimal cluster-head candidates are generated, a fuzzy inference system is applied for final refinement. Residual energy, two-hop degree, and centrality are normalized and provided as inputs to a Mamdani-type fuzzy system. The system outputs a suitability score indicating the likelihood that a node will serve as a stable cluster head. Within each two-hop neighborhood, the node with the highest fuzzy score is selected. This refinement stage enhances robustness against minor energy fluctuations and improves cluster stability. Triangular membership functions are used for the input values (Low, Medium, High). A rule base of 9 rules is defined that combines residual energy, centrality, and degree. Defuzzification is performed using the centroid method.</p>
<p>Normalized inputs:<disp-formula id="eqn-26"><label>(26)</label><mml:math id="mml-eqn-26" display="block"><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mfrac><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mo movablelimits="true" form="prefix">max</mml:mo></mml:mrow></mml:msub></mml:mfrac><mml:mo>,</mml:mo><mml:msubsup><mml:mi>D</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mi>D</mml:mi><mml:mi>e</mml:mi><mml:msubsup><mml:mi>g</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mi>h</mml:mi><mml:mi>o</mml:mi><mml:mi>p</mml:mi></mml:mrow></mml:msubsup></mml:mrow><mml:mi>N</mml:mi></mml:mfrac><mml:mo>,</mml:mo><mml:msubsup><mml:mi>C</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mfrac><mml:msub><mml:mi>C</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>C</mml:mi><mml:mrow><mml:mo movablelimits="true" form="prefix">max</mml:mo></mml:mrow></mml:msub></mml:mfrac></mml:math></disp-formula></p>
<p>Mamdani inference:<disp-formula id="eqn-27"><label>(27)</label><mml:math id="mml-eqn-27" display="block"><mml:mi>C</mml:mi><mml:mi>h</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mi>c</mml:mi><mml:mi>e</mml:mi><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mi>F</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msubsup><mml:mo>,</mml:mo><mml:msubsup><mml:mi>D</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msubsup><mml:mo>,</mml:mo><mml:msubsup><mml:mi>C</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msubsup><mml:mo stretchy="false">)</mml:mo></mml:math></disp-formula></p>
<p>Final CH:<disp-formula id="eqn-28"><label>(28)</label><mml:math id="mml-eqn-28" display="block"><mml:mi>C</mml:mi><mml:msub><mml:mi>H</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mspace width="thinmathspace" /><mml:mi>i</mml:mi><mml:mspace width="negativethinmathspace" /><mml:mi>f</mml:mi><mml:mspace width="thinmathspace" /><mml:mi>C</mml:mi><mml:mi>h</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mi>c</mml:mi><mml:msub><mml:mi>e</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mo movablelimits="true" form="prefix">max</mml:mo><mml:mspace width="thinmathspace" /><mml:mo stretchy="false">(</mml:mo><mml:mi>C</mml:mi><mml:mi>h</mml:mi><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mi>c</mml:mi><mml:msub><mml:mi>e</mml:mi><mml:mrow><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo><mml:mi>j</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mn>2</mml:mn><mml:mo>&#x2212;</mml:mo><mml:mi>h</mml:mi><mml:mi>o</mml:mi><mml:mi>p</mml:mi></mml:math></disp-formula></p>
</sec>
<sec id="s3_8">
<label>3.8</label>
<title>Lyapunov-Based Stability Modeling</title>
<p>The framework uses the Lyapunov drift analysis to avoid the long-term energy imbalance. Each node has an energy deficit queue, which is the difference between the initial and residual energy. A Lyapunov function is defined in such a way as to quantify the deviation of system energy with time. A drift penalty term is also added to the routing objective, which discourages pathways in routing that increase the energy imbalance. This mechanism mathematically guarantees limited energy variation and enables sustainable network operation across multiple rounds. The energy deficit queue is defined as <inline-formula id="ieqn-17"><mml:math id="mml-ieqn-17"><mml:msub><mml:mi>Q</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>i</mml:mi><mml:mi>t</mml:mi><mml:mi>i</mml:mi><mml:mi>a</mml:mi><mml:mi>l</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2212;</mml:mo><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>t</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>,</mml:mo></mml:math></inline-formula> representing the cumulative energy consumption of node i, enabling monitoring of long-term imbalance.
<disp-formula id="eqn-29"><label>(29)</label><mml:math id="mml-eqn-29" display="block"><mml:msub><mml:mi>Q</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>t</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>i</mml:mi><mml:mi>t</mml:mi></mml:mrow></mml:msub><mml:mo>&#x2212;</mml:mo><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></disp-formula></p>
<p>Lyapunov function: The drift control parameter &#x03B7; is empirically set to 0.1 in simulations to balance routing optimality and energy stability.
<disp-formula id="eqn-30"><label>(30)</label><mml:math id="mml-eqn-30" display="block"><mml:mi>L</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:msubsup><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>N</mml:mi></mml:mrow></mml:msubsup><mml:msubsup><mml:mi>Q</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math></disp-formula></p>
<p>Drift:<disp-formula id="eqn-31"><label>(31)</label><mml:math id="mml-eqn-31" display="block"><mml:mrow><mml:mi mathvariant="normal">&#x0394;</mml:mi></mml:mrow><mml:mi>L</mml:mi><mml:mo>=</mml:mo><mml:mi>L</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo>&#x2212;</mml:mo><mml:mi>L</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>t</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></disp-formula></p>
<p>Routing objective augmented:<disp-formula id="eqn-32"><label>(32)</label><mml:math id="mml-eqn-32" display="block"><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mi>R</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mi>&#x03B7;</mml:mi><mml:mrow><mml:mi mathvariant="normal">&#x0394;</mml:mi></mml:mrow><mml:mi>L</mml:mi></mml:math></disp-formula></p>
<p>This ensures energy stability over time.</p>
</sec>
<sec id="s3_9">
<label>3.9</label>
<title>AAA-Based Multi-Hop Routing</title>
<p>Multi-hop routing paths between cluster heads and the sink are established after cluster formation. The routing goal minimizes a weighted sum of transmission energy, the number of hops, the inverse residual energy, and the path load. To ensure long-term energy sustainability, the Lyapunov drift component is factored into the final routing cost. The AAA optimization process selects the optimal path that uses energy resources in the most balanced way, without compromising communication reliability.</p>
<p>Path:<disp-formula id="eqn-33"><label>(33)</label><mml:math id="mml-eqn-33" display="block"><mml:mi>P</mml:mi><mml:mo>=</mml:mo><mml:mo fence="false" stretchy="false">{</mml:mo><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mn>2</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mo>&#x2026;</mml:mo><mml:mo>,</mml:mo><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi>s</mml:mi></mml:mrow></mml:msub><mml:mo fence="false" stretchy="false">}</mml:mo></mml:math></disp-formula></p>
<p>Routing objective:<disp-formula id="eqn-34"><label>(34)</label><mml:math id="mml-eqn-34" display="block"><mml:mi>R</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>P</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:msub><mml:mi>&#x03BB;</mml:mi><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:msub><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:mi>j</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x2208;</mml:mo><mml:mi>P</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>d</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x03BB;</mml:mi><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub><mml:mo>&#x2223;</mml:mo><mml:mi>P</mml:mi><mml:mo>&#x2223;</mml:mo><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x03BB;</mml:mi><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msub><mml:msub><mml:mo movablelimits="false">&#x2211;</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x2208;</mml:mo><mml:mi>P</mml:mi></mml:mrow></mml:msub><mml:mfrac><mml:mn>1</mml:mn><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup></mml:mfrac><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x03BB;</mml:mi><mml:mrow><mml:mn>4</mml:mn></mml:mrow></mml:msub><mml:mi>L</mml:mi><mml:mi>o</mml:mi><mml:mi>a</mml:mi><mml:mi>d</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>P</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x03BB;</mml:mi><mml:mrow><mml:mn>5</mml:mn></mml:mrow></mml:msub><mml:mo>&#x2211;</mml:mo><mml:mfrac><mml:msub><mml:mi>w</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:msubsup><mml:mi>E</mml:mi><mml:mrow><mml:mi>i</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi><mml:mi>e</mml:mi><mml:mi>s</mml:mi></mml:mrow></mml:msubsup></mml:mfrac></mml:math></disp-formula></p>
<p>The weights are set as: <italic>&#x03BB;</italic><sub>1</sub> &#x003D; 0.25 (energy), <italic>&#x03BB;</italic><sub>2</sub> &#x003D; 0.20 (hop count), <italic>&#x03BB;</italic><sub>3</sub> &#x003D; 0.20 (residual energy), <italic>&#x03BB;</italic><sub>4</sub> &#x003D; 0.20 (load), <italic>&#x03BB;</italic><sub>5</sub> &#x003D; 0.15 (priority)</p>
<p>The priority term ensures that delay-sensitive smart city data is routed through energy-stable paths, improving Quality of Service for critical applications.</p>
<p>Optimal route:<disp-formula id="eqn-35"><label>(35)</label><mml:math id="mml-eqn-35" display="block"><mml:msup><mml:mi>P</mml:mi><mml:mrow><mml:mo>&#x2217;</mml:mo></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mi>a</mml:mi><mml:mi>r</mml:mi><mml:mi>g</mml:mi><mml:mo movablelimits="true" form="prefix">min</mml:mo><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:mi mathvariant="normal">&#x2032;</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></disp-formula></p>
<p>Priority term guarantees that delay-sensitive smart city traffic is routed along energy-stable paths and enhances the quality of service for essential applications. The routing optimization problem is solved using the AAA framework; the set of candidate solutions is encoded as viable multi-hop paths between the cluster head and the sink. At each iteration, the candidate paths are updated using the growth and adaptation operators, and infeasible paths are repaired via connectivity validation. The route with the lowest augmented routing cost is chosen as the best path.</p>
</sec>
<sec id="s3_10">
<label>3.10</label>
<title>Adaptive Re-Clustering Trigger</title>
<p>Re-clustering is not performed in all rounds to minimize unnecessary control overhead. The protocol, on the other hand, checks the ratio of minimum residual energy over the average network energy. A drop in this ratio to a predetermined level will result in re-clustering. This control strategy helps prevent overcomputing and ensures the network imbalance is corrected before critical nodes fail.</p>
<p>Re-clustering is activated if:<disp-formula id="eqn-36"><label>(36)</label><mml:math id="mml-eqn-36" display="block"><mml:mfrac><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>m</mml:mi><mml:mi>i</mml:mi><mml:mi>n</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>a</mml:mi><mml:mi>v</mml:mi><mml:mi>g</mml:mi></mml:mrow></mml:msub></mml:mfrac><mml:mo>&#x003C;</mml:mo><mml:mi>&#x03B8;</mml:mi></mml:math></disp-formula></p>
<p>This strategy enhances scalability and extends network lifetime by avoiding redundant optimization cycles while preserving global energy stability.</p>
</sec>
</sec>
<sec id="s4">
<label>4</label>
<title>Results and Experimentation</title>
<p>The performance of the proposed iPAFAR protocol was evaluated using MATLAB R2023a simulation environment. All competing algorithms (LEACH-M, ME-LEACH, FQA, MKNDPC, RANP-PSO, and BKA-TOA) were implemented under identical network conditions to ensure a fair and unbiased comparison. The simulation was executed for 1000 rounds to assess long-term stability, energy efficiency, and routing performance. To ensure the reliability and consistency of the obtained results, all simulations were independently executed 10 times under identical parameter settings. The reported results represent the average performance across these runs. The network configuration and simulation parameters used in this study are summarized in <xref ref-type="table" rid="table-2">Table 2</xref>.</p>
<table-wrap id="table-2">
<label>Table 2</label>
<caption>
<title>Simulation parameters.</title>
</caption>
<table>
<colgroup>
<col align="center"/>
<col align="center"/> </colgroup>
<thead>
<tr>
<th>Parameter</th>
<th>Value</th>
</tr>
</thead>
<tbody>
<tr>
<td>Simulation tool</td>
<td>MATLAB R2023a</td>
</tr>
<tr>
<td>Network area</td>
<td>100 m &#x00D7; 100 m</td>
</tr>
<tr>
<td>Simulation rounds</td>
<td>1000</td>
</tr>
<tr>
<td>Number of sensor nodes</td>
<td>100</td>
</tr>
<tr>
<td>Initial energy per node</td>
<td>0.5 J</td>
</tr>
<tr>
<td>Base station location</td>
<td>(50, 50 m)</td>
</tr>
<tr>
<td>Transmission range</td>
<td>25 m</td>
</tr>
<tr>
<td>Packet size</td>
<td>4000 bits</td>
</tr>
<tr>
<td>Energy model</td>
<td>First-Order Radio Model</td>
</tr>
<tr>
<td>elec</td>
<td>50 nJ/bit</td>
</tr>
<tr>
<td>amp</td>
<td>100 pJ/bit/m<sup>2</sup></td>
</tr>
<tr>
<td>Simulation rounds</td>
<td>0&#x2013;1000</td>
</tr>
<tr>
<td>Population size (P) &#x003D;</td>
<td>30</td>
</tr>
<tr>
<td>Number of generations (G)</td>
<td>50</td>
</tr>
<tr>
<td>Growth rate (&#x03B1;) &#x003D; 0.5</td>
<td>Growth rate (&#x03B1;) &#x003D; 0.5</td>
</tr>
<tr>
<td>Adaptation rate (&#x03B2;) &#x003D; 0.3</td>
<td>Adaptation rate (&#x03B2;) &#x003D; 0.3</td>
</tr>
<tr>
<td>Performance metrics</td>
<td>Hop count, delay, PDR, residual energy, alive nodes</td>
</tr>
</tbody>
</table>
</table-wrap>
<p>All nodes were randomly deployed within the sensing field, and the base station was centrally positioned to minimize extreme-distance bias. The first-order radio energy model was adopted to calculate transmission and reception energy consumption.</p>
<sec id="s4_1">
<label>4.1</label>
<title>End-to-End Delay Analysis</title>
<p>The comparison of the mean end-to-end delay across all simulated routing protocols over the course of the simulation rounds is shown in <xref ref-type="fig" rid="fig-3">Fig. 3</xref>. iPAFAR has the lowest end-to-end delay across all simulation rounds. iPAFAR achieves around 39 ms at 1000 rounds and is much lower than LEACH-M (66 ms on average), FQA (53 ms on average), and MKNDPC (55 ms on average). This can be credited to the effective cluster-chain routing strategy and the zed next-hop selection, which minimize transmission distance and reduce buffering delays at intermediates. LEACH-M has the highest delay during the simulation. Its deterioration is more evident beyond 500 rounds, where the delay rises rapidly from 45 ms to 66 ms at 1000 rounds. BKA-TOA exhibits lower delay than RANP-PSO or ME-LEACH but it still cannot achieve the same delay efficiency as iPAFAR.</p>
<fig id="fig-3">
<label>Figure 3</label>
<caption>
<title>Comparative end-to-end delay analysis over 1000 simulation rounds.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-3.tif"/>
</fig>
</sec>
<sec id="s4_2">
<label>4.2</label>
<title>Packet Delivery Ratio (PDR) Analysis</title>
<p>The Packet Delivery Ratio (PDR) represents the reliability of data transmission. It is defined as the ratio of successfully received packets at the sink to the total packets transmitted by sensor nodes. <xref ref-type="fig" rid="fig-4">Fig. 4</xref> illustrates the PDR performance of all protocols over 1000 simulation rounds.</p>
<fig id="fig-4">
<label>Figure 4</label>
<caption>
<title>Comparative packet delivery ratio (PDR) performance over 1000 rounds.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-4.tif"/>
</fig>
<p>It is observed that PDR gradually decreases with increasing rounds due to node failures and energy depletion. However, the proposed iPAFAR framework consistently maintains a higher PDR than existing protocols. At 1000 rounds, iPAFAR achieves approximately 63%&#x2013;68% packet delivery, whereas LEACH-M drops below 40%, and FQA and MKNDPC show moderate performance around 50%&#x2013;55%. The incorporation of energy fairness and Lyapunov-based stability reduces packet drops and improves route reliability, particularly in later stages of network operation.</p>
</sec>
<sec id="s4_3">
<label>4.3</label>
<title>Residual Energy Analysis</title>
<p>Residual energy is the energy left in the network and directly affects network lifetime and stability.</p>
<p>Energy-saving measures ensure a long network lifetime. Based on <xref ref-type="fig" rid="fig-5">Fig. 5</xref>, all protocols exhibit a decrease in residual energy with increasing rounds. LEACH-M has a high energy consumption rate and almost reaches zero J after 1000 rounds, indicating premature network failure. DV-HOP-DNN and RANP-PSO have around 5&#x2013;10 J of energy, and BKA-TOA has around 17 J at the conclusion of the simulation. Conversely, the proposed iPAFAR conserves about 43 J of residual energy at 1000 rounds, which is much higher than that of any other protocol.</p>
<fig id="fig-5">
<label>Figure 5</label>
<caption>
<title>Residual energy trends across 1000 simulation rounds.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-5.tif"/>
</fig>
</sec>
<sec id="s4_4">
<label>4.4</label>
<title>Alive Nodes Analysis</title>
<p><xref ref-type="fig" rid="fig-6">Fig. 6</xref> shows the alive nodes at the 1000th simulation round for all the routing protocols examined.</p>
<fig id="fig-6">
<label>Figure 6</label>
<caption>
<title>Number of alive nodes over 1000 simulation rounds.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-6.tif"/>
</fig>
<p>As anticipated, the active nodes decrease gradually over time due to energy loss and the load on the cluster head. Nevertheless, the node death rates across different protocols differ significantly. The iPAFAR method suggested shows the greatest network survivability throughout the simulation. At 1000 rounds, iPAFAR still has about 47 live nodes, whereas LEACH-M has none, and FQA has fewer than 10. LEACH-M has the greatest node depletion. At 500 rounds, the number of alive nodes reduces drastically, and by the conclusion of the simulation, the number of alive nodes is almost 0. The survivability of RANP-PSO and ME-LEACH among intermediate protocols is relatively high compared with FQA and MKNDPC. Nevertheless, their node survival rate after 700 rounds drops by several folds, indicating minimal long-term load balancing. In general, the findings indicate that iPAFAR substantially increases network lifetime and stability, reducing premature node death and sustaining the cluster balance.</p>
</sec>
<sec id="s4_5">
<label>4.5</label>
<title>Load Balance Index Analysis</title>
<p><xref ref-type="fig" rid="fig-7">Fig. 7</xref> provides the results of the Load Balance Index (LBI). As the number of network rounds increases, LBI values increase progressively across all protocols due to uneven residual energy use.</p>
<fig id="fig-7">
<label>Figure 7</label>
<caption>
<title>Load balance index (LBI) comparison among routing protocols.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-7.tif"/>
</fig>
<p>The Load Balance Index (LBI) measures the variation in residual energy across sensor nodes. It is computed as the average squared deviation of individual node energy from the network&#x2019;s mean energy. A lower LBI value indicates better load balancing, as it reflects a more uniform energy distribution among nodes. However, iPAFAR consistently has the lowest LBI values throughout the simulation, indicating better workload distribution among the cluster heads. LEACH-M exhibits the greatest imbalance, especially at 300 rounds, which is why its nodes were quickly depleted, and, as shown in the earlier analysis, the network lifetime was shorter. Similarly, MKNDPC and FQA energy-adaptation strategies are inefficient.</p>
</sec>
<sec id="s4_6">
<label>4.6</label>
<title>Clustering Time Analysis</title>
<p>The clustering time of the considered protocols varies across simulation rounds, as shown in <xref ref-type="fig" rid="fig-8">Fig. 8</xref>. The offered iPAFAR algorithm maintains a relatively low, constant average clustering time of 5&#x2013;6 ms, indicating that it is very efficient and consistent in creating clusters. Conversely, MKNDPC cluster heads and node assignment. LEACH-M has the shortest absolute clustering time (approximately 45 ms); however, this is due to the random selection of cluster-heads, which can affect the quality of the clusters and the energy balance. FQA and RANP-PSO have moderate clustering times, with minor variations across rounds, whereas BKA-TOA has a relatively stable, slightly higher value than iPAFAR. On balance, the findings show that iPAFAR can achieve a good trade-off between computational complexity and clustering efficiency. It is not the minimum, but its clustering time is always low, providing better network stability and energy balancing, making it more appropriate for long-term WSN deployments than traditional methods.</p>
<fig id="fig-8">
<label>Figure 8</label>
<caption>
<title>Clustering time comparison across simulation rounds.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-8.tif"/>
</fig>
</sec>
<sec id="s4_7">
<label>4.7</label>
<title>Jitter Analysis</title>
<p>The jitter performance, as shown in <xref ref-type="fig" rid="fig-9">Fig. 9</xref>, increases gradually with the number of rounds across all routing protocols as nodes lose energy and experience greater traffic congestion in the latter phases of the simulation. Nevertheless, the iPAFAR scheme always has the minimum jitter in all rounds. iPAFAR has a jitter of approximately 3.5 ms at 1000 rounds, and LEACH-M has the largest delay variation of more than 6 ms. The sharp increase in LEACH-M after 500 rounds indicates irregular routing paths and an uneven workload distribution among cluster heads. Conversely, iPAFAR exhibits smoother growth, better controls fluctuations, and indicates improved congestion management and adaptive routing.</p>
<fig id="fig-9">
<label>Figure 9</label>
<caption>
<title>Jitter performance over 1000 simulation rounds.</title>
</caption>
<graphic mimetype="image" mime-subtype="tif" xlink:href="CMC_80977-fig-9.tif"/>
</fig>
<p>The relatively stable protocols, like FQA and RANP-PSO, perform moderately and only become evidently unstable after 700 rounds. The findings verify that iPAFAR provides more stable timing and consistent transmission in dense WSN environments. The overall computational complexity of the proposed framework is approximately <inline-formula id="ieqn-18"><mml:math id="mml-ieqn-18"><mml:mi>O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>P</mml:mi><mml:mo>&#x00D7;</mml:mo><mml:mi>G</mml:mi><mml:mo>&#x00D7;</mml:mo><mml:mi>N</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, where <inline-formula id="ieqn-19"><mml:math id="mml-ieqn-19"><mml:mi>P</mml:mi></mml:math></inline-formula> is population size, <inline-formula id="ieqn-20"><mml:math id="mml-ieqn-20"><mml:mi>G</mml:mi></mml:math></inline-formula> is generations, and <inline-formula id="ieqn-21"><mml:math id="mml-ieqn-21"><mml:mi>N</mml:mi></mml:math></inline-formula> is number of nodes. Additional overhead from fuzzy refinement and routing optimization remains linear, making the approach computationally feasible.</p>
</sec>
</sec>
<sec id="s5">
<label>5</label>
<title>Discussion</title>
<p>Comparative protocols show rapid performance degradation after approximately 700 simulation rounds due to node failures and unstable routing paths. In contrast, the proposed iPAFAR framework maintains higher delivery availability, exceeding 63% even after 1000 rounds. The integration of energy fairness and load variance in cluster-head selection reduces packet loss and improves network stability across different operational phases. The improvement in network lifetime is supported by the residual energy and alive-node analysis, which indicates more balanced energy consumption among sensor nodes. The Lyapunov-based stability control further limits long-term energy imbalance, thereby improving delay, reliability, and survivability. Moreover, the jitter and clustering-time results demonstrate that the proposed method achieves a practical balance between routing stability and computational overhead. Although the clustering time is not the lowest, it remains stable across simulation rounds, indicating good scalability for long-term smart city IoT deployments. Overall, the experimental results confirm that iPAFAR&#x2019;s performance improvement is consistent across multiple metrics. The combination of Pareto-based multi-objective optimization, fuzzy refinement, Lyapunov stability modeling, and adaptive re-clustering provides a robust and energy-efficient routing framework for static IoT-enabled wireless sensor networks.</p>
</sec>
<sec id="s6">
<label>6</label>
<title>Conclusion and Future Scope</title>
<p>In this paper, the iPAFAR, a Pareto-driven Artificial Algae Algorithm-based energy-sensitive clustering and routing framework of smart city Wireless Sensor Networks, was introduced. The proposed method successfully addresses the issues of uneven energy dissipation and early node exhaustion by leveraging non-dominated sorting as an effective tool, the fuzzy refinement tool, and Lyapunov-based energy-stability modelling to formulate cluster-head selection as a real multi-objective optimization problem. The existing model presupposes a fixed, homogeneous network condition; thus, extending it to a heterogeneous, mobile WSN would also demonstrate its flexibility. Lightweight security can also be included in future research to address routing attacks and malicious node behavior. In addition, machine learning-assisted adaptive parameter tuning should be integrated to improve dynamic optimization across varied traffic and energy conditions. Practical applicability can be validated using real sensor testbeds or advanced simulators.</p>
</sec>
</body>
<back>
<ack>
<p>This research has been supported by Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2026R232), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.</p>
</ack>
<sec>
<title>Funding Statement</title>
<p>This research was funded by Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2026R232), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.</p>
</sec>
<sec>
<title>Author Contributions</title>
<p>Conceptualization, Bhanu Talwar and Puneet Thapar; methodology, Bhanu Talwar; software, Bhanu Talwar; validation, Bhanu Talwar, Puneet Thapar, Tahani Alsubait, Mai Alduailij, Ateeq Ur Rehman and Salil Bharany; formal analysis, Bhanu Talwar; investigation, Bhanu Talwar; resources, Tahani Alsubait and Mai Alduailij; data curation, Bhanu Talwar, Tahani Alsubait and Mai Alduailij; writing&#x2014;original draft preparation, Bhanu Talwar; writing&#x2014;review and editing, Bhanu Talwar, Puneet Thapar, Tahani Alsubait, Mai Alduailij, Ateeq Ur Rehman and Salil Bharany; visualization, Bhanu Talwar; supervision, Puneet Thapar and Salil Bharany; project administration, Tahani Alsubait and Mai Alduailij; funding acquisition, Tahani Alsubait and Mai Alduailij. All authors reviewed and approved the final version of the manuscript.</p>
</sec>
<sec sec-type="data-availability">
<title>Availability of Data and Materials</title>
<p>The data that support the findings of this study are available from the Corresponding Authors upon reasonable request.</p>
</sec>
<sec>
<title>Ethics Approval</title>
<p>Not applicable.</p>
</sec>
<sec sec-type="COI-statement">
<title>Conflicts of Interest</title>
<p>The authors declare no conflicts of interest.</p>
</sec>
<ref-list content-type="authoryear">
<title>References</title>
<ref id="ref-1"><label>[1]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Gharaei</surname> <given-names>N</given-names></string-name>, <string-name><surname>Alabdali</surname> <given-names>AM</given-names></string-name></person-group>. <article-title>Secure and energy-efficient inter- and intra-cluster optimization scheme for smart cities using UAV-assisted wireless sensor networks</article-title>. <source>Sci Rep</source>. <year>2025</year>;<volume>15</volume>(<issue>1</issue>):<fpage>4190</fpage>. doi:<pub-id pub-id-type="doi">10.1038/s41598-025-88532-0</pub-id>; <pub-id pub-id-type="pmid">39905160</pub-id></mixed-citation></ref>
<ref id="ref-2"><label>[2]</label><mixed-citation publication-type="book"><person-group person-group-type="author"><string-name><surname>Akila</surname> <given-names>IS</given-names></string-name>, <string-name><surname>Manisekaran</surname> <given-names>SV</given-names></string-name>, <string-name><surname>Venkatesan</surname> <given-names>R</given-names></string-name></person-group>. <chapter-title>Modern clustering techniques in wireless sensor networks</chapter-title>. In: <source>Wireless sensor networks&#x2014;insights and innovations</source>. <publisher-loc>Rijeka, Croatia</publisher-loc>: <publisher-name>InTech</publisher-name>; <year>2017</year>. <fpage>141</fpage> p. doi:<pub-id pub-id-type="doi">10.5772/intechopen.70382</pub-id>.</mixed-citation></ref>
<ref id="ref-3"><label>[3]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Bharany</surname> <given-names>S</given-names></string-name>, <string-name><surname>Almogren</surname> <given-names>A</given-names></string-name>, <string-name><surname>Altameem</surname> <given-names>A</given-names></string-name></person-group>. <article-title>Optimizing IoT connectivity: a quantitative exploration of the comprehensive adaptive sensing and clustering system for smart sensor networks in smart cities</article-title>. <source>Wirel Pers Commun</source>. <year>2025</year>;<volume>140</volume>(<issue>1</issue>):<fpage>353</fpage>&#x2013;<lpage>75</lpage>. doi:<pub-id pub-id-type="doi">10.1007/s11277-024-11719-7</pub-id>.</mixed-citation></ref>
<ref id="ref-4"><label>[4]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Heinzelman</surname> <given-names>WB</given-names></string-name>, <string-name><surname>Chandrakasan</surname> <given-names>AP</given-names></string-name>, <string-name><surname>Balakrishnan</surname> <given-names>H</given-names></string-name></person-group>. <article-title>An application-specific protocol architecture for wireless microsensor networks</article-title>. <source>IEEE Trans Wirel Commun</source>. <year>2002</year>;<volume>1</volume>(<issue>4</issue>):<fpage>660</fpage>&#x2013;<lpage>70</lpage>. doi:<pub-id pub-id-type="doi">10.1109/TWC.2002.804190</pub-id>.</mixed-citation></ref>
<ref id="ref-5"><label>[5]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Cao</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Qian</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Wang</surname> <given-names>Z</given-names></string-name></person-group>. <article-title>DV-Hop based localization algorithm using node negotiation and multiple communication radii for wireless sensor network</article-title>. <source>Wirel Netw</source>. <year>2023</year>;<volume>29</volume>(<issue>8</issue>):<fpage>3493</fpage>&#x2013;<lpage>513</lpage>. doi:<pub-id pub-id-type="doi">10.1007/s11276-023-03417-2</pub-id>.</mixed-citation></ref>
<ref id="ref-6"><label>[6]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Sun</surname> <given-names>H</given-names></string-name>, <string-name><surname>Li</surname> <given-names>H</given-names></string-name>, <string-name><surname>Meng</surname> <given-names>Z</given-names></string-name>, <string-name><surname>Wang</surname> <given-names>D</given-names></string-name></person-group>. <article-title>An improvement of DV-hop localization algorithm based on improved adaptive genetic algorithm for wireless sensor networks</article-title>. <source>Wirel Pers Commun</source>. <year>2023</year>;<volume>130</volume>(<issue>3</issue>):<fpage>2149</fpage>&#x2013;<lpage>73</lpage>. doi:<pub-id pub-id-type="doi">10.1007/s11277-023-10376-6</pub-id>.</mixed-citation></ref>
<ref id="ref-7"><label>[7]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Behera</surname> <given-names>TM</given-names></string-name>, <string-name><surname>Mohapatra</surname> <given-names>SK</given-names></string-name>, <string-name><surname>Samal</surname> <given-names>UC</given-names></string-name>, <string-name><surname>Khan</surname> <given-names>MS</given-names></string-name>, <string-name><surname>Daneshmand</surname> <given-names>M</given-names></string-name>, <string-name><surname>Gandomi</surname> <given-names>AH</given-names></string-name></person-group>. <article-title>Residual energy-based cluster-head selection in WSNs for IoT application</article-title>. <source>IEEE Internet Things J</source>. <year>2019</year>;<volume>6</volume>(<issue>3</issue>):<fpage>5132</fpage>&#x2013;<lpage>9</lpage>. doi:<pub-id pub-id-type="doi">10.1109/JIOT.2019.2897119</pub-id>.</mixed-citation></ref>
<ref id="ref-8"><label>[8]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Wang</surname> <given-names>P</given-names></string-name>, <string-name><surname>Wang</surname> <given-names>X</given-names></string-name>, <string-name><surname>Li</surname> <given-names>W</given-names></string-name>, <string-name><surname>Fan</surname> <given-names>X</given-names></string-name>, <string-name><surname>Zhao</surname> <given-names>D</given-names></string-name></person-group>. <article-title>DV-hop localization based on distance estimation using multinode and hop loss in IoT</article-title>. <source>IEEE Internet Things J</source>. <year>2024</year>;<volume>11</volume>(<issue>16</issue>):<fpage>27803</fpage>&#x2013;<lpage>15</lpage>. doi:<pub-id pub-id-type="doi">10.1109/JIOT.2024.3404492</pub-id>.</mixed-citation></ref>
<ref id="ref-9"><label>[9]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Zhao</surname> <given-names>L</given-names></string-name>, <string-name><surname>Qu</surname> <given-names>S</given-names></string-name>, <string-name><surname>Yi</surname> <given-names>Y</given-names></string-name></person-group>. <article-title>A modified cluster-head selection algorithm in wireless sensor networks based on LEACH</article-title>. <source>EURASIP J Wirel Commun Netw</source>. <year>2018</year>;<volume>2018</volume>(<issue>1</issue>):<fpage>287</fpage>. doi:<pub-id pub-id-type="doi">10.1186/s13638-018-1299-7</pub-id>.</mixed-citation></ref>
<ref id="ref-10"><label>[10]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Zamry</surname> <given-names>NM</given-names></string-name>, <string-name><surname>Zainal</surname> <given-names>A</given-names></string-name>, <string-name><surname>Rassam</surname> <given-names>MA</given-names></string-name></person-group>. <article-title>LEACH-CR: energy saving hierarchical network protocol based on low-energy adaptive clustering hierarchy for wireless sensor networks</article-title>. In: <conf-name>Proceedings of the 2021 3rd International Cyber Resilience Conference (CRC); 2021 Jan 29&#x2013;31; Langkawi Island, Malaysia</conf-name>. <publisher-loc>New York, NY, USA</publisher-loc>: <publisher-name>IEEE</publisher-name>; <year>2021</year>. p. <fpage>1</fpage>&#x2013;<lpage>6</lpage>. doi:<pub-id pub-id-type="doi">10.1109/CRC50527.2021.9392488</pub-id>.</mixed-citation></ref>
<ref id="ref-11"><label>[11]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Phoemphon</surname> <given-names>S</given-names></string-name>, <string-name><surname>So-In</surname> <given-names>C</given-names></string-name>, <string-name><surname>Leelathakul</surname> <given-names>N</given-names></string-name></person-group>. <article-title>A hybrid localization model using node segmentation and improved particle swarm optimization with obstacle-awareness for wireless sensor networks</article-title>. <source>Expert Syst Appl</source>. <year>2020</year>;<volume>143</volume>:<fpage>113044</fpage>. doi:<pub-id pub-id-type="doi">10.1016/j.eswa.2019.113044</pub-id>.</mixed-citation></ref>
<ref id="ref-12"><label>[12]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Han</surname> <given-names>D</given-names></string-name>, <string-name><surname>Yu</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Li</surname> <given-names>KC</given-names></string-name>, <string-name><surname>de Mello</surname> <given-names>RF</given-names></string-name></person-group>. <article-title>Enhancing the sensor node localization algorithm based on improved DV-hop and DE algorithms in wireless sensor networks</article-title>. <source>Sensors</source>. <year>2020</year>;<volume>20</volume>(<issue>2</issue>):<fpage>343</fpage>. doi:<pub-id pub-id-type="doi">10.3390/s20020343</pub-id>; <pub-id pub-id-type="pmid">31936144</pub-id></mixed-citation></ref>
<ref id="ref-13"><label>[13]</label><mixed-citation publication-type="conf-proc"><person-group person-group-type="author"><string-name><surname>Smaragdakis</surname> <given-names>G</given-names></string-name>, <string-name><surname>Matta</surname> <given-names>I</given-names></string-name>, <string-name><surname>Bestavros</surname> <given-names>A</given-names></string-name></person-group>. <article-title>SEP: a stable election protocol for clustered heterogeneous wireless sensor networks</article-title>. In: <conf-name>Proceedings of the Second International Workshop on Sensor and Actor Network Protocols and Applications; 2004 Aug 22</conf-name>; <publisher-loc>Boston, MA, USA</publisher-loc>. p. <fpage>1</fpage>&#x2013;<lpage>14</lpage>.</mixed-citation></ref>
<ref id="ref-14"><label>[14]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Jia</surname> <given-names>S</given-names></string-name>, <string-name><surname>Jia</surname> <given-names>S</given-names></string-name>, <string-name><surname>Shao</surname> <given-names>W</given-names></string-name></person-group>. <article-title>A clustering routing algorithm for wireless sensor networks using black-kite optimization combined with time of arrival technique</article-title>. <source>Electronics</source>. <year>2025</year>;<volume>14</volume>(<issue>23</issue>):<fpage>4662</fpage>. doi:<pub-id pub-id-type="doi">10.3390/electronics14234662</pub-id>.</mixed-citation></ref>
<ref id="ref-15"><label>[15]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Kaur</surname> <given-names>A</given-names></string-name>, <string-name><surname>Kumar</surname> <given-names>P</given-names></string-name>, <string-name><surname>Gupta</surname> <given-names>GP</given-names></string-name></person-group>. <article-title>A weighted centroid localization algorithm for randomly deployed wireless sensor networks</article-title>. <source>J King Saud Univ Comput Inf Sci</source>. <year>2019</year>;<volume>31</volume>(<issue>1</issue>):<fpage>82</fpage>&#x2013;<lpage>91</lpage>. doi:<pub-id pub-id-type="doi">10.1016/j.jksuci.2017.01.007</pub-id>.</mixed-citation></ref>
<ref id="ref-16"><label>[16]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Abdurohman</surname> <given-names>M</given-names></string-name>, <string-name><surname>Supriadi</surname> <given-names>Y</given-names></string-name>, <string-name><surname>Fahmi</surname> <given-names>FZ</given-names></string-name></person-group>. <article-title>A modified E-LEACH routing protocol for improving the lifetime of a wireless sensor network</article-title>. <source>J Inf Process Syst</source>. <year>2020</year>;<volume>16</volume>:<fpage>845</fpage>&#x2013;<lpage>58</lpage>. doi:<pub-id pub-id-type="doi">10.3745/JIPS.03.0142</pub-id>.</mixed-citation></ref>
<ref id="ref-17"><label>[17]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Hada</surname> <given-names>RPS</given-names></string-name>, <string-name><surname>Srivastava</surname> <given-names>A</given-names></string-name></person-group>. <article-title>Dynamic cluster head selection in WSN</article-title>. <source>ACM Trans Embed Comput Syst</source>. <year>2024</year>;<volume>23</volume>(<issue>4</issue>):<fpage>1</fpage>&#x2013;<lpage>27</lpage>. doi:<pub-id pub-id-type="doi">10.1145/3665867</pub-id>.</mixed-citation></ref>
<ref id="ref-18"><label>[18]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Sadek</surname> <given-names>RA</given-names></string-name></person-group>. <article-title>Hybrid energy aware clustered protocol for IoT heterogeneous network</article-title>. <source>Future Comput Inform J</source>. <year>2018</year>;<volume>3</volume>(<issue>2</issue>):<fpage>166</fpage>&#x2013;<lpage>77</lpage>. doi:<pub-id pub-id-type="doi">10.1016/j.fcij.2018.02.003</pub-id>.</mixed-citation></ref>
<ref id="ref-19"><label>[19]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Haseeb</surname> <given-names>K</given-names></string-name>, <string-name><surname>Abbas</surname> <given-names>N</given-names></string-name>, <string-name><surname>Saleem</surname> <given-names>MQ</given-names></string-name>, <string-name><surname>Sheta</surname> <given-names>OE</given-names></string-name>, <string-name><surname>Awan</surname> <given-names>K</given-names></string-name>, <string-name><surname>Islam</surname> <given-names>N</given-names></string-name>, <etal>et al</etal></person-group>. <article-title>RCER: reliable cluster-based energy-aware routing protocol for heterogeneous wireless sensor networks</article-title>. <source>PLoS One</source>. <year>2019</year>;<volume>14</volume>(<issue>9</issue>):<fpage>e0222009</fpage>. doi:<pub-id pub-id-type="doi">10.1371/journal.pone.0222009</pub-id>; <pub-id pub-id-type="pmid">31537014</pub-id></mixed-citation></ref>
<ref id="ref-20"><label>[20]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Chang</surname> <given-names>L</given-names></string-name>, <string-name><surname>Li</surname> <given-names>F</given-names></string-name>, <string-name><surname>Niu</surname> <given-names>X</given-names></string-name>, <string-name><surname>Zhu</surname> <given-names>J</given-names></string-name></person-group>. <article-title>On an improved clustering algorithm based on node density for WSN routing protocol</article-title>. <source>Clust Comput</source>. <year>2022</year>;<volume>25</volume>(<issue>4</issue>):<fpage>3005</fpage>&#x2013;<lpage>17</lpage>. doi:<pub-id pub-id-type="doi">10.1007/s10586-022-03544-z</pub-id>.</mixed-citation></ref>
<ref id="ref-21"><label>[21]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Mansour</surname> <given-names>RF</given-names></string-name>, <string-name><surname>Abdel-Khalek</surname> <given-names>S</given-names></string-name>, <string-name><surname>Basha</surname> <given-names>SM</given-names></string-name>, <string-name><surname>Khayyat</surname> <given-names>MM</given-names></string-name>, <string-name><surname>Elnaim</surname> <given-names>BME</given-names></string-name>, <string-name><surname>Shankar</surname> <given-names>V</given-names></string-name></person-group>. <article-title>Adaptive parallel seeker optimization-based route planning for clustered WSN in smart cities</article-title>. <source>Comput Electr Eng</source>. <year>2022</year>;<volume>102</volume>(<issue>8</issue>):<fpage>108289</fpage>. doi:<pub-id pub-id-type="doi">10.1016/j.compeleceng.2022.108289</pub-id>.</mixed-citation></ref>
<ref id="ref-22"><label>[22]</label><mixed-citation publication-type="journal"><person-group person-group-type="author"><string-name><surname>Abdulzahra</surname> <given-names>AMK</given-names></string-name>, <string-name><surname>Al-Qurabat</surname> <given-names>AKM</given-names></string-name>, <string-name><surname>Abdulzahra</surname> <given-names>SA</given-names></string-name></person-group>. <article-title>Optimizing energy consumption in WSN-based IoT using unequal clustering and sleep scheduling methods</article-title>. <source>Internet Things</source>. <year>2023</year>;<volume>22</volume>(<issue>1</issue>):<fpage>100765</fpage>. doi:<pub-id pub-id-type="doi">10.1016/j.iot.2023.100765</pub-id>.</mixed-citation></ref>
</ref-list>
</back></article>