Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari

Collective Adaptive System (CAS) is an autonomous distributed system where its formation can reform itself collectively in adapting towards changes in a dynamic environment. However, the changes in CAS environment are unpredictable and can affect CAS formation performance. These uncertain changes co...

Full description

Saved in:

Bibliographic Details
Main Author:	Johari, Muhammad Hamizan
Format:	Thesis
Language:	English
Published:	2022
Subjects:	Application software Computer simulation
Online Access:	https://ir.uitm.edu.my/id/eprint/75719/1/75719.pdf
Tags:	Add Tag No Tags, Be the first to tag this record!

id	my-uitm-ir.75719
record_format	uketd_dc
spelling	my-uitm-ir.757192023-03-30T13:28:31Z Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari 2022 Johari, Muhammad Hamizan Application software Computer simulation Collective Adaptive System (CAS) is an autonomous distributed system where its formation can reform itself collectively in adapting towards changes in a dynamic environment. However, the changes in CAS environment are unpredictable and can affect CAS formation performance. These uncertain changes come from various sources and can be identified during both design time and runtime. In a CAS formation, the complex design of the components working together can cause difficulty for the formation to adapt to the changes. The purpose of this study is to model and synthesize the modelling of CAS formation model with the consideration of uncertain changes. The model used for modelling CAS formation is concurrent stochastic games, which is suitable for modelling the formation closer to a real-world situation. The source of uncertain changes considered for modelling the formation is the changes of parameters in the formation components. Then, the CAS formation model is verified and synthesized which producing a strategy to ensure the reachability of the model. Lastly, the CAS formation model with the synthesized strategy went through the experimentation process to analyze the model reachability with the consideration of uncertain change. The results from the experimentation process show that the CAS formation model can reach the intended goals even when there are identical uncertain changes occur and when the probability of uncertain changes increases. The highest result for parking allocation is 0.64 probability to finish and the lowest result is at 1 probability. 2022 Thesis https://ir.uitm.edu.my/id/eprint/75719/ https://ir.uitm.edu.my/id/eprint/75719/1/75719.pdf text en public masters Universiti Teknologi MARA (UiTM) Faculty of Computer and Mathematical Sciences Ismail, Azlan
institution	Universiti Teknologi MARA
collection	UiTM Institutional Repository
language	English
advisor	Ismail, Azlan
topic	Application software Computer simulation
spellingShingle	Application software Computer simulation Johari, Muhammad Hamizan Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari
description	Collective Adaptive System (CAS) is an autonomous distributed system where its formation can reform itself collectively in adapting towards changes in a dynamic environment. However, the changes in CAS environment are unpredictable and can affect CAS formation performance. These uncertain changes come from various sources and can be identified during both design time and runtime. In a CAS formation, the complex design of the components working together can cause difficulty for the formation to adapt to the changes. The purpose of this study is to model and synthesize the modelling of CAS formation model with the consideration of uncertain changes. The model used for modelling CAS formation is concurrent stochastic games, which is suitable for modelling the formation closer to a real-world situation. The source of uncertain changes considered for modelling the formation is the changes of parameters in the formation components. Then, the CAS formation model is verified and synthesized which producing a strategy to ensure the reachability of the model. Lastly, the CAS formation model with the synthesized strategy went through the experimentation process to analyze the model reachability with the consideration of uncertain change. The results from the experimentation process show that the CAS formation model can reach the intended goals even when there are identical uncertain changes occur and when the probability of uncertain changes increases. The highest result for parking allocation is 0.64 probability to finish and the lowest result is at 1 probability.
format	Thesis
qualification_level	Master's degree
author	Johari, Muhammad Hamizan
author_facet	Johari, Muhammad Hamizan
author_sort	Johari, Muhammad Hamizan
title	Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari
title_short	Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari
title_full	Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari
title_fullStr	Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari
title_full_unstemmed	Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari
title_sort	formation synthesis for ensembling collective adaptive system / muhammad hamizan johari
granting_institution	Universiti Teknologi MARA (UiTM)
granting_department	Faculty of Computer and Mathematical Sciences
publishDate	2022
url	https://ir.uitm.edu.my/id/eprint/75719/1/75719.pdf
_version_	1783736075263410176

Formation synthesis for ensembling collective adaptive system / Muhammad Hamizan Johari

Similar Items