Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Engineering Societies in the Agents World VIII
A Logical Treatment for the Emergence of Control in Complex Self-Organising Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
OPERASCC: an instance of a formal framework for MAS modeling based on population P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Specification of reconfigurable MAS: a hybrid formal approach
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Analysing robot swarm behaviour via probabilistic model checking
Robotics and Autonomous Systems
Formalism challenges of the cougaar model driven architecture
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Towards temporal verification of swarm robotic systems
Robotics and Autonomous Systems
Hi-index | 0.00 |
NASA is studying advanced technologies for a futurerobotic exploration mission to the asteroid belt. Thismission, the prospective ANTS (Autonomous NanoTechnology Swarm) mission, will comprise of 1,000autonomous robotic agents designed to cooperate inasteroid exploration. The emergent properties of swarmtype missions make them powerful, but at the same timeare more difficult to design and assure that the properbehaviors will emerge. We are currently investigatingformal methods and techniques for verification andvalidation of future swarm-based missions. Theadvantage of using formal methods is their ability tomathematically assure the behavior of a swarm, emergentor otherwise. The ANT mission is being used as anexample and case study for swarm-based missions forwhich to experiment and test current formal methods withintelligent swarms. Using the ANTS mission, we haveevaluated multiple formal methods to determine theireffectiveness in modeling and assuring swarm behavior.