Documentation for defining hybrid automata

Hi,
I am using reachabiltyanalysis.jl for my work. I want to know if there is any documentation for that. Like there are examples but I am struggling to interpret that. Is there any user manual. Please help me ASAP.

I don’t know the package at all but the documentation seems pretty exhaustive?

I have read it. But I am unable to find the interpretation of the function it uses in codes.

I don’t think I understand what you are looking for. Docstrings for functions are in the API section, which even has an “internal functions” section here:

If you are asking about some internal, undocumented function then that’s probably internal and undocumented and you shouldn’t be using it.

1 Like