On the representation of timed polyhedra - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2000

On the representation of timed polyhedra


This paper studies the representation of ``timed polyhedra'', i.e. of polyhedra manipulated by synthesis and verification algorithms on timed automata. We propose several representation schemes for these polyhedra based on their vertices and show that these representations are canonical for all convex and non-convex timed polyhedra of any dimension. We then sketch algorithms for realizing boolean operations, equality tests, and time expansion operations.
Fichier principal
Vignette du fichier
A00-R-079.pdf (243.69 Ko) Télécharger le fichier

Dates and versions

inria-00099072 , version 1 (26-09-2006)


  • HAL Id : inria-00099072 , version 1


Olivier Bournez, Oded Maler. On the representation of timed polyhedra. [Intern report] A00-R-079 || bournez00a, 2000. ⟨inria-00099072⟩
79 View
94 Download


Gmail Facebook Twitter LinkedIn More