Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00099072
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:50:20 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
Long-term archiving on: : Friday, November 25, 2016 - 11:41:46 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

270

Files downloads

322