{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T09:08:46Z","timestamp":1778836126506,"version":"3.51.4"},"reference-count":46,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T00:00:00Z","timestamp":1777593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of the Franklin Institute"],"published-print":{"date-parts":[[2026,5]]},"DOI":"10.1016\/j.jfranklin.2026.108578","type":"journal-article","created":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T23:55:03Z","timestamp":1772841303000},"page":"108578","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Stochastic reachability-integrated flexible formation control for multi-agent systems"],"prefix":"10.1016","volume":"363","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-4797-1159","authenticated-orcid":false,"given":"Yutong","family":"Zhu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0005-9978-2253","authenticated-orcid":false,"given":"Ye","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.jfranklin.2026.108578_bib0001","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/JPROC.2006.887293","article-title":"Consensus and cooperation in networked multi-agent systems","volume":"95","author":"Olfati-Saber","year":"2007","journal-title":"Proc. IEEE"},{"key":"10.1016\/j.jfranklin.2026.108578_bib0002","article-title":"Gaussian-enhanced reinforcement learning for scalable evasion strategies in multi-agent pursuit-evasion games","author":"Zhang","year":"2025","journal-title":"Neurocomputing"},{"issue":"3","key":"10.1016\/j.jfranklin.2026.108578_bib0003","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1109\/TRO.2022.3232542","article-title":"Safe control with learned certificates: a survey of neural lyapunov, barrier, and contraction methods for robotics and control","volume":"39","author":"Dawson","year":"2023","journal-title":"IEEE Trans. Rob."},{"key":"10.1016\/j.jfranklin.2026.108578_bib0004","series-title":"2024 IEEE 63rd Conference on Decision and Control (CDC)","first-page":"196","article-title":"FlexNet: an open-formation configuration for cooperative herding in pursuit-evasion games with field of view interactions","author":"Zhu","year":"2024"},{"issue":"4","key":"10.1016\/j.jfranklin.2026.108578_bib0005","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1109\/TRO.2014.2304774","article-title":"Cooperative visibility maintenance for leader\u2013follower formations in obstacle environments","volume":"30","author":"Panagou","year":"2014","journal-title":"IEEE Trans. Rob."},{"issue":"4","key":"10.1016\/j.jfranklin.2026.108578_bib0006","doi-asserted-by":"crossref","first-page":"1911","DOI":"10.1109\/TCNS.2022.3181547","article-title":"Adaptive control of second-order safety-critical multiagent systems with nonlinear dynamics","volume":"9","author":"Arabi","year":"2022","journal-title":"IEEE Trans. Control Netw. Syst."},{"issue":"2","key":"10.1016\/j.jfranklin.2026.108578_bib0007","doi-asserted-by":"crossref","first-page":"658","DOI":"10.1016\/j.jfranklin.2011.06.031","article-title":"Quadrotor vehicle control via sliding mode controller driven by sliding mode disturbance observer","volume":"349","author":"Besnard","year":"2012","journal-title":"J. Franklin Inst."},{"issue":"12","key":"10.1016\/j.jfranklin.2026.108578_bib0008","doi-asserted-by":"crossref","first-page":"5779","DOI":"10.1016\/j.jfranklin.2015.10.002","article-title":"Coordinated formation control design with obstacle avoidance in three-dimensional space","volume":"352","author":"Chang","year":"2015","journal-title":"J. Franklin Inst."},{"issue":"3","key":"10.1016\/j.jfranklin.2026.108578_bib0009","doi-asserted-by":"crossref","first-page":"1734","DOI":"10.1109\/TCYB.2023.3248125","article-title":"Robust collision-avoidance formation navigation of velocity and input-constrained multirobot systems","volume":"54","author":"Fu","year":"2023","journal-title":"IEEE Trans. Cybern."},{"issue":"14","key":"10.1016\/j.jfranklin.2026.108578_bib0010","doi-asserted-by":"crossref","first-page":"7055","DOI":"10.1016\/j.jfranklin.2021.07.019","article-title":"Affine formation control for multi-agent systems with prescribed convergence time","volume":"358","author":"Wang","year":"2021","journal-title":"J. Franklin Inst."},{"issue":"6","key":"10.1016\/j.jfranklin.2026.108578_bib0011","doi-asserted-by":"crossref","first-page":"1956","DOI":"10.1109\/TRO.2021.3072026","article-title":"Multiagent planning and control for swarm herding in 2-D obstacle environments under bounded inputs","volume":"37","author":"Chipade","year":"2021","journal-title":"IEEE Trans. Rob."},{"issue":"5","key":"10.1016\/j.jfranklin.2026.108578_bib0012","doi-asserted-by":"crossref","first-page":"3821","DOI":"10.1109\/TRO.2023.3292514","article-title":"Aerial swarm defense using interception and herding strategies","volume":"39","author":"Chipade","year":"2023","journal-title":"IEEE Trans. Rob."},{"issue":"6","key":"10.1016\/j.jfranklin.2026.108578_bib0013","doi-asserted-by":"crossref","first-page":"3622","DOI":"10.1109\/TRO.2022.3183537","article-title":"Adaptive multirobot implicit control of heterogeneous herds","volume":"38","author":"Sebasti\u00e1n","year":"2022","journal-title":"IEEE Trans. Rob."},{"key":"10.1016\/j.jfranklin.2026.108578_bib0014","series-title":"2024 IEEE International Conference on Robotics and Automation (ICRA)","first-page":"88","article-title":"Distributionally robust chance constrained trajectory optimization for mobile robots within uncertain safe corridor","author":"Xu","year":"2024"},{"issue":"1","key":"10.1016\/j.jfranklin.2026.108578_bib0015","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/TRO.2022.3187291","article-title":"Real-time robust receding horizon planning using Hamilton\u2013Jacobi reachability analysis","volume":"39","author":"Seo","year":"2022","journal-title":"IEEE Trans. Rob."},{"issue":"9","key":"10.1016\/j.jfranklin.2026.108578_bib0016","doi-asserted-by":"crossref","first-page":"4216","DOI":"10.1016\/j.jfranklin.2022.03.025","article-title":"Adaptive consensus control for output-constrained nonlinear multi-agent systems with actuator faults","volume":"359","author":"Sun","year":"2022","journal-title":"J. Franklin Inst."},{"issue":"11","key":"10.1016\/j.jfranklin.2026.108578_bib0017","doi-asserted-by":"crossref","first-page":"21531","DOI":"10.1109\/TITS.2022.3189741","article-title":"Distributed motion planning for safe autonomous vehicle overtaking via artificial potential field","volume":"23","author":"Xie","year":"2022","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"1","key":"10.1016\/j.jfranklin.2026.108578_bib0018","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/TCST.2022.3173887","article-title":"Formation control for leader\u2013follower wheeled mobile robots based on embedded control technique","volume":"31","author":"Liu","year":"2022","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"10.1016\/j.jfranklin.2026.108578_bib0019","doi-asserted-by":"crossref","DOI":"10.1016\/j.arcontrol.2024.100945","article-title":"Advances in the theory of control barrier functions: addressing practical challenges in safe control synthesis for autonomous and robotic systems","volume":"57","author":"Garg","year":"2024","journal-title":"Annu. Rev. Control"},{"key":"10.1016\/j.jfranklin.2026.108578_bib0020","series-title":"Conference on Robot Learning","first-page":"2373","article-title":"Neural graph control barrier functions guided distributed collision-avoidance multi-agent control","author":"Zhang","year":"2023"},{"key":"10.1016\/j.jfranklin.2026.108578_bib0021","series-title":"2021 60th IEEE Conference on Decision and Control (CDC)","first-page":"6822","article-title":"Collision avoidance and liveness of multi-agent systems with cbf-based controllers","author":"Jankovic","year":"2021"},{"issue":"7","key":"10.1016\/j.jfranklin.2026.108578_bib0022","doi-asserted-by":"crossref","first-page":"6760","DOI":"10.1109\/LRA.2024.3414268","article-title":"Distributed safe navigation of multi-agent systems using control barrier function-based controllers","volume":"9","author":"Mestres","year":"2024","journal-title":"IEEE Rob. Autom. Lett."},{"issue":"11","key":"10.1016\/j.jfranklin.2026.108578_bib0023","doi-asserted-by":"crossref","first-page":"7080","DOI":"10.1109\/TAC.2025.3566983","article-title":"Probabilistic reachability analysis of stochastic control systems","volume":"70","author":"Jafarpour","year":"2025","journal-title":"IEEE Trans. Automat. Contr."},{"key":"10.1016\/j.jfranklin.2026.108578_bib0024","series-title":"2023 62nd IEEE Conference on Decision and Control (CDC)","first-page":"67","article-title":"Scalable forward reachability analysis of multi-agent systems with neural network controllers","author":"Gates","year":"2023"},{"key":"10.1016\/j.jfranklin.2026.108578_bib0025","series-title":"2021 60th IEEE Conference on Decision and Control (CDC)","first-page":"6814","article-title":"Robust control barrier\u2013value functions for safety-critical control","author":"Choi","year":"2021"},{"issue":"2","key":"10.1016\/j.jfranklin.2026.108578_bib0026","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1109\/TRO.2017.2776308","article-title":"Controlling noncooperative herds with robotic herders","volume":"34","author":"Pierson","year":"2017","journal-title":"IEEE Trans. Rob."},{"issue":"1","key":"10.1016\/j.jfranklin.2026.108578_bib0027","doi-asserted-by":"crossref","DOI":"10.1049\/cth2.12766","article-title":"A game-theoretic cooperative path planning strategy using hybrid heuristic optimization algorithm","volume":"19","author":"Zhu","year":"2025","journal-title":"IET Control Theory Appl."},{"issue":"7","key":"10.1016\/j.jfranklin.2026.108578_bib0028","doi-asserted-by":"crossref","first-page":"1627","DOI":"10.2514\/1.G002125","article-title":"Multiple-pursuer\/one-evader pursuit\u2013evasion game in dynamic flowfields","volume":"40","author":"Sun","year":"2017","journal-title":"J. Guid. Control Dyn."},{"issue":"3","key":"10.1016\/j.jfranklin.2026.108578_bib0029","doi-asserted-by":"crossref","first-page":"924","DOI":"10.1002\/rnc.7693","article-title":"A collision-free pursuit-evasion framework for indirect herding and formation control of noncooperative UAVs","volume":"35","author":"Zhang","year":"2025","journal-title":"Int. J. Robust Nonlinear Control"},{"issue":"14","key":"10.1016\/j.jfranklin.2026.108578_bib0030","doi-asserted-by":"crossref","first-page":"29061","DOI":"10.1109\/JIOT.2025.3567996","article-title":"Formation control of unmanned underwater vehicles with unknown absolute position using rigid graph-based MPC","volume":"12","author":"Fu","year":"2025","journal-title":"IEEE Internet Things J."},{"key":"10.1016\/j.jfranklin.2026.108578_bib0031","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.isatra.2024.11.019","article-title":"Distributed model predictive control for consensus of nonlinear systems via parametric sensitivity","volume":"156","author":"Yu","year":"2025","journal-title":"ISA Trans."},{"issue":"6","key":"10.1016\/j.jfranklin.2026.108578_bib0032","doi-asserted-by":"crossref","first-page":"3357","DOI":"10.1109\/TRO.2022.3177279","article-title":"A comparative study of nonlinear mpc and differential-flatness-based control for quadrotor agile flight","volume":"38","author":"Sun","year":"2022","journal-title":"IEEE Trans. Rob."},{"key":"10.1016\/j.jfranklin.2026.108578_bib0033","series-title":"2025 IEEE 64th Conference on Decision and Control (CDC)","first-page":"3423","article-title":"Probabilistic reachability-driven robust trajectory optimization for a multirotor in uncertain environments","author":"Zhu","year":"2025"},{"key":"10.1016\/j.jfranklin.2026.108578_bib0034","series-title":"2020 59th IEEE Conference on Decision and Control (CDC)","first-page":"2056","article-title":"Provably safe control of Lagrangian systems in obstacle-scattered environments","author":"Barbosa","year":"2020"},{"issue":"27","key":"10.1016\/j.jfranklin.2026.108578_bib0035","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.ifacol.2015.11.152","article-title":"Robustness of control barrier functions for safety critical control","volume":"48","author":"Xu","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.jfranklin.2026.108578_bib0036","series-title":"Nonlinear Systems","volume":"3","author":"Khalil","year":"2002"},{"issue":"7","key":"10.1016\/j.jfranklin.2026.108578_bib0037","doi-asserted-by":"crossref","first-page":"4215","DOI":"10.1109\/TAC.2023.3315691","article-title":"On objective function value performance of the scenario approach under regularity conditions","volume":"69","author":"Wang","year":"2023","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"1","key":"10.1016\/j.jfranklin.2026.108578_bib0038","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1992-00266-5","article-title":"User\u2019s guide to viscosity solutions of second order partial differential equations","volume":"27","author":"Crandall","year":"1992","journal-title":"Bull. Am. Math. Soc."},{"issue":"2","key":"10.1016\/j.jfranklin.2026.108578_bib0039","doi-asserted-by":"crossref","first-page":"1320","DOI":"10.1137\/20M1331135","article-title":"Finite dimensional approximations of Hamilton\u2013Jacobi\u2013Bellman equations in spaces of probability measures","volume":"53","author":"Gangbo","year":"2021","journal-title":"SIAM J. Math. Anal."},{"issue":"2","key":"10.1016\/j.jfranklin.2026.108578_bib0040","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1109\/TCST.2022.3211130","article-title":"Distributed nonlinear trajectory optimization for multi-robot motion planning","volume":"31","author":"Ferranti","year":"2022","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"10.1016\/j.jfranklin.2026.108578_bib0041","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2021.109688","article-title":"Control barrier functions for stochastic systems","volume":"130","author":"Clark","year":"2021","journal-title":"Automatica"},{"issue":"9","key":"10.1016\/j.jfranklin.2026.108578_bib0042","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1016\/j.sysconle.2011.05.013","article-title":"Conditions under which suboptimal nonlinear MPC is inherently robust","volume":"60","author":"Pannocchia","year":"2011","journal-title":"Syst. Control Lett."},{"issue":"1","key":"10.1016\/j.jfranklin.2026.108578_bib0043","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TRO.2020.3010626","article-title":"Incremental nonlinear fault-tolerant control of a quadrotor with complete loss of two opposing rotors","volume":"37","author":"Sun","year":"2020","journal-title":"IEEE Trans. Rob."},{"key":"10.1016\/j.jfranklin.2026.108578_bib0044","series-title":"A Toolbox of Level Set Methods (Version 1.1)","author":"Mitchell","year":"2007"},{"key":"10.1016\/j.jfranklin.2026.108578_bib0045","series-title":"Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control","first-page":"33","article-title":"SReachTools: a MATLAB stochastic reachability toolbox","author":"Vinod","year":"2019"},{"key":"10.1016\/j.jfranklin.2026.108578_bib0046","doi-asserted-by":"crossref","first-page":"1532","DOI":"10.1109\/LCSYS.2025.3581518","article-title":"Soft-constrained stochastic MPC of Markov jump linear systems: application to real-time control with deadline overruns","volume":"9","author":"Gallant","year":"2025","journal-title":"IEEE Control Syst. Lett."}],"container-title":["Journal of the Franklin Institute"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S001600322600178X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S001600322600178X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T08:20:33Z","timestamp":1778833233000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S001600322600178X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5]]},"references-count":46,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2026,5]]}},"alternative-id":["S001600322600178X"],"URL":"https:\/\/doi.org\/10.1016\/j.jfranklin.2026.108578","relation":{},"ISSN":["0016-0032"],"issn-type":[{"value":"0016-0032","type":"print"}],"subject":[],"published":{"date-parts":[[2026,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Stochastic reachability-integrated flexible formation control for multi-agent systems","name":"articletitle","label":"Article Title"},{"value":"Journal of the Franklin Institute","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jfranklin.2026.108578","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Franklin Institute. Published by Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"108578"}}