Porous Invariants for Linear Systems: POROUS Tool and experimental data
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/7920425
下载链接
链接失效反馈官方服务：
资源简介：
POROUS Tool and experimental data for Porous Invariants for Linear Systems.
The code is maintained at https://github.com/davidjpurser/porous-tool
Contains:
the code in porous-tool-May2023.zip
the results of experiements run on a Dell PowerEdge M620 with 2x Intel Xeon E5-2667 v2 CPUs and 256GB RAM in
document-journal.csv as a summary file, listing each generated instance type, file name, success status, and timing information. Used as input to analysis.py.
journal-data.zip containing individual randomly generated instances and their output
Preliminary results were presented in the paper Porous Invariants. CAV 2021 by Engel Lefaucheux, Joël Ouaknine, David Purser and James Worrell.
创建时间：
2023-05-10
