The gamma model and its discipline of programming
Science of Computer Programming
Selected papers of the Second Workshop on Concurrency and compositionality
A calculus of mobile processes, I
Information and Computation
A situated view of representation and control
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Journal of Computer and System Sciences
Swarm intelligence
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Mobile Agents for Adaptive Routing
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7 - Volume 7
Towards Multi-Swarm Problem Solving in Networks
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
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
Evolving Self-Organizing Behaviors for a Swarm-Bot
Autonomous Robots
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
P Systems with Mobile Membranes
Natural Computing: an international journal
Swarm Intelligence in Data Mining (Studies in Computational Intelligence)
Swarm Intelligence in Data Mining (Studies in Computational Intelligence)
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
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Ant system: optimization by a colony of cooperating agents
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Engineering Societies in the Agents World VIII
Transforming communicating X-machines into P systems
Natural Computing: an international journal
Membrane computing as a modeling framework: cellular systems case studies
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
| Hi-index | 0.00 |
Swarm-based systems are biology-inspired systems which can be directly mapped to multi-agent systems (MAS), possessing characteristics such as local control over the decisions taken by the agents and a highly dynamic structure which continuously changes. This class of MAS is of a particular interest because it exhibits emergent behavior through self-organization and finds itself applicable to a wide range of domains. In this paper, we present OPERAS, an open formal framework that facilitates modeling of MAS, we describe how a particular instance of this framework, namely OPERASCC, could employ existing biological computation systems, such as population P systems, and demonstrate how the resulting method can be used to formally model a swarm-based system of autonomous spacecrafts.