Formal modeling of mobile agent control system in uncertain environment

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

doi:10.1142/9789811269264_0027

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 proceeding › Conference contribution › peer-review

Abstract

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 language	English
Title of host publication	Machine Learning, Multi Agent and Cyber Physical Systems
Subtitle of host publication	Proceedings of the 15th International FLINS Conference (FLINS 2022)
Publisher	World Scientific Publishing
Pages	228-235
Number of pages	8
ISBN (Electronic)	978-981-126-927-1
ISBN (Print)	978-981-126-925-7
DOIs	https://doi.org/10.1142/9789811269264_0027
Publication status	Published online - 29 Jan 2023
Event	Conference on Machine learning, Multi Agent and Cyber Physical Systems - Tianjin, China Duration: 26 Aug 2022 → 28 Aug 2022 Conference number: 2022 https://doi.org/10.1142/13231

Publication series

Name	Book Series: World Scientific Proceedings Series on Computer Engineering and Information Science
Publisher	World Scientific Publishing
ISSN (Print)	1793-7868

Conference

Conference	Conference on Machine learning, Multi Agent and Cyber Physical Systems
Abbreviated title	FLINS
Country/Territory	China
City	Tianjin
Period	26/08/22 → 28/08/22
Internet address	https://doi.org/10.1142/13231

Keywords

Control system
uncertain environment
model checking
alternative plans

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1142/9789811269264_0027

Cite this

Wang, X., Xu, Y., Wang, K., Liu, J., & Wu, G. (2023). Formal modeling of mobile agent control system in uncertain environment. In Machine Learning, Multi Agent and Cyber Physical Systems: Proceedings of the 15th International FLINS Conference (FLINS 2022) (pp. 228-235). (Book Series: World Scientific Proceedings Series on Computer Engineering and Information Science). World Scientific Publishing. Advance online publication. https://doi.org/10.1142/9789811269264_0027

Wang, Xia ; Xu, Yang ; Wang, Keming et al. / Formal modeling of mobile agent control system in uncertain environment. Machine Learning, Multi Agent and Cyber Physical Systems: Proceedings of the 15th International FLINS Conference (FLINS 2022). World Scientific Publishing, 2023. pp. 228-235 (Book Series: World Scientific Proceedings Series on Computer Engineering and Information Science).

@inproceedings{7545a851551a48f38ef13ce97867af30,

title = "Formal modeling of mobile agent control system in uncertain environment",

abstract = "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.",

keywords = "Control system, uncertain environment, model checking, alternative plans",

author = "Xia Wang and Yang Xu and Keming Wang and Jun Liu and Guanfeng Wu",

year = "2023",

month = jan,

day = "29",

doi = "10.1142/9789811269264_0027",

language = "English",

isbn = "978-981-126-925-7",

series = "Book Series: World Scientific Proceedings Series on Computer Engineering and Information Science",

publisher = "World Scientific Publishing",

pages = "228--235",

booktitle = "Machine Learning, Multi Agent and Cyber Physical Systems",

address = "Singapore",

note = "Conference on Machine learning, Multi Agent and Cyber Physical Systems, FLINS ; Conference date: 26-08-2022 Through 28-08-2022",

url = "https://doi.org/10.1142/13231 ",

}

Wang, X, Xu, Y, Wang, K, Liu, J & Wu, G 2023, Formal modeling of mobile agent control system in uncertain environment. in Machine Learning, Multi Agent and Cyber Physical Systems: Proceedings of the 15th International FLINS Conference (FLINS 2022). Book Series: World Scientific Proceedings Series on Computer Engineering and Information Science, World Scientific Publishing, pp. 228-235, Conference on Machine learning, Multi Agent and Cyber Physical Systems, Tianjin, China, 26/08/22. https://doi.org/10.1142/9789811269264_0027

Formal modeling of mobile agent control system in uncertain environment. / Wang, Xia; Xu, Yang; Wang, Keming et al.
Machine Learning, Multi Agent and Cyber Physical Systems: Proceedings of the 15th International FLINS Conference (FLINS 2022). World Scientific Publishing, 2023. p. 228-235 (Book Series: World Scientific Proceedings Series on Computer Engineering and Information Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal modeling of mobile agent control system in uncertain environment

AU - Wang, Xia

AU - Xu, Yang

AU - Wang, Keming

AU - Liu, Jun

AU - Wu, Guanfeng

N1 - Conference code: 2022

PY - 2023/1/29

Y1 - 2023/1/29

N2 - 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.

AB - 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.

KW - Control system

KW - uncertain environment

KW - model checking

KW - alternative plans

U2 - 10.1142/9789811269264_0027

DO - 10.1142/9789811269264_0027

M3 - Conference contribution

SN - 978-981-126-925-7

T3 - Book Series: World Scientific Proceedings Series on Computer Engineering and Information Science

SP - 228

EP - 235

BT - Machine Learning, Multi Agent and Cyber Physical Systems

PB - World Scientific Publishing

T2 - Conference on Machine learning, Multi Agent and Cyber Physical Systems

Y2 - 26 August 2022 through 28 August 2022

ER -

Wang X, Xu Y, Wang K, Liu J, Wu G. Formal modeling of mobile agent control system in uncertain environment. In Machine Learning, Multi Agent and Cyber Physical Systems: Proceedings of the 15th International FLINS Conference (FLINS 2022). World Scientific Publishing. 2023. p. 228-235. (Book Series: World Scientific Proceedings Series on Computer Engineering and Information Science). Epub 2023 Jan 29. doi: 10.1142/9789811269264_0027

Formal modeling of mobile agent control system in uncertain environment

Abstract

Publication series

Conference

Keywords

UN SDGs

Access to Document

Fingerprint

Cite this