3i-hust-ml / acasxu

Verification and simulation of AcasXu closed-loop system

AcasXu

Requirements

• MATLAB (>2017b)

• NNV and its dependencies

• Simulink (>9.0)

• Stateflow

The last 2 are only needed in order to execute Simulink models.

Prepare

Before executing any code, please install NNV, instructions can be found here.

Run startup_nnv.m before running any files. Also need to add the functions to MATLAB path: Open a MATLAB terminal and run the following under the AcasXu directory:

addpath(('main');
addpath(genpath(other/functions));

(Optional) Copy all the files under the utils folder, and copy into the your MATLAB root folder under the specific toolbox. An example: /usr/local/MATLAB/R2018b/toolbox/nnet/nnet/nntransfer .

Repository Overview

• Properties: contains descriptions of 10 open-loop safety properties to verify.

• main: core of this work. Contains the core reachability and simulation scripts, as well as all the functions to run them.

• other: contains multiple reachability, simulation and miscellanious code to test the ACAS Xu NNCS.

• networks: all 45 AcasXu NNs in ONNX, nnet and NNV format and as Simulink blocks.

• simulation: Simulink models of the AcasXu closedloop system.

• utils: extra functions and required scripts to run certain simulation scripts (not needed for main code).

Contact

Please, feel free to contact Diego Manzanas for any questions

• diego DOT manzanas DOT lopez AT vanderbilt DOT edu