信息物理融合系统导论

作者：  李必信，周颖　编著

出版社：科学出版社 2014-6-1

简介：　　李必信、周颖编著的《信息物理融合系统导论》 从信息物理融合系统的建模和验证两个方面着手，系 统全面地介 绍了信息物理融合系统开发和使用过程的基础知识和 基本原理，介绍了如 何利用微分动态逻辑进行信息物理融合系统建模与验 证的基本理论和方 法。全书共分12章，其中，第1～6章是关于信息物理 融合系统基本知识简 介，包括基本概念、基本原理、典型案例和存在问题 分析等；第7章讨论了信 息物理融合系统一般的建模和验证思路，以及常用的 建模和验证方法； 第8～11重点介绍如何利用微分动态逻辑、微分代数 动态逻辑、微分代数时 序动态逻辑以及量化的微分动态逻辑进行信息物理融 合系统的建模和验证 问题；第12章为工作的总结与展望。　　本书适用于计算机、通信等学科专业的教师、研 究生和高年级本科生， 以及从事信息物理融合系统相关系统建模和验证的工 程技术人员。