# Documentation for defining hybrid automata

**URL:** <https://discourse.julialang.org/t/documentation-for-defining-hybrid-automata/120719>\
**Category:** New to Julia\
**Tags:** question, documentation\
**Created:** [September 30, 2024, 12:16pm UTC](https://discourse.julialang.org/t/documentation-for-defining-hybrid-automata/120719 "2024-09-30T12:16:45Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![Muhammad\_Arsal](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/muhammad_arsal/32/212269_2.png) [@Muhammad\_Arsal](https://discourse.julialang.org/u/Muhammad_Arsal)\
**Post date:** [September 30, 2024, 12:16pm UTC](https://discourse.julialang.org/t/documentation-for-defining-hybrid-automata/120719/1 "2024-09-30T12:16:45Z")

</div>

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.

---

<div class="post-metadata">

**Author:** ![nilshg](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/nilshg/32/2283_2.png) [@nilshg](https://discourse.julialang.org/u/nilshg)\
**Post date:** [September 30, 2024, 12:18pm UTC](https://discourse.julialang.org/t/documentation-for-defining-hybrid-automata/120719/2 "2024-09-30T12:18:21Z")

</div>

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

> **[Overview · ReachabilityAnalysis.jl](https://juliareach.github.io/ReachabilityAnalysis.jl/dev/)**
>
> Documentation for ReachabilityAnalysis.jl.

---

<div class="post-metadata">

**Author:** ![Muhammad\_Arsal](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/muhammad_arsal/32/212269_2.png) [@Muhammad\_Arsal](https://discourse.julialang.org/u/Muhammad_Arsal)\
**Post date:** [September 30, 2024, 12:20pm UTC](https://discourse.julialang.org/t/documentation-for-defining-hybrid-automata/120719/3 "2024-09-30T12:20:17Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![nilshg](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/nilshg/32/2283_2.png) [@nilshg](https://discourse.julialang.org/u/nilshg)\
**Post date:** [September 30, 2024, 1:14pm UTC](https://discourse.julialang.org/t/documentation-for-defining-hybrid-automata/120719/4 "2024-09-30T13:14:30Z")

</div>

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:

> **[Internal functions and macros · ReachabilityAnalysis.jl](https://juliareach.github.io/ReachabilityAnalysis.jl/dev/lib/internals/)**
>
> Documentation for ReachabilityAnalysis.jl.

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