Reachability Analysis with zonotypes
Project description
Reachability Analysis
Reachability Analysis (RA) for hybrid systems:
- RA with zonotypes
Installation
pip install reachab
Usage
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
Hartmann, M.; Reachability Analysis in Python, 2021
Image source: https://www.pexels.com/photo/photo-of-multicolored-abstract-painting-1193743/
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
reachab-0.3.tar.gz
(1.5 kB
view hashes)
Built Distribution
reachab-0.3-py3-none-any.whl
(14.0 kB
view hashes)