API Reference

PRoTECT provides barrier certificate computation functions for four classes of dynamical systems, each with a single-degree and parallelized variant.

Discrete-Time Deterministic (dt-DS)

dt_DS and parallel_dt_DS — infinite time horizon, no stochastic noise.

Discrete-Time Deterministic (dt-DS)

Discrete-Time Stochastic (dt-SS)

dt_SS and parallel_dt_SS — finite time horizon with Normal, Exponential, or Uniform noise.

Discrete-Time Stochastic (dt-SS)

Continuous-Time Deterministic (ct-DS)

ct_DS and parallel_ct_DS — infinite time horizon, Lie derivative conditions.

Continuous-Time Deterministic (ct-DS)

Continuous-Time Stochastic (ct-SS)

ct_SS and parallel_ct_SS — finite time horizon with Brownian and Poisson noise.

Continuous-Time Stochastic (ct-SS)

Utilities

Helper functions and enumerations: generate_polynomial, SystemMode, NoiseType.

Utilities