Xia Li¹, Zhanyou Ma^1,*, Zhibao Mian², Ziyuan Liu¹, Ruiqi Huang¹, Nana He¹

CMC-Computers, Materials & Continua, Vol.78, No.3, pp. 4129-4152, 2024, DOI:10.32604/cmc.2024.047168

Abstract Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications. Although there is an extensive literature on qualitative properties such as safety and liveness, there is still a lack of quantitative and uncertain property verifications for these systems. In uncertain environments, agents must make judicious decisions based on subjective epistemic. To verify epistemic and measurable properties in multi-agent systems, this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge (FCTLK). We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy… More >

Hamida Litimein¹, Zhen-You Huang¹, Muhammad Shamrooz Aslam^2,*

Intelligent Automation & Soft Computing, Vol.37, No.1, pp. 321-341, 2023, DOI:10.32604/iasc.2023.036786

Abstract In this paper, we study the circular formation problem for the second-order multi-agent systems in a plane, in which the agents maintain a circular formation based on a probabilistic position. A distributed hybrid control protocol based on a probabilistic position is designed to achieve circular formation stabilization and consensus. In the current framework, the mobile agents follow the following rules: 1) the agent must follow a circular trajectory; 2) all the agents in the same circular trajectory must have the same direction. The formation control objective includes two parts: 1) drive all the agents to the circular formation; 2) avoid… More >

Shrouk H. Hessen^1,2,*, Hatem M. Abdul-kader¹, Ayman E. Khedr³, Rashed K. Salem¹

CMC-Computers, Materials & Continua, Vol.74, No.2, pp. 3015-3028, 2023, DOI:10.32604/cmc.2023.033212

Abstract According to the advances in users’ service requirements, physical hardware accessibility, and speed of resource delivery, Cloud Computing (CC) is an essential technology to be used in many fields. Moreover, the Internet of Things (IoT) is employed for more communication flexibility and richness that are required to obtain fruitful services. A multi-agent system might be a proper solution to control the load balancing of interaction and communication among agents. This paper proposes a multi-agent load balancing framework that consists of two phases to optimize the workload among different servers with large-scale CC power with various utilities and a significant number… More >

Said Benkirane¹, Azidine Guezzaz¹, Mourade Azrour¹, Akber Abid Gardezi², Shafiq Ahmad³, Abdelaty Edrees Sayed³, Salman Naseer⁴, Muhammad Shafiq^5,*

CMC-Computers, Materials & Continua, Vol.74, No.2, pp. 3781-3794, 2023, DOI:10.32604/cmc.2023.033119

Abstract Today, road safety remains a serious concern for governments around the world. In fact, approximately 1.35 million people die and 2–50 million are injured on public roads worldwide each year. Straight bends in road traffic are the main cause of many road accidents, and excessive and inappropriate speed in this very critical area can cause drivers to lose their vehicle stability. For these reasons, new solutions must be considered to stop this disaster and save lives. Therefore, it is necessary to study this topic very carefully and use new technologies such as Vehicle Ad Hoc Networks (VANET), Internet of Things… More >

S. Sakthivel¹, V. Vivekanandhan^2,*, M. Manikandan²

Intelligent Automation & Soft Computing, Vol.35, No.1, pp. 853-866, 2023, DOI:10.32604/iasc.2023.026289

Abstract Irrigation plays a significant role in various agricultural cropping methods deployed in semiarid and arid regions where valuable water applications and managing are considered crucial concerns. Multiple factors such as weather, soil, water, and crop data need to be considered for irrigation maintenance in an efficient besides uniform manner from multifaceted and different information-based systems. A Multi-Agent System (MAS) has been proposed recently based on diverse agent subsystems with definite objectives for attaining global MAS objective and is deployed on Cloud Computing paradigm capable of gathering information from Wireless Sensor Networks (WSNs) positioned in rice, cotton, cassava crops for knowledge… More >

Farah Tawfiq Abdul Hussien^*, Abdul Monem S. Rahma, Hala Bahjat Abdul Wahab

Intelligent Automation & Soft Computing, Vol.34, No.1, pp. 499-514, 2022, DOI:10.32604/iasc.2022.025091

Abstract Providing security for the customers in the e-commerce system is an essential issue. Providing security for each single online customer at the same time is considered a time consuming process. For a huge websites such task may cause several problems including response delay, losing the customer orders and system deadlock or crash, in which reduce system performance. This paper aims to provide a new prototype structure of multi agent system that solve the problem of providing security and avoid the problems that may reduce system performance. This is done by creating a software agent which is settled into the customer… More >

Norah S. Farooqi¹, Mohamed O. Khozium^2,*

Intelligent Automation & Soft Computing, Vol.31, No.1, pp. 297-309, 2022, DOI:10.32604/iasc.2022.019060

Abstract Using Business Intelligence (BI) applications is a critical factor for modern enterprises’ success. BI is one of the key components that persistently required for the modern high-tech companies and industries were used to handle huge amounts of data in every minute of the operations. The existing literature suggested that the lack of dynamic decision making, accuracy, and the degree of flexibility are the key limitations for handling the operational data. Many industries and companies adopted the software-based solution; however, the intelligence is there due to the dependence of the operational engagement for each of the sectors. Therefore, artificial intelligence business… More >

Ali Mustafa^1,2, M Najam ul Islam¹, Salman Ahmed^1,3,*

Computer Systems Science and Engineering, Vol.37, No.3, pp. 399-413, 2021, DOI:10.32604/csse.2021.015575

Abstract Consensus control of multi-agent systems is an innovative paradigm for the development of intelligent distributed systems. This has fascinated numerous scientific groups for their promising applications as they have the freedom to achieve their local and global goals and make their own decisions. Network communication topologies based on graph and matrix theory are widely used in a various real-time applications ranging from software agents to robotics. Therefore, while sustaining the significance of both directed and undirected graphs, this research emphases on the demonstration of a distributed average consensus algorithm. It uses the harmonic mean in the domain of multi-agent systems… More >

Xiaofeng Liu, Siqi An, Dongxu Zhang

Intelligent Automation & Soft Computing, Vol.24, No.4, pp. 771-775, 2018, DOI:10.1080/10798587.2017.1337667

Abstract This paper discusses the problem of dynamic output consensus for heterogeneous multi-agent systems (MAS) with fixed topologies. All the agents possess unique linear dynamics, and only the output information of each agent is delivered throughout the communication digraphs. A series of conditions and protocols are set for reaching the consensus. With the proper feedback controllers, the output consensus of the overall system is guaranteed. An application illustrates the theorems. More >

Awais Qasim^a, Syed Asad Raza Kazmi^b

Intelligent Automation & Soft Computing, Vol.25, No.1, pp. 49-63, 2019, DOI:10.31209/2018.100000012

Abstract The paradigm of multi-agent systems is very expressive to model distributed real-time systems. These real-time multi-agent systems by their working nature have temporal constraints as they need to operate in pervasive, dynamic and unpredictable environments. To achieve better fault-tolerance, they need to have the ability of self-adaptivity making them adaptable to the failures. Presently there is a lack of vocabulary for the formal modelling of real-time multi-agent systems with self-adaptive ability. In this research we proposed a framework named SMARTS for the formal modelling of self-adaptive real-time multi-agent systems. Our framework integrates MAPE-K interfaces, reflection perspective and unification with distribution… More >