文件名称：cart代码matlab-sverification:精化
文件大小：534KB
文件格式：ZIP
更新时间：2024-06-16 18:05:32
系统开源
购物车matlab 在这里，您可以找到来自HSCC 2021会议的论文“带有神经网络控制器的互补系统的稳定性分析”的代码。 依存关系 为了运行示例，MATLAB和Python都是必需的。 的MATLAB 使用可以解决由该库生成的线性互补问题（LCP）。 为了解决优化问题，使用了MOSEK（）。 优化问题是使用（YALMIP）提出的。 要运行示例，必须在MATLAB路径中添加pathlcp ， mosek ， yalmip 。 Python Python3用于所有示例，并带有以下附加软件包： numpy ： pytorch ： scipy.io ： 应该导入numpy ， pytorch ， scipy.io以便运行示例。 功能性 该库可用于通过神经网络控制器验证线性互补系统的稳定性。 例子 double_int ：双积分器（示例5.1） cartpole ：具有软壁的子杆（示例5.2） box_friction ：具有摩擦力的盒子（示例5.3） five_carts ：五个具有软接触的手推车（示例5.4）
【文件预览】：
sverification-main
----examples()
--------cartpole()
--------double_int()
--------addpath_sverification.m(244B)
--------box_friction()
--------five_carts()
--------README.md(220B)
----README.md(1KB)