On the representation of timed polyhedra

Olivier Bournez 1 Oded Maler 2
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Rapport
[Intern report] A00-R-079 || bournez00a, 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00099072
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:50:20
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 11:41:46

Fichiers

Identifiants

  • HAL Id : inria-00099072, version 1

Collections

Citation

Olivier Bournez, Oded Maler. On the representation of timed polyhedra. [Intern report] A00-R-079 || bournez00a, 2000. 〈inria-00099072〉

Partager

Métriques

Consultations de la notice

169

Téléchargements de fichiers

61