Bouncing Ball Example

has anyone tried bouncing ball example form the predefined examples?

It does not run well enough for me.
Any help???

Which example are you trying to follow, and what problem are you encountering?

Here is a recent bouncing-ball example from a blog post: https://www.elan8.com/blog/mbd-bouncing-ball

I am checking the reachability example from ReachabilityModels.jl. But the graph it is showing are not illustrating the desired behaviour.

You are asking questions that are impossible to answer without us reading your mind. What code are you running? What results are you getting? In what way does that differ from the expected results? Please read: make it easier to help you

1 Like

wpph.jl (3.7 KB)
Okay. Can anyone help me run this code? To me everything is perfectly fine. But it just keeps on killing the kernel.

You’re missing a definition for cutoff!(). But the code is also failing with

ERROR: UndefRefError: access to undefined reference
Stacktrace:
 [1] getindex
   @ ./essentials.jl:13 [inlined]
 [2] jetcoeffs!(eqsdiff!::typeof(ready!), t::Taylor1{…}, x::Vector{…}, dx::Vector{…}, xaux::Vector{…}, params::Nothing)
   @ TaylorIntegration ~/.julia/packages/TaylorIntegration/Vtu13/src/integrator.jl:82
 [3] __jetcoeffs!
   @ ~/.julia/packages/TaylorIntegration/Vtu13/src/integrator.jl:104 [inlined]
 [4] taylorstep!
   @ ~/.julia/packages/TaylorIntegration/Vtu13/src/integrator.jl:260 [inlined]

and if you run the code more than once you’ll get a segmentation fault at TaylorSeries/wwiDC/src/arithmetic.jl:720.

Maybe ask at the appropriate Github sites?

Okay. I have done it pretty good. Can anyone help me how to define a unsafe set and checking that specification?

This sounds a little bit like a homework exercise. But if you want to get support her:

  • please copy and paste your code in the message, enclosed in triple backticks like ```
  • explain how you run your code
  • share the output of versininfo()
  • share the output of using Pkg; Pkg.status()
  • share the error message
  • start with a smaller example
  • explain the background: which package is causing a problem? What do you want to achieve?

Sorry for asking so much. We can help you to help yourself, but we will not do the programming for you.

@ufechner7 ,
Square wave oscillator · ReachabilityAnalysis.jl (juliareach.github.io)
This is the link to an example. I just don’t know how to define unsafe state to check safety automatically. There must be a function but I don’t know and I was unable to find it in the documentation. If you can help me finding that or giving me the documentation for that it would be great.

One of the developers of the package responded in your recent question on Oct 2 about this on Zulip for what seems to be about the same example. Why not continue there?

Thanks for sharing the link. Interesting topic, but if never done this kind of analysis before. So if you have been already in contact with a developer of this package on Zulip it might be better to continue the discussion there.