离散控制Matlab代码数据驱动验证
Alexandar
Kozarev,John
Quindlen,Jonathan
How和Ufuk
Topcu撰写的“动态系统的数据驱动验证案例研究”代码已提交给Hybrid
Systems:Computation
and
Control
2016。
文件夹中包含以下示例:Van
der
Pol振荡器,模型参考自适应控制器,飞机反向安全控制器和基于强化学习的控制器。
这些示例中的每一个将在其各自的后续部分中进行进一步说明。
本文中使用的训练和测试数据以及训练支持向量机所需的Matlab代码都包含在每个文件夹中。
请注意,SVM实施需要Matlab机器学习库。
除非另有说明,否则不包括用于生成这些样本的代码-仅包括样本本身。
范德波尔振荡器
第一个示例是Van
der
Pol振荡器,它取自先前的非线性分析和验证工作,并提供了比较基准。
问题的目的是估计一组初始条件,系统将从这些条件中成功返回原点(0,0)。
必要的文件位于以下文件夹位置:“
Van
der
Pol
Oscillator”。
函数是“
vanderpol
svm.m”,训练和测试数据都