-
Notifications
You must be signed in to change notification settings - Fork 32
References
-
Guibas, L. J., Nguyen, A. T., & Zhang, L. (2003, January). Zonotopes as bounding volumes. In SODA (Vol. 3, pp. 803-812). pdf
-
Althoff, M., Stursberg, O., & Buss, M. (2010). Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear analysis: hybrid systems, 4(2), 233-249. pdf
-
Froitzheim, S. (2016). Efficient conversion of geometric state set representations for hybrid systems (Doctoral dissertation, Bachelor’s thesis, RWTH Aachen University). pdf
-
Althoff, M., & Krogh, B. H. (2012, April). Avoiding geometric intersection operations in reachability analysis of hybrid systems. In Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (pp. 45-54). pdf
-
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes Amit Gurung and Rajarshi Ray
- https://hal.archives-ouvertes.fr/hal-01092060/document
- https://pdfs.semanticscholar.org/7492/2769a31a4d6695f3ada51b05134f77b4fe5b.pdf
- https://arxiv.org/pdf/1810.01587.pdf
- https://en.wikipedia.org/wiki/Minkowski_addition
- On Computing the Minkowski Difference of Zonotopes. Matthias Althoff.
- Theory and computation of disturbance invariant sets for discrete-time linear systems. Ilya Kolmanovsky and Elmer G. Gilbert.
- The Minkowski Difference for Convex Polyhedra and Some its Applications. Z. R. Gabidullina.
- https://github.com/JuliaGeometry/TetGen.jl
- https://github.com/gridap/MiniQhull.jl
- https://github.com/JuliaGeometry/VoronoiDelaunay.jl/issues/8
- https://github.com/JuliaPDE/SurveyofPDEPackages
- http://www.personal.psu.edu/cxc11/AERSP560/DELAUNEY/13_Two_algorithms_Delauney.pdf
- https://www.codeproject.com/Articles/587629/A-Delaunay-triangulation-function-in-C
- https://github.com/esimov/triangle
- http://algorist.com/problems/Triangulation.html
- http://algorist.com/sections/Computational_Geometry.html
- http://www.qhull.org/
- http://www.cs.cmu.edu/~quake/triangle.research.html
- Walking through triangulation: https://hal.inria.fr/inria-00102194/document
- https://www.sciencedirect.com/science/article/abs/pii/0146664X82900235?via%3Dihub
- https://www.geeksforgeeks.org/geometric-algorithms/
- https://github.com/w8r/orourke-compc/blob/master/convconv/convconv.c
- http://cs.smith.edu/~jorourke/books/compgeom.html
- http://www.geom.uiuc.edu/software/qhull/html/qhalf.htm
- https://www.sciencedirect.com/science/article/abs/pii/0146664X82900235
- https://stackoverflow.com/questions/13101288/intersection-of-two-convex-polygons
- https://link.springer.com/article/10.1007/BF01898355
- https://www.swtestacademy.com/intersection-convex-polygons-algorithm/
- https://www.bowdoin.edu/~ltoma/teaching/cs3250-CompGeom/spring17/Lectures/cg-convexintersection.pdf
- https://rosettacode.org/wiki/Sutherland-Hodgman_polygon_clipping#Julia
- https://github.com/JuliaGeometry/PolygonClipping.jl/blob/master/src/PolygonClipping.jl
- https://apps.dtic.mil/dtic/tr/fulltext/u2/a057560.pdf
- http://www-ljk.imag.fr/membres/Antoine.Girard/Publications/hscc2008b.pdf << Zonotope - HalfSpace intersections
- Chazelle, B., & Dobkin, D. P. (1980, April). Detection is easier than computation. In Proceedings of the twelfth annual ACM symposium on Theory of computing (pp. 146-153).
-
Löhne, A. (2020). Approximate Vertex Enumeration. arXiv preprint arXiv:2007.06325.
-
Awasthi, P., Kalantari, B., & Zhang, Y. (2018, March). Robust vertex enumeration for convex hulls in high dimensions. In International Conference on Artificial Intelligence and Statistics (pp. 1387-1396).
- Tran, H. D., Lopez, D. M., Musau, P., Yang, X., Nguyen, L. V., Xiang, W., & Johnson, T. T. (2019, October). Star-based reachability analysis of deep neural networks. In International Symposium on Formal Methods (pp. 670-686). Springer, Cham. pdf
-
Le Guernic, C. (2009). Reachability analysis of hybrid systems with linear continuous dynamics (Doctoral dissertation). pdf. Tags: support function, zonotope, zonotope-hyperplane intersection.
-
Althoff, M. (2010). Reachability analysis and its application to the safety assessment of autonomous cars (Doctoral dissertation, Technische Universität München). pdf, M. Althoff's PhD thesis. Tags: zonotope, zonotope order reduction, interval matrix, matrix zonotope.