Formal modeling of mobile agent control system in uncertain environment

Xia Wang, Yang Xu, Keming Wang, Jun Liu, Guanfeng Wu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


In a stochastic uncertainty environment, if the state transition of the mobile agent control system has only one preset plan, once this plan fails, the system will immediately enter the fault state. Therefore, multiple alternative plans can be provided in system design to improve system reliability, that is, alternatives can be implemented after the current plan fails. Considering the mobile agent control system in uncertain environment, this paper proposes a mobile agent control system with multiple alternative plans for system state transition. The nature of the system allows us to use one of the most recently developed open source model checkers for multi-agent system, MCMAS, to perform the model checking of safety verification task in designing the system. We formally model the proposed control system into Interpreted Systems Programming Language (ISPL) descriptions, which is actually the input of MCMAS. Finally MCMAS is used to validate the established ISPL model. The results show that the control system with multiple alternatives satisfies the required properties and can greatly improve the reliability of the system.
Original languageEnglish
Title of host publicationMachine Learning, Multi Agent and Cyber Physical Systems
Subtitle of host publicationProceedings of the 15th International FLINS Conference (FLINS 2022)
PublisherWorld Scientific Publishing
Number of pages8
ISBN (Electronic)978-981-126-927-1
ISBN (Print)978-981-126-925-7
Publication statusPublished online - 29 Jan 2023
EventConference on Machine learning, Multi Agent and Cyber Physical Systems - Tianjin, China
Duration: 26 Aug 202228 Aug 2022
Conference number: 2022

Publication series

NameBook Series: World Scientific Proceedings Series on Computer Engineering and Information Science
PublisherWorld Scientific Publishing
ISSN (Print)1793-7868


ConferenceConference on Machine learning, Multi Agent and Cyber Physical Systems
Abbreviated titleFLINS
Internet address


  • Control system
  • uncertain environment
  • model checking
  • alternative plans


Dive into the research topics of 'Formal modeling of mobile agent control system in uncertain environment'. Together they form a unique fingerprint.

Cite this