armour.reachsets.IRSInstance

class armour.reachsets.IRSInstance(u_ub: list[list[zonopy.polyZonotope]], u_lb: list[list[zonopy.polyZonotope]], jrsInstance: JRSInstance)

Bases: ReachSetInstance

This is just an individual instance of input reachable set from armour

__init__(u_ub: list[list[zonopy.polyZonotope]], u_lb: list[list[zonopy.polyZonotope]], jrsInstance: JRSInstance)

Methods

__init__(u_ub, u_lb, jrsInstance)
eval_constraints(k, n_c, constraints, ...)	Note: remember that smooth constraints still need to be considered
genNLConstraint(worldState)	Generate the nonlinear constraint function for the provided worldState

static eval_constraints(k, n_c: int, constraints: list[Callable], grad_constraints: list[Callable])

Note: remember that smooth constraints still need to be considered

genNLConstraint(worldState: WorldState) → Callable

Generate the nonlinear constraint function for the provided worldState

This function should handle the obstacle-frs pair or similar to generate the nonlinear constraint. This should return a function handle that return 4 outputs: (c, ceq, gc, gceq), where c <= 0 and ceq = 0 are the constraints, and gc and gceq are the gradients for the respective constraints

Parameters:

worldState – WorldState: The observation of the world we want to generate the constraint for

Returns:

A function handle for the generated nlconstraint where the constraint function’s return type is (c, ceq, gc, gceq)

Return type:

function_handle