Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Management of Evolving Specifications using Category Theory
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL
EASE '08 Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems
ICCGI '08 Proceedings of the 2008 The Third International Multi-Conference on Computing in the Global Information Technology (iccgi 2008)
Category Theory
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
| Hi-index | 0.00 |
Multi-Agent Systems (MAS) have been widely proposed and applied to various application domains, such as space exploration missions. MAS can offer greater redundancy, efficiency, and scalability; however, they also raise new challenges, for instance, complex and often unexpected emergent group behavior, which require a formal specification as well as verification. Therefore, we have proposed a formal approach, named Reactive Autonomic Systems Framework (RASF), based on category theory to tackle those challenges. In this paper, we focus on the formal specification of substitutability property for the fault-tolerance and illustrate our approach through a Mars-world case study implemented as MAS using JADEX.