reachab 0.4.2

Reachability Analysis with zonotypes

Reachability Analysis

Reachability Analysis (RA) for hybrid systems:

• RA with zonotypes

Installation

pip install reachab

Usage

After installation with bash pip install and running the script:

import reachab

def test_reachab():
    reachab.test_me()

if __name__ == '__main__':
    test_reachab()

... should produce:

Omega_0 = {'c': np.matrix([[0],
                               [0],
                               [10],
                               [0]
                               ]),
               'g': np.matrix([[1, -1, 1, .2, .2],
                               [1, 1, .3, .2, .5],
                               [0, 0, 0, .4, .3],
                               [0, 0, 0, .2, .4]
                               ])
               }
    U = {'c': np.matrix([[0],
                         [0],
                         [0],
                         [0],
                         ]),
         'g': np.matrix([[1, 0, 1],
                         [1, 1, 0],
                         [0, 0, 0],
                         [0, 0, 0]
                         ])
         }

Citation

TODO

Image source: https://www.pexels.com/photo/photo-of-multicolored-abstract-painting-1193743/