Skip to content
pde verification toolbox
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
engine
examples
pdes
README.md

README.md

pdev

pde verification toolbox

Tested on Ubuntu 16.0.4

Tool installation

0) Step 0: clone tool from github: git clone https://github.com/trhoangdung/pdev.git

1) Step 1: install scipy, numpy, sympy and matplotlib
   command: sudo pip install scipy numpy sympy matplotlib

2) Step 2: add path to .bashrc file
   command (for example): export PYTHONPATH="${PYTHONPATH}:/home/trhoangdung/pdev"

Reproduce experimental results:

Go to Example folder, the experimental result concludes:

1) Discrete reachable set computation and figures : command: python plot_dreachset.py

2) Continuous reachable set computation and figures: command: python plot_creachset.py

3) Verify safety property and produce unsafe trace: command: python verify_safety.py

4) Error analysis with different sizes of time step and space step: command: python plot_err_vs_spacestep.py plot_err_vs_timestep.py

5) Computation time complexity analysis: command: python computation_time.py

All figures in the paper and .dat files containing data for the tables should be reproduced in the example folder.

########### NEW VERSION OF PDEV TOOLBOX REQUIREMENT ############# 1) numpy version 1.14.1

You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.