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	425	October 12, 2024
Agents.elastic_collision!() makes ageents move faster and faster Modelling & Simulations question	1	431	August 14, 2022
Documentation for defining hybrid automata New to Julia question , documentation	3	85	September 30, 2024
Agent steps New to Julia first-steps	0	178	May 30, 2024
Julia interface to Bullet Physics? Modelling & Simulations question	19	4283	August 6, 2018