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

Published 20 hours ago • verified publisher icon JuliaReach

Backward reachable set: Luc Jaulin

Open dpsanders opened this issue 4 years ago • 1 comments

The recent paper [101] in this list:

https://www.ensta-bretagne.fr/jaulin/publications.html

describes an algorithm for constructing backward reachable sets of ODEs. The PDF is here:

https://www.ensta-bretagne.fr/jaulin/paper_basin.pdf

dpsanders avatar Jul 20 '19 22:07 dpsanders

Interesting, thanks!

mforets avatar Jul 20 '19 23:07 mforets