Logic-based modeling of information transfer in cyber-physical multi-agent systems
详细信息 查看全文
- 作者：Christian Kroiß ; a ; kroiss@pst.ifi.lmu.de" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Tomá ; &scaron ; Bure&scaron ; b ; bures@d3s.mff.cuni.cz" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae
- 关键词：Statistical model checking ; cyber&ndash ; physical systems ; Situation calculus ; Discrete event simulation
- 刊名：Future Generation Computer Systems
- 出版年：2016
- 出版时间：March 2016
- 年：2016
- 卷：56
- 期：Complete
- 页码：124-139
- 全文大小：1616 K
文摘
- •
Logic-based modeling of information transfer in multi-agent systems.
- •
Considers stochastic nature of communication in the cyber–physical setting.
- •
Allows property specification with first-order time-bounded LTL.
- •
Can be used for statistical model checking.