Abstract
With the advancement of artificial intelligence technologies, mobile agents are becoming more commonly used in a variety of industries that require high reliability from their control systems. In an uncertain environment, if the mobile agent control system’s state transition includes only one plan, the system will enter the fault state immediately after the plan fails. Therefore, multiple alternative plans can be provided during the system design process to improve system reliability. First, this paper studies and describes the factors associated with the proposed multiple alternative plans, namely the success rate and plan implementation cost. Second, a Policy Generation Algorithm for identifying an appropriate execution sequence of those alternative plans is proposed. Furthermore, we propose a formal method-based pipeline framework for verifying the reliability of a mobile agent control system equipped with multiple alternative plans: we invoke the probabilistic model checking technique to create a Discrete-Time Markov Chain formal model of the mobile agent control system, convert the required properties into Probabilistic Computation Tree Logic formulae, and verify the model using the advanced probabilistic model checker PRISM. A case study is provided to demonstrate the applicability of the suggested methodological framework. The experimental results demonstrate that the proposed mobile agent control system with multiple alternative plans can improve system reliability while also meeting the least expected operational cost under the alternative plan set.
Similar content being viewed by others
Data availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Baladeh AE, Taghipour S (2022) Reliability optimization of dynamic k-out-of-n systems with competing failure modes. Reliab Eng Syst Safe 227:108734. https://doi.org/10.1016/j.ress.2022.108734
Bolton ML, Zheng X, Kang E (2021) A formal method for including the probability of erroneous human task behavior in system analyses. Reliab Eng Syst Safe 213:107764. https://doi.org/10.1016/j.ress.2021.107764
Chen YT, Zhang ZY, Huang J (2020) Dynamic task priority planning for null-space behavioral control of multi-agent systems. IEEE Access 8:149643–149651. https://doi.org/10.1109/ACCESS.2020.3016347
Chen Y, Rosolia U, Ubellacker W et al (2022) Interactive multi-modal motion planning with branch model predictive control. IEEE Robot Autom Lett 7(2):5365–5372. https://doi.org/10.1109/LRA.2022.3156648
Ciesinski F, GröBer M (2004) On probabilistic computation tree logic. Validation of stochastic systems. Springer, Berlin, pp 147–188
Desharnais J, Panangaden P (2003) Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J Log Algebraic Program 56(1–2):99–115. https://doi.org/10.1016/S1567-8326(02)00068-1
Donnarumma C, Fara P, Serra G et al (2019) EN-50128 certification-oriented design of a safety-critical hard real-time kernel. In: 2019 IEEE international symposium on software reliability engineering workshops (ISSREW). IEEE, pp 314–317
Ethier SN, Kurtz TG (2009) Markov processes: characterization and convergence. Wiley, New York
Farhadi M, Shahrokhi M, Rahmati SHA (2022) Developing a supplier selection model based on Markov chain and probability tree for a k-out-of-n system with different quality of spare parts. Reliab Eng Syst Safe 222:108387. https://doi.org/10.1016/j.ress.2022.108387
Feng L, Wiltsche C, Humphrey L et al (2015) Controller synthesis for autonomous systems interacting with human operators. In: Proceedings of the ACM/IEEE sixth international conference on cyber-physical systems. pp 70–79
Gao H, Mao S, Huang W et al (2018) Applying probabilistic model checking to financial production risk evaluation and control: a case study of Alibabas Yue Bao. IEEE Trans Comput Soc Syst 5(3):785–795. https://doi.org/10.1109/TCSS.2018.2865217
Guo Y, Sheng S, Phillips C et al (2020) A methodology for reliability assessment and prognosis of bearing axial cracking in wind turbine gearboxes. Renew Sustain Energy Rev 127:109888. https://doi.org/10.1016/j.rser.2020.109888
Heintzman L, Williams RK (2020) Multi-agent intermittent interaction planning via sequential greedy selections over position samples. IEEE Robot Autom Lett 6(2):534–541. https://doi.org/10.1109/LRA.2020.3047788
Karthik S, Karthick M, Karthikeyan N et al (2022) A multi-mobile agent and optimal itinerary planning-based data aggregation in wireless sensor networks. Comput Commun 184:24–35. https://doi.org/10.1016/j.comcom.2021.11.019
Kim KO, Zuo MJ (2018) Optimal allocation of reliability improvement target based on the failure risk and improvement cost. Reliab Eng Syst Safe 180:104–110. https://doi.org/10.1016/j.ress.2018.06.024
Kloock M, Alrifaee B (2023) Coordinated cooperative distributed decision-making using synchronization of local plans. IEEE Trans Intell Veh 8:1292–1306
Kress-Gazit H, Lahijanian M, Raman V (2018) Synthesis for robots: guarantees and feedback for robot behavior. Ann Rev Control Robot Auton Syst 1:211–236. https://doi.org/10.1146/annurev-control-060117-104838
Kwiatkowska M, Norman G, Parker D (2002) PRISM: probabilistic symbolic model checker. International conference on modelling techniques and tools for computer performance evaluation. Springer, Berlin, pp 200–204
Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: verification of probabilistic real-time systems. In: International conference on computer aided verification. Springer, Berlin, pp 585–591
Lamini C, Benhlima S, Elbekri A (2018) Genetic algorithm based approach for autonomous mobile robot path planning. Procedia Comput Sci 127:180–189. https://doi.org/10.1016/j.procs.2018.01.113
Li M, Li B, Huai JP (2012) Reliability-aware automatic composition approach for web services. Sci China Inf Sci 55(4):921–937
Luckcuck M, Farrell M, Dennis LA et al (2019) Formal specification and verification of autonomous robotic systems: a survey. ACM Comput Surv (CSUR) 52(5):1–41. https://doi.org/10.1145/3342355
Musharraf M, Smith J, Khan F et al (2020) Identifying route selection strategies in offshore emergency situations using decision trees. Reliab Eng Syst Safe 194:106179. https://doi.org/10.1016/j.ress.2018.06.007
Ng R, Subrahmanian VS (1992) Probabilistic logic programming. Inf Comput 101(2):150–201. https://doi.org/10.1016/0890-5401(92)90061-J
Pietrantuono R, Popov P, Russo S (2020) Reliability assessment of service-based software under operational profile uncertainty. Reliab Eng Syst Safe 204:107193. https://doi.org/10.1016/j.ress.2020.107193
Raeisi D, Jafarzadeh Ghoushchi S (2022) A robust fuzzy multi-objective location-routing problem for hazardous waste under uncertain conditions. Appl Intell 52:1–21
Rebello S, Yu H, Ma L (2018) An integrated approach for system functional reliability assessment using dynamic Bayesian network and Hidden Markov model. Reliab Eng Syst Safe 180:124–135. https://doi.org/10.1016/j.ress.2018.07.002
Rens G, Moodley DA (2017) Hybrid POMDP-BDI agent architecture with online stochastic planning and plan caching. Cogn Syst Res 43:1–20. https://doi.org/10.1016/j.cogsys.2016.12.002
Rungskunroch P, Jack A, Kaewunruen S (2021) Benchmarking on railway safety performance using Bayesian inference, decision tree and petri-net techniques based on long-term accidental data sets. Reliab Eng Syst Safe 213:107684. https://doi.org/10.1016/j.ress.2021.107684
Saraswat A, Abhishek K, Ghalib MR et al (2022) Towards energy efficient approx cache-coherence protocol verified using model checker. Comput Electr Eng 97:107482. https://doi.org/10.1016/j.compeleceng.2021.107482
Schwung M, Lunze J (2022) Cooperative event-based control of mobile objects over an unreliable communication network. AT Automatisierungstechnik 70(2):105–118
Song Q, Li S, Yang J, et al (2021) Intelligent optimization algorithm-based path planning for a mobile robot. Comput Intell Neurosci 1–17
Sultan K, Bentahar J, El-Menshawy M (2014) Model checking probabilistic social commitments for intelligent agent communication. Appl Soft Comput 22:397–409. https://doi.org/10.1016/j.asoc.2014.04.014
Tahir H, Syed MN, Baroudi U (2020) Heuristic approach for real-time multi-agent trajectory planning under uncertainty. IEEE Access 8:3812–3826. https://doi.org/10.1109/ACCESS.2019.2962785
Torreno A, Onaindia E, Komenda A et al (2018) Cooperative multi-agent planning: a survey. ACM Comput Surv 50(6):1–34. https://doi.org/10.1145/3128584
Toumieh C, Lambert A (2022) Decentralized multi-agent planning using model predictive control and time-aware safe corridors. IEEE Robot Autom Lett 7(4):11110–11117. https://doi.org/10.1109/LRA.2022.3196777
Wan W, Bentahar J, Hamza AB (2013) Model checking epistemic-probabilistic logic using probabilistic interpreted systems. Knowl Based Syst 50:279–295. https://doi.org/10.1016/j.knosys.2013.06.017
Wang B, Liu Z, Li Q et al (2020) Mobile robot path planning in dynamic environments through globally guided reinforcement learning. IEEE Robot Autom Lett 5(4):6932–6939. https://doi.org/10.1109/LRA.2020.3026638
Wang X, Liu J, Nugent C et al (2023a) Mobile agent path planning under uncertain environment using reinforcement learning and probabilistic model checking. Knowl Based Syst 264:110355. https://doi.org/10.1016/j.knosys.2023.110355
Wang X, Liu J, Moore SJ et al (2023b) A behavioural hierarchical analysis framework in a smart home: integrating HMM and probabilistic model checking. Inf Fusion 95:275–292
Wu D, Liu J, Wang H et al (2021) A CPN-based approach for studying impacts of communication delays on safety and availability of safety-critical distributed networked control systems. IEEE Trans Ind Inform 18(5):3033–3042. https://doi.org/10.1109/TII.2021.3109436
Xiahou T, Zheng YX, Liu Y et al (2023) Reliability modeling of modular k-out-of-n systems with functional dependency: a case study of radar transmitter systems. Reliab Eng Syst Safe 233:109120. https://doi.org/10.1016/j.ress.2023.109120
Zhang H, Lin W, Chen A (2018) Path planning for the mobile robot: a review. Symmetry 10(10):450. https://doi.org/10.3390/sym10100450
Zhang P, Li T, Yuan Z, et al (2022) Heterogeneous feature selection based on neighborhood combination entropy. IEEE Trans Neural Netw Learn Syst 1–14
Zhang P, Li T, Yuan Z et al (2023) A possibilistic information fusion-based unsupervised feature selection method using information quality measures. IEEE Trans Fuzzy Syst 1–14
Zhao X, Robu V, Flynn D et al (2019) Probabilistic model checking of robots deployed in extreme environments. Proc AAAI Conf Artif Intell 33(01):8066–8074
Zheng X, Bolton ML, Daly C et al (2020) The development of a next-generation human reliability analysis: systems analysis for formal pharmaceutical human reliability (SAFPH). Reliab Eng Syst Safe 202:106927. https://doi.org/10.1016/j.ress.2020.106927
Zhou L, Tokekar P (2021) Multi-robot coordination and planning in uncertain and adversarial environments. Curr Robot Rep 2(2):147–157
Zhu Y, Xue X, Zhang K, et al (2016) Applying probabilistic model checking to express delivery location selection and optimization. In: IEEE 13th international conference on e-business engineering (ICEBE). IEEE, pp 32–39
Zhu H, Almukdad A, Iryo-Asano M et al (2021) A novel agent-based framework for evaluating pedestrian safety at unsignalized mid-block crosswalks. Accid Anal Prev 159:106288. https://doi.org/10.1016/j.aap.2021.106288
Zojaji Z, Ladani BT, Khalilian A (2016) Automated program repair using genetic programming and model checking. Appl Intell 45(4):1066–1088
Acknowledgements
The authors thank the anonymous reviewer for the careful look and several valuable suggestions that helped us improve the presentation.
Funding
This work was supported by the National Natural Science Foundation of China (no. 61976130, 62206227), the Natural Science Foundation of SiChuan (no. 2022NSFSC0464), and the Chengdu International Science Cooperation Project, China under Grant 2020-GH02-00064-HZ.
Author information
Authors and Affiliations
Contributions
The conceptualization, writing and formal analysis was done by WX. The methodology and improving the language were carried out by LJ and WKM. XY participated throughout the preparation of the paper. All authors read and reviewed the version.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflicts of interest and the paper is not been submitted to any other Journals.
Ethical approval
This article does not contain any studies with human participants or animals performed by any authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Wang, X., Xu, Y., Liu, J. et al. Reliability analysis of mobile agent control system with multiple alternative plans. Soft Comput 27, 18681–18695 (2023). https://doi.org/10.1007/s00500-023-09113-9
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-023-09113-9