ReachabilityAnalysis.jl icon indicating copy to clipboard operation
ReachabilityAnalysis.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Generalize time-triggered hybrid systems API

Open mforets opened this issue 4 years ago • 0 comments

Currently only handles HACLD1 hybrid system types.

This can be applied in the Platoon benchmark, for example.

mforets avatar Jul 04 '20 22:07 mforets