Work

PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems

Year: 2025

Type: conference-paper

Abstract: We develop an open-source software tool, called PRoTECT, using sum-of-squares (SOS) optimization to search for barrier certificates (BCs) that verify safety properties over four classes of polynomial systems: (i) discrete-time stochastic systems, (ii) discrete-time deterministic systems, (iii) continuous-time stochastic systems, and (iv) continuous-time deterministic systems. PRoTECT is the first software tool that offers stochastic BCs while leveraging parallelism to efficiently search for a feasible BC for different polynomial degrees. PRoTECT is implemented in Python offering both an application programming interface (API) and a user-friendly graphic user interface (GUI).

Source: ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

DOI: 10.1145/3716550.3725152

Authors: Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei

Institution: Newcastle University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W4410140519

FWCI:

Cites: 4

Cited by:

Related to: 10