Applied-Systems-Lab / zonoLAB

GNU General Public License v3.0
0 stars 0 forks source link

Create RPI set method for zonoLAB abstract classes #26

Closed jonaswagner2826 closed 2 months ago

jonaswagner2826 commented 5 months ago

Implement the RPI set construction algorithms/optimization for zono (and conZono?)

Zono

Iterative approach for zono:

https://ieeexplore.ieee.org/document/1406138

Image

Image

Image $f_i$ is along all the directions of $g_i$

Image

Direct optimization problem from Vignesh 2022:

Image

jonaswagner2826 commented 5 months ago

A helpfer function was implimented in our StealthyAttackSim toolbox to perform the iterative rpi_set_approx() for zonotopes: https://github.com/Applied-Systems-Lab/StealthyAttackSim/blob/708409ec194eb5b128cfde9f7cbd5c3398d2df50/toolbox/HelperFunctions/rpi_set_approx.m

jonaswagner2826 commented 5 months ago

This paper provides another in-depth version of RPI calculations: https://github.com/Applied-Systems-Lab/zonoLAB/blob/ca01edd87b5bdaae15f39da03c44000b4b2963cf/docs/refs/ComputationOfSafeDisturbanceSetsUsingImplicitRPISets_2309_06079.pdf

jonaswagner2826 commented 2 months ago

30 - solved in upstream