Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Exception handling in agent systems
Proceedings of the third annual conference on Autonomous Agents
A Sentinel Approach to Fault Handling in Multi-Agent Systems
Revised Papers from the Second Australian Workshop on Distributed Artificial Intelligence: Multi-Agent Systems: Methodologies and Applications
Program Instrumentation for Debugging and Monitoring with AspectC++
ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Dynamic self-control of autonomous agents
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Contextualizing normative open multi-agent systems
Proceedings of the 2008 ACM symposium on Applied computing
Informing Regulatory Dynamics in Open MASs
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Step Towards Fault Tolerance for Multi-Agent Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
ALBA: a generic library for programming mobile agents with prolog
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Providing contextual norm information in open multi-agent systems
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
The semantics of norms mining in multi-agent systems
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
| Hi-index | 0.00 |
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time systems). The emergence of behaviors from the agents interaction can generate situations incompatible with the expected system execution. The standard methods to validate a multiagent system do not prevent the occurrence of undesirable behaviors during its execution in real condition. We propose a complementary approach of dynamic self-monitoring and self-regulation allowing the agents to control their own behavior. This paper goes on to present the automatic generation of self-controlled agents. We use the observer approach to verify that the agents behavior respects a set of laws throughout the system execution.