On the representation of timed polyhedra - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2000

On the representation of timed polyhedra

Résumé

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 et versions

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

Identifiants

  • HAL Id : inria-00099072 , version 1

Citer

Olivier Bournez, Oded Maler. On the representation of timed polyhedra. [Intern report] A00-R-079 || bournez00a, 2000. ⟨inria-00099072⟩
87 Consultations
106 Téléchargements

Partager

Gmail Facebook X LinkedIn More