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 v t const vars = [x, v] # Define the constants const g = 9.81 # gravity (m/s^2…

Simple Hybrid Automata

zdenek_hurak September 30, 2024, 5:20pm 2

Please consider enclosing your source code within triple backticks.

Topic		Replies	Views
Julia interface to Bullet Physics? Modelling & Simulations question	19	4210	August 6, 2018
Code for simulating jump diffusion? General Usage diffeq	21	4110	February 14, 2017
My first tutorial about julia: julia and mixed continuous/discrete control systems General Usage control , ode , tutorials	2	1961	February 6, 2017
Combining ContinuousCallback and DiscreteCallback in solving ODEProblem (DifferentialEquations) Modelling & Simulations question , diffeq	1	400	April 5, 2021
Extract the transition matrix of jump problem New to Julia	0	344	September 5, 2018