Reachability Analysis with zonotypes
Project description
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/
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.4.1.tar.gz
(5.6 kB
view hashes)
Built Distribution
reachab-0.4.1-py3-none-any.whl
(19.5 kB
view hashes)