信息物理融合系统导论

信息物理融合系统导论
9787030412478
李必信，周颖编著
信息科学技术学术著作丛书
O4
科学出版社
2014-06
2014
2014
本书共分12章，其中第1-6章是关于信息物理融合系统基本知识简介，包括基本概念、基本原理、典型案例和存在问题分析等；第7章讨论了信息物理融合系统一般的建模和验证思路，以及常用的建模和验证方法；第8-11章重点介绍如何利用微分动态逻辑、微分代数动态逻辑、微分代数时序动态逻辑以及量化