https://github.com/kiguli/protect
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.
https://github.com/kiguli/protect
barrier-certificates barrier-functions continuous-time-deterministic-systems continuous-time-stochastic-systems deterministic-systems discrete-time-deterministic-systems discrete-time-stochastic-systems polynomial-systems safety-verification stochastic-systems sum-of-squares
Last synced: 5 months ago
JSON representation
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.
- Host: GitHub
- URL: https://github.com/kiguli/protect
- Owner: Kiguli
- License: cc-by-4.0
- Created: 2024-04-19T12:44:55.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2025-12-11T00:44:31.000Z (7 months ago)
- Last Synced: 2025-12-11T13:42:19.795Z (7 months ago)
- Topics: barrier-certificates, barrier-functions, continuous-time-deterministic-systems, continuous-time-stochastic-systems, deterministic-systems, discrete-time-deterministic-systems, discrete-time-stochastic-systems, polynomial-systems, safety-verification, stochastic-systems, sum-of-squares
- Language: Python
- Homepage:
- Size: 162 MB
- Stars: 5
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Citation: CITATION.cff