热门

最新

红包

立Flag

投票

同城

发布
qq_45540735
夏尔Gaesar
4 年前
trueqq_45540735

Snowcap’s runtime controller then applies these com-
mands one-by-one to the live network, appropriately waiting for
network convergence in-between them. Doing so enables Snowcap
to tightly control the intermediate states.
评论
1
打赏
  • 复制链接
  • 举报
下一条：
Given (i) the initial and the final configurations; and (ii)hard and soft specifications (expressed as a linear temporal logic(LTL) formula and as an objective function, respectively), Snowcapautomatically generates an ordering of the reconfiguration com-mands which satisfies the hard specifications, while optimizing forthe soft ones.