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
Documentation for defining hybrid automata New to Julia question , documentation	3	58	September 30, 2024
Bouncing Ball Example General Usage reachabilityanalysis	10	348	October 12, 2024
Array variable - matrix multplication in JuMP Optimization (Mathematical) question , jump	2	921	November 9, 2020
JuMP vector input in Nonlinear expressions New to Julia jump , optimization	2	920	March 19, 2019
The Jacobian for the equality constraints contains an invalid number (+ general help with matrices in JuMP) Optimization (Mathematical) jump	4	302	January 18, 2024