Thermostat model with GLGM06 and ConcreteDiscretePost

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Thermostat model with GLGM06 and ConcreteDiscretePost #583

Open schillic opened 5 years ago

schillic commented 5 years ago

Same idea as in #577, but for the thermostat model we get this error in constraints_list of Zonotope: LoadError: 1D-zonotope constraints currently only support a single generator