# \#reachabilityanalysis

**URL:** https://discourse.julialang.org/tag/reachabilityanalysis/792.md

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

---

## [\[ANN\] DependencyAtlas.jl—Explore Julia codebases as dependency graphs](https://discourse.julialang.org/t/ann-dependencyatlas-jl-explore-julia-codebases-as-dependency-graphs/136317)

<div class="topic-metadata">

**Author:** [@karei](https://discourse.julialang.org/u/karei)\
**Replies:** 12\
**Last updated:** [May 7, 2026, 10:39am UTC](https://discourse.julialang.org/t/ann-dependencyatlas-jl-explore-julia-codebases-as-dependency-graphs/136317 "2026-05-07T10:39:26Z")

</div>

I’m happy to share DependencyAtlas.jl, a software package for turning Julia codebases into explorable dependency graphs. DependencyAtlas focuses on static and compiler-time source analysis. It builds graph views from th…

---

## [Bouncing Ball Example](https://discourse.julialang.org/t/bouncing-ball-example/121148)

<div class="topic-metadata">

**Author:** [@Muhammad\_Arsal](https://discourse.julialang.org/u/Muhammad_Arsal)\
**Replies:** 10\
**Last updated:** [October 12, 2024, 6:03pm UTC](https://discourse.julialang.org/t/bouncing-ball-example/121148 "2024-10-12T18:03:09Z")

</div>

has anyone tried bouncing ball example form the predefined examples? It does not run well enough for me. Any help???

---

## [Simple Hybrid Automata](https://discourse.julialang.org/t/simple-hybrid-automata/120732)

<div class="topic-metadata">

**Author:** [@Muhammad\_Arsal](https://discourse.julialang.org/u/Muhammad_Arsal)\
**Replies:** 2\
**Last updated:** [September 30, 2024, 5:23pm UTC](https://discourse.julialang.org/t/simple-hybrid-automata/120732 "2024-09-30T17:23:23Z")

</div>

I want to use jump and guard conditions for my hybrid automata. But it is not working. Can anyone help? using ReachabilityAnalysis, Symbolics # Define the variables: height (x), velocity (v), and time (t) @variables x …

---

## [How can you call a function inside a taylor model function for reachability analysis?](https://discourse.julialang.org/t/how-can-you-call-a-function-inside-a-taylor-model-function-for-reachability-analysis/119945)

<div class="topic-metadata">

**Author:** [@Muhammad\_Arsal](https://discourse.julialang.org/u/Muhammad_Arsal)\
**Replies:** 2\
**Last updated:** [September 29, 2024, 9:46am UTC](https://discourse.julialang.org/t/how-can-you-call-a-function-inside-a-taylor-model-function-for-reachability-analysis/119945 "2024-09-29T09:46:12Z")

</div>

I am using Jupyter Notebook. And I have a grid interploation function. Which gives me the value of a variable based upon the data of other two. But the problem is when I try to run reachability analysis, it starts throwi…

---

## [Time varying input in ReachabilityAnalysis](https://discourse.julialang.org/t/time-varying-input-in-reachabilityanalysis/78419)

<div class="topic-metadata">

**Author:** [@martincornejo](https://discourse.julialang.org/u/martincornejo)\
**Replies:** 2\
**Last updated:** [April 14, 2022, 10:10am UTC](https://discourse.julialang.org/t/time-varying-input-in-reachabilityanalysis/78419 "2022-04-14T10:10:09Z")

</div>

Let’s take the following example taken from ReachabilityAnalysis’s documentation: https://juliareach.github.io/ReachabilityAnalysis.jl/dev/models/TransmissionLine/#Transmission-line-circuit For the input, it takes the …

---

## [Convexifying a 6-dimensional closed trajectory with \`LazySets.jl\`](https://discourse.julialang.org/t/convexifying-a-6-dimensional-closed-trajectory-with-lazysets-jl/67764)

<div class="topic-metadata">

**Author:** [@cadojo](https://discourse.julialang.org/u/cadojo)\
**Replies:** 2\
**Last updated:** [September 7, 2021, 11:01am UTC](https://discourse.julialang.org/t/convexifying-a-6-dimensional-closed-trajectory-with-lazysets-jl/67764 "2021-09-07T11:01:35Z")

</div>

First off, if anyone knows how to change the tag reachability-analysi to reachability-analysis, please do so! Discourse won’t let me type reachability-analysis in the category because a previous tag with an incorrect spe…

---

## [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…