- 博客(3)
- 收藏
- 关注
RSS订阅转载 前言
前言 目标和原由 在控制理论中，物理过程的复杂模型（例如微分或差分方程系统）通常用简单的规范来进行检验，例如稳定性和集不变性。在形式化方法中，可以用丰富的规范（如语义 languages和时间逻辑方程 formulas oftemporal logics）来检验软件程序和数字电路的简单模型（如有限转换系统）。随着物理网络和关键性安全系统的发展和集成，验证和控制复杂系统的对于来自时...
2019-06-09 16:21:00
117
转载 序言
序 为这样一部优秀的研究专著：《离散时间动力系统的形式化方法》撰写序言是一件令我十分高兴的事，这部著作由Calin Belta，Boyan Yordanov，和 Ebru Aydin Gol创作。 在物联网和物理网络系统的时代里，计算和关键的安全控制系统的交互有了很明显的增加。在缺乏软件的情况下，控制理论为严格的闭环系统提供了很多工具。在缺乏物理模型的情况下，形式化方法理论...
2019-04-20 20:45:00
93
转载 系统、决策、控制研究系列（SSDC）
本类目主要介绍的书籍来自springer的系列书籍中的一本，对于该系列书籍介绍如下： “系统、决策及控制研究”(SSDC)系列涵盖了在广泛认知的系统、决策及控制的各个领域的快速、最新和高质量的最新发展和进展，以及最先进的技术水平。目的是为了展现与系统、决策、控制、复杂过程及相关领域的最新技术水平和未来发展趋势，同时也包括这些方面在工程、计算机科学、物理学、经济学、社会学和生命科学...
2019-04-18 15:21:00
195
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人