Porous Invariants for Linear Systems: POROUS Tool and experimental data
<p>POROUS Tool and experimental data for Porous Invariants for Linear Systems.</p> <p>The code is maintained at https://github.com/davidjpurser/porous-tool</p> <p>Contains:</p> <ul> <li>the code in porous-tool-May2023.zip</li> <li>the results of experiements run on a Dell PowerEdge M620 with 2x Intel Xeon E5-2667 v2 CPUs and 256GB RAM in <ul> <li>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.</li> <li>journal-data.zip containing individual randomly generated instances and their output</li> </ul> </li> </ul> <p>Preliminary results were presented in the paper Porous Invariants. CAV 2021 by Engel Lefaucheux, Joël Ouaknine, David Purser and James Worrell.</p>
ShareScore
40/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 20
- Reuse readiness
- 8
- Engagement
- 4
Dataset details
- Repository
- zenodo
- Published
- May 9, 2023
- License
- cc-by-4.0
- DOI
- 10.5281/zenodo.7920425
Scored with release 0.9.0
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.