get_lyapunov_region

safe_learning.get_lyapunov_region(lyapunov, discretization, init_node)

Get the region within which a function is a Lyapunov function.

Parameters:

lyapunov : callable

A tensorflow function.

discretization : instance of GridWorld

The discretization on which to check the increasing property.

init_node : tuple

The node at which to start the verification.

Returns:

region : ndarray

A boolean array that contains all the states for which lyapunov is a Lyapunov function that can be used for stability verification.