Skip to main content
Log in

Decentralized runtime enforcement for robotic swarms

  • Published:
Frontiers of Information Technology & Electronic Engineering Aims and scope Submit manuscript

Abstract

Robotic swarms are usually designed in a bottom-up way, which can make robotic swarms vulnerable to environmental impact. It is particularly true for the widely used control mode of robotic swarms, where it is often the case that neither the correctness of the swarming tasks at the macro level nor the safety of the interaction among agents at the micro level can be guaranteed. To ensure that the behaviors are safe at runtime, it is necessary to take into account the property guard approaches for robotic swarms in uncertain environments. Runtime enforcement is an approach which can guarantee the given properties in system execution and has no scalability issue. Although some runtime enforcement methods have been studied and applied in different domains, they cannot effectively solve the problem of property enforcement on robotic swarm tasks at present. In this paper, an enforcement method is proposed on swarms which should satisfy multi-level properties in uncertain environments. We introduce a macro-micro property enforcing framework with the notion of agent shields and a discrete-time enforcing mechanism called D-time enforcing. To realize this method, a domain specification language and the corresponding enforcer synthesis algorithms are developed. We then apply the approach to enforce the properties of the simulated robotic swarm in the robotflocksim platform. We evaluate and show the effectiveness of the method with experiments on specific unmanned aerial vehicle swarm tasks.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wei Dong.

Additional information

Project supported by the National Natural Science Foundation of China (Nos. 62032019 and 61690203

Contributors

Chi HU, Wei DONG, and Yong-hui YANG designed the research. Chi HU, Hao SHI, and Fei DENG processed the data. Chi HU drafted the manuscript. Wei DONG helped organize the manuscript. Chi HU and Wei DONG revised and finalized the paper.

Compliance with ethics guidelines

Chi HU, Wei DONG, Yong-hui YANG, Hao SHI, and Fei DENG declare that they have no conflict of interest.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Hu, C., Dong, W., Yang, Yh. et al. Decentralized runtime enforcement for robotic swarms. Front Inform Technol Electron Eng 21, 1591–1606 (2020). https://doi.org/10.1631/FITEE.2000203

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1631/FITEE.2000203

Key words

CLC number

Navigation