# \#reachability

**URL:** https://discourse.julialang.org/tag/reachability/793.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Setting parameters for \`ReachabilityAnalysis\`'s \`@ivp\`](https://discourse.julialang.org/t/setting-parameters-for-reachabilityanalysis-s-ivp/67776)

<div class="topic-metadata">

**Author:** [@cadojo](https://discourse.julialang.org/u/cadojo)\
**Replies:** 1\
**Last updated:** [September 7, 2021, 12:53am UTC](https://discourse.julialang.org/t/setting-parameters-for-reachabilityanalysis-s-ivp/67776 "2021-09-07T00:53:54Z")

</div>

I see in documentation for ReachabilityAnalysis that parameters are typically set in a function, as is the case in the duffing oscillator example. I’m working with a system where the ODEFunction was automatically generat…