【文件属性】：
文件名称：matlab哈密尔顿代码-nnv:nnv
文件大小：1005.05MB
文件格式：ZIP
更新时间：2021-05-28 08:48:09
系统开源
matlab哈密尔顿代码nnv
Matlab神经网络验证工具箱
我在范德比尔特大学（Vanderbilt
University）攻读博士学位时就开发了此工具箱。
该工具箱实现了可到达性方法，用于分析神经网络和支持学习的自主网络物理系统。
nnv的原始存储库为：
请用于nnv的最新更新。
用户手册：
我会经常更新用户手册。
安装：
1)
Install
Matlab
with
at
least
the
following
toolboxes:
Control
Systems
Optimization
(need
to
be
installed)
Parallel
Processing
Deep
Learning
System
Identification
2)
Clone
or
download
the
nnv
toolbox
from
(https://github.com/transafeailab/nnv)
git
clone
https://github.com/transafeailab/nnv.git
3)
Open
Matlab,
then
go
to
the
direct