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
Bouncing Ball Example General Usage reachabilityanalysis	10	376	October 12, 2024
Agents.elastic_collision!() makes ageents move faster and faster Modelling & Simulations question	1	420	August 14, 2022
Combining ContinuousCallback and DiscreteCallback in solving ODEProblem (DifferentialEquations) Modelling & Simulations question , diffeq	1	393	April 5, 2021
Documentation for defining hybrid automata New to Julia question , documentation	3	64	September 30, 2024
Agent steps New to Julia first-steps	0	169	May 30, 2024