Skip to Main content Skip to Navigation
Conference papers

Orthogonal Polyhedra: Representation and Computation

Olivier Bournez 1 Oded Maler 2 Amir Pnueli 3
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we investigate orthogonal polyhedra, i.e. polyhedra which are finite unions of full-dimensional hyper-rectangles. We define representation schemes for these polyhedra based on their vertices, and show that these compact representation schemes are canonical for all ( convex and non-convex) polyhedra in any dimension. We then develop efficient algorithms for membership, face-detection and Boolean operations for these representations.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:39:55 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM


  • HAL Id : inria-00098887, version 1



Olivier Bournez, Oded Maler, Amir Pnueli. Orthogonal Polyhedra: Representation and Computation. Hybrid Systems: Computation & Control - HSCC'99, 1999, Berg en Dal, Pays Bas, pp.46-60. ⟨inria-00098887⟩



Record views