@inproceedings{1d096a5656074765abcacf9dc6503456,
title = "A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems",
abstract = "Swarm robotic system is a complex system comprising a large number of distributed robots. Although a single robot has limited ability of computation and communication, their microscopic behaviors can finally lead to a macroscopic system behavior. Such phenomenon is called emergent behavior which is significantly useful but difficult to engineering due to its indecompositionality over time and scale. In this paper, we propose a formal framework to specify and verify the causality between the macroscopic emergent property and microscopic behaviors of robots. The framework supports hybrid specification of both continuous dynamics of robots and their discrete control programs. A refinement notion is defined in this framework which provides a formal development and verification approach to guide the design of a swarm robotic system satisfying expected emergent properties. We demonstrate the framework on a simple robot swarm consensus scenario.",
keywords = "Emergent Behaviors, Hybrid Relational Modelling Language, Refinement, Swarm Robotic Systems",
author = "Qin Li and Jinxun Wang and Qiwen Xu and Yanhong Huang and Huibiao Zhu",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015 ; Conference date: 09-12-2015 Through 11-12-2015",
year = "2016",
month = jan,
day = "15",
doi = "10.1109/ICECCS.2015.34",
language = "英语",
series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "150--159",
booktitle = "Proceedings - 2015 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015",
address = "美国",
}