系统包含原理及其应用
《系统包含原理及其应用》,作者:陈雪波著 出版社:科学出版社 ISBN:9787030336453。本书共分7章，内容包括：线性随机离散时变系统的包含原理、电力系统的重叠分散LQG控制、自动车组系统的重叠分散控制、系统的对偶性与对偶包含原理等。
系统
混沌系统的控制问题研究及其应用
《混沌系统的控制问题研究及其应用》,作者:郭荣伟 著 出版社:科学出版社 ISBN:9787030663429。混沌系统及相关的控制问题是非线性系统控制领域的一个研究热点。本书主要介绍了混沌系统镇定、同步、反同步、同时同步和反同步、投影同步、跟踪等问题的最新进展。特别地，对于混沌系统反同步、同时同步和反同步、投影同步问题，本书不仅给出了它们存在的充要条件，而且给出了相应的求解算法。
关联大系统的分散鲁棒控制
《关联大系统的分散鲁棒控制》,作者:谢永芳等 出版社:科学出版社 ISBN:9787030513014。本书总结了作者及其团队20 年来从事分散鲁棒控制领域的研究工作，内容涉及不确定性关联系统的分散鲁棒稳定化、分散鲁棒H∞控制，不确定性关联时滞大系统的分散鲁棒镇定、分散输出跟踪控制、无源化控制和时滞相关分散鲁棒H∞控制以及奇异关联系统的分散鲁棒控制等，并以电力系统的分散控制和锌湿法
公理化集合论机器证明系统
《公理化集合论机器证明系统》,作者:郁文生,孙天宇,付尧顺 著 出版社:科学出版社 ISBN:9787030640390。 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义
面向多核系统的可重构计算研究
《面向多核系统的可重构计算研究》,作者:胡威，严力科 出版社:科学出版社 ISBN:9787030509505。本书以集成可重构器件的多核系统为基础，提出面向多核系统的可重构计算框架，并以此为支撑开展相关的研究，给出对应的设计与验证分析。面向多核系统的可重构计算，从可重构器件片上面积管理与配置优化、可重构器件支持的软硬件线程、可重构多核处理器体系结构、多核架构上可重构任务的系统支持、约束驱动的可重
