DWJdollar

摘要： 在matlab2020中，制作表格更推荐使用writetable() 函数。 1. 写入前，先创造table T = table([itera'],[a'],[b'],[lamda'],[miu'],[f1'],[f2'],'VariableNames',{'i','a','b','\lamda', 阅读全文

摘要： 前言 目标和原由 在控制理论中，物理过程的复杂模型（例如微分或差分方程系统）通常用简单的规范来进行检验，例如稳定性和集不变性。在形式化方法中，可以用丰富的规范（如语义 languages和时间逻辑方程 formulas oftemporal logics）来检验软件程序和数字电路的简单模型（如有限转 阅读全文

摘要： 序 为这样一部优秀的研究专著：《离散时间动力系统的形式化方法》撰写序言是一件令我十分高兴的事，这部著作由Calin Belta，Boyan Yordanov，和 Ebru Aydin Gol创作。 在物联网和物理网络系统的时代里，计算和关键的安全控制系统的交互有了很明显的增加。在缺乏软件的情况下，控 阅读全文

摘要： 本类目主要介绍的书籍来自springer的系列书籍中的一本，对于该系列书籍介绍如下： “系统、决策及控制研究”(SSDC)系列涵盖了在广泛认知的系统、决策及控制的各个领域的快速、最新和高质量的最新发展和进展，以及最先进的技术水平。目的是为了展现与系统、决策、控制、复杂过程及相关领域的最新技术水平和未 阅读全文