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