search

hypro / hypro

HyPro: A C++ state set representation library for the analysis of hybrid systems
https://hypro.github.io/hypro/
Other
29 stars 7 forks source link

Supporting non linear models #9

Open mhmadayad opened 7 years ago

mhmadayad commented 7 years ago

On the website one can find several non linear model files. They don't seem to be supported by the HybridAutomaton which looks to be able to handle linear ode only.

modass commented 7 years ago

The benchmarks are part of a collection, which has been built up during this project but is unrelated to the library. I am currently working on including a different parser (which hopefully reduces compile times). At that point we could also introduce non-linear hybrid automata as a more general concept, so yes, this can be added to our future work.

If you create a suitable algorithm for the analysis of non-linear hybrid automata, i.e. if you introduce linearization or make use of Taylor models as a state set representation, then yes, you could use HyPro. The provided algorithms for reachability analysis are merely examples and designed for the analysis of linear hybrid automata. One side note: The implementation of Taylor models is similar (it is the exact same) to the implementation used in Flow version 1.0.0 but does not comply with the general interface. I will contact Xin Chen (who has been working on this project before and is the maintainer of Flow) and see if he is willing to provide an updated version of that implementation.