InTech - Open Access Publisher

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems Alan FT Winfield, Jin Sa, Mari-Carmen Fernandez-Gago, Clare Dixon and Michael Fisher

Bookmark and Share

    Tweet

     

How to Reference

To reference this article in your paper, please copy and paste the following text:

How to Link

To place a link on your website or a blog, please copy and paste the following HTML code:

Related Articles

• Mechanism of Emergent Symmetry Properties on Evolutionary Robotic System
• Modelling, Specification and Robustness Issues for Robotic Manipulation Tasks
• Formal Verification of Hybrid Automotive Systems
• Multi-Robot Systems: Modeling, Specification, and Model Checking
• Mobile Platforms as Convergent Systems – Analysing Control Points and Tussles with Emergent Soc...
• Multilevel Petri Nets for the Specification and Development of Workflow Automation Systems
• Formations of Robotic Swarm: An Artificial Force Based Approach
• Formations of Robotic Swarm: An Artificial Force Based Approach
• Synchronous and Asynchronous Communication Modes for Swarm Robotic Search
• Impedance Controller Tuned by Particle Swarm Optimization for Robotic Arms
• Uncertain Discrete-Time Systems with Delayed State: Robust Stabilization with Performance Specifi...
• Key Aspects of PSO-Type Swarm Robotic Search: Signals Fusion and Path Planning