MI4Hybrid
MI4Hybrid
MI4Hybrid is a model invalidation toolbox for hybrid systems.
This toolbox can be used in MATLAB with the following necessary packages/softwares installed:
For Polynomial State-Space Model Invalidation and T-Detectability:
For Switched Affine and Reggressive Model Invalidation and T-Detectability:
VO Integration: No
Active: Yes
Available Benchmarks: No
Website: https://github.com/data-dynamics/MI4Hybrid
Download: Clone the git repository linked above.
Documentation: See the "README" file and "examples" directory contained within the repo.
Contact: Link to list of contributors.