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 >

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 >

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 >

Yueqi Hou¹, Xiaolong Liang^{1, 2}, Lyulong He¹, Jiaqiang Zhang^{1, *}, Jie Zhu³, Baoxiang Ren³

CMC-Computers, Materials & Continua, Vol.62, No.3, pp. 1335-1349, 2020, DOI:10.32604/cmc.2020.06869

Abstract Consensus control of multi-agent systems has attracted compelling attentions from various scientific communities for its promising applications. This paper presents a discrete-time consensus protocol for a class of multi-agent systems with switching topologies and input constraints based on distributed predictive control scheme. The consensus protocol is not only distributed but also depends on the errors of states between agent and its neighbors. We focus mainly on dealing with the input constraints and a distributed model predictive control scheme is developed to achieve stable consensus under the condition that both velocity and acceleration constraints are included simultaneously. The acceleration constraint is… More >