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.
Type de document :
Communication dans un congrès
Frits W. Vaandrager &Jan H. van Schuppen. Hybrid Systems: Computation & Control - HSCC'99, 1999, Berg en Dal, Pays Bas, Springer, 1569, pp.46-60, 1999, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00098887
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:39:55
Dernière modification le : jeudi 5 avril 2018 - 10:36:18

Identifiants

  • HAL Id : inria-00098887, version 1

Collections

Citation

Olivier Bournez, Oded Maler, Amir Pnueli. Orthogonal Polyhedra: Representation and Computation. Frits W. Vaandrager &Jan H. van Schuppen. Hybrid Systems: Computation & Control - HSCC'99, 1999, Berg en Dal, Pays Bas, Springer, 1569, pp.46-60, 1999, Lecture Notes in Computer Science. 〈inria-00098887〉

Partager

Métriques

Consultations de la notice

215