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	541	October 12, 2024
Agents.elastic_collision!() makes ageents move faster and faster Modelling & Simulations question	1	464	August 14, 2022
Non conservation of energy in ModelingToolkit with flexible bouncing ball example General Usage question , modelingtoolkit	9	341	August 3, 2026
Documentation for defining hybrid automata New to Julia question , documentation	3	128	September 30, 2024
Agent steps New to Julia first-steps	0	200	May 30, 2024