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