信息物理系统逻辑基础 电子书下载 PDF下载
内容简介
本书全面介绍如何采用逻辑与演绎语言推理信息物理系统。在这个过程中，读者将学习计算机科学、应用数学和控制论的许多基本概念，所有这些对了解CPS都是必不可少的。本书分为以下四个部分。在第1部分中，读者将学习如何对包含连续变量和编程构造的CPS建模，如何描述需求规约，以及如何用证明规则检验模型是否满足需求。第二部分增加了对物理世界建模采用的微分方程。第三部分介绍了对手的概念，在控制系统中，对手可以通过噪声和其他干扰影响系统的周边环境。在存在对手的时候做决策意味着需要对较坏情况做好准备。第四部分进一步增加了如何在实际应用中对系统做严格而高效的推理，比如采用实算术和监控器条件。
同类热门电子书下载更多
- 建筑施工企业安全知识--"绿十字"安全基础建设新知丛书 安全生产月推荐用书
- 危险化学品企业安全生产标准化建设手册--企业安全生产标准化建设系列手册 安全生产月推荐用书
- 国土空间规划导论（试行版）
- 安全行为心理学
- 消防员入职技能训练
- 工业通风与除尘(安全技术与管理专业互联网+职业教育新形态一体化教材教育部职业教育专业教学资源库配
- 工贸行业粉尘爆炸事故典型案例分析
- 安全防范技术与工程
- 大型油罐火灾安全防控技术
- 非常规突发水灾害应急合作管理与决策
- 航天企业安全生产管理精细化流程及作业指导书
- 大型油罐灭火技术
- 火灾案件证据
- 北极安全研究 [Arctic Security Studies]
- 个体行为安全治理研究
- 画说工伤预防（应急与救护篇）--画说工伤预防宣传教育丛书
- 城市脆弱性分析与多灾种综合风险评估技术和系统研究
- 画说工伤预防（基础知识篇） --画说工伤预防宣传教育丛书 入选2023年国家新闻出版署农家书屋目录
- 工伤预防个体防护知识--工伤预防科普丛书
- 画说工伤预防（个人防护篇）--画说工伤预防宣传教育丛书
Copyright © 2024 by topbester.com.
All Rights Reserved.
沪ICP备14027842号-1
All Rights Reserved.
沪ICP备14027842号-1