Communicating sequential processes
Communicating sequential processes
Flocks, herds and schools: A distributed behavioral model
SIGGRAPH '87 Proceedings of the 14th annual conference on Computer graphics and interactive techniques
X-machines as a basis for dynamic system specification
Software Engineering Journal
Parallel program design: a foundation
Parallel program design: a foundation
Economic simulations in Swarm: agent-based modelling and object programming
Economic simulations in Swarm: agent-based modelling and object programming
Concurrent Systems: Formal Development in CSP
Concurrent Systems: Formal Development in CSP
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
RT-Z: An Integration of Z and timed CSP
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
The Specification of Dynamic Distributed Component Systems
The Specification of Dynamic Distributed Component Systems
Using Artificial Physics to Control Agents
ICIIS '99 Proceedings of the 1999 International Conference on Information Intelligence and Systems
Experience Using Formal Methods for Specifying a Multi-Agent System
ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems
Ant Colony Optimization
Verification of NASA Emergent Systems
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
Categories for Software Engineering
Categories for Software Engineering
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
Autonomous and autonomic systems: a paradigm for future space exploration missions
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Some Verification Issues at NASA Goddard Space Flight Center
Verified Software: Theories, Tools, Experiments
Emergent Behavior Control Patterns in Robotic Collectives
ICIRA '09 Proceedings of the 2nd International Conference on Intelligent Robotics and Applications
Self-management capability requirements with SelfMML & INGENIAS to attain self-organising behaviours
Proceedings of the second international workshop on Self-organizing architectures
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
| Hi-index | 0.00 |
The use of swarm technologies has become prevalent in a variety of application domains: medical, bioinformatics, military/defense, surveillance, even internet television broadcasting. Future NASA missions will exploit such technologies to enable spacecraft to be sent where heretofore it was impossible, to ensure greater protection of space assets, and to increase the likelihood of mission success. We describe some of the basic concepts of swarms, and discuss the requirements of a formal method suitable for use with swarm-based systems. We also present some findings of our FAST (Formal Approaches to Swarm Technologies) project, which is attempting to identify a suitable integrated formal method for this task.