科研之友
微信
新浪微博
Facebook
分享链接
摘要
Large collections of simple, interacting robots can be difficult to program due to issues of concurrency and intermittent, probabilistic failures. Here, we present Guarded Command Programming with Rates, a formal framework for programming such multi-robot systems. Within this framework, we model robot behavior as a stochastic process and express concurrency and program composition using simple operations. In particular, we show how composition and other operations on programs can be used to specify increasingly complex behaviors of multi-robot systems and how stochasticity can be used to create programs that can tolerate failure of individual robots. Finally, we demonstrate our approach by encoding algorithms for routing parts in an abstract model of the Stochastic Factory Floor testbed (Galloway et al. 2010).
- 出版日期2011-5
