Automated analysis of consensus protocol in specifcation of multi-agents coordination
暂无分享,去创建一个
[1] Viet Ha Nguyen,et al. Coordinated Consensus Analysis of Multi-agent Systems Using Event-B , 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
[2] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[3] Michael J. Butler,et al. Decomposition Structures for Event-B , 2009, IFM.
[4] F. Fagnani,et al. Communication constraints in coordinated consensus problems , 2006, 2006 American Control Conference.
[5] Mohamed Jmaiel,et al. Specification and verification of multi-agent applications using temporal Z , 2004 .
[6] Abder Koukam,et al. Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model , 2007, Int. J. Softw. Eng. Knowl. Eng..
[7] Arnaud Lanoix. Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles , 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.
[8] Michael Poppleton,et al. The Composition of Event-B Models , 2008, ABZ.
[9] Max Donath,et al. American Control Conference , 1993 .
[10] Michael J. Butler,et al. Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction , 2009, Methods, Models and Tools for Fault Tolerance.
[11] Jean-Luc Koning,et al. A Formal Approach to Model Multiagent Interactions Using the B Formal Method , 2005, ISSADS.
[12] Gerhard Weiss,et al. Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .
[13] Michael Wooldridge,et al. Introduction to multiagent systems , 2001 .
[14] Reza Olfati-Saber,et al. Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.