书目

赛博物理系统的多范式建模方法

内容简介

本书呈现了国际相关研究团队在支持赛博物理系统多范式建模(MPM4CPS)方面的研究成果,书中内容源于领先行业的实践经验以及研究性文献,聚焦该领域最先进的研究方法和实践案例,涵盖MPM4CPS研究团队创建的理论基础、形式化方法、工具以及相应教育资源和案例。读者将从本书中了解赛博物理系统(CPS)设计和运用的关键问题以及解决方案,并可从必需的软件工具的介绍中得到有关模型建立、分析和管理的有益指导。读者将从书中学习到有关基于模型的系统工程(MBSE)中全面应用建模与仿真技术的基本理论以及研究方向。本书可作为系统工程、自主系统等学科的研究生教材,使学生系统地学习关于多范式建模本体框架的最新理论,并通过案例研究领悟相应的工程实践中的建模方法和分析流程。

作者简介

BedirTekinerdogan是荷兰瓦赫宁根大学信息技术组的正教授和主席。他在荷兰特文特大学获得MSc学位(1994年)和计算机科学博士学位(2000年)。从2003年到2008年,他在特文特大学担任教职员,之后加入了比尔肯特大学,直到2015年。他在软件工程研究和教育方面拥有超过20年的经验。他的主要研究领域包括智能软件密集型系统工程。特别是,他专注于和感兴趣的领域包括软件架构设计、软件产品线工程、模型驱动开发、并行计算、云计算和系统工程。他参与了数十个国家和国际研究和咨询项目,与各种大型软件公司合作,担任首席研究员和领先的软件/系统架构师。他开发并教授了15门不同的学术软件工程课程,并向荷兰、德国和土耳其的50多家公司提供软件工程课程。孙智孝是我国无人系统领域的著名专家,享受国务院特殊津贴,荣获全国五一劳动奖章、中国青年五四奖章集体等荣誉,荣获各级科技成果奖励数十项,取得授权和受理专利百余件,发表SCI、EI等论文十余篇,出版多部无人系统相关著作。

目录

—  END  —