Options

class staliro.signals.SignalInput(*, control_points, factory=<function pchip>, time_varying=False)

Options for signal generation.

Parameters:

• control_points (list[tuple[float, float]] | dict[float, tuple[float, float]]) – The valid interval for each control point the optimizer should generate for the signal

• factory (SignalFactory) – Function to create a signal from the generated times and control points

• time_varying (bool) – Flag that indicates that the signal times should be considered a search variable (EXPERIMENTAL)

class staliro.options.TestOptions(*, tspan=None, static_inputs=_Nothing.NOTHING, signals=_Nothing.NOTHING, runs=1, iterations=400, seed=_Nothing.NOTHING, processes=None, threads=None)

General options for controlling falsification behavior.

Parameters:

• tspan (tuple[float, float] | None) – The time interval for testing

• static_inputs (dict[str, tuple[float, float]]) – Parameters that will be provided to the system at the beginning and are time invariant (initial conditions).

• signals (dict[str, SignalInput]) – System inputs that will vary over time

• seed (int) – The initial seed of the random number generator

• iterations (int) – The number of search iterations to perform in a run

• runs (int) – The number times to run the optimizer

• processes (Literal['cores'] | int | None) – Number of processes to use to parallelize sample evaluation

• threads (Literal['cores'] | int | None) – Number of threads to use to parallelize sample evaluation