摘要:前言 目标和原由 在控制理论中,物理过程的复杂模型(例如微分或差分方程系统)通常用简单的规范来进行检验,例如稳定性和集不变性。在形式化方法中,可以用丰富的规范(如语义 languages和时间逻辑方程 formulas oftemporal logics)来检验软件程序和数字电路的简单模型(如有限转 阅读全文
posted @ 2019-06-09 16:21 DWJdollar 阅读 (23) 评论 (0) 编辑
摘要:序 为这样一部优秀的研究专著:《离散时间动力系统的形式化方法》撰写序言是一件令我十分高兴的事,这部著作由Calin Belta,Boyan Yordanov,和 Ebru Aydin Gol创作。 在物联网和物理网络系统的时代里,计算和关键的安全控制系统的交互有了很明显的增加。在缺乏软件的情况下,控 阅读全文
posted @ 2019-04-20 20:45 DWJdollar 阅读 (52) 评论 (0) 编辑
摘要:本类目主要介绍的书籍来自springer的系列书籍中的一本,对于该系列书籍介绍如下: “系统、决策及控制研究”(SSDC)系列涵盖了在广泛认知的系统、决策及控制的各个领域的快速、最新和高质量的最新发展和进展,以及最先进的技术水平。目的是为了展现与系统、决策、控制、复杂过程及相关领域的最新技术水平和未 阅读全文
posted @ 2019-04-18 15:21 DWJdollar 阅读 (77) 评论 (0) 编辑