@inproceedings{abb9dcaca6ab458f9524312b1814c602,
title = "On the representation of timed polyhedra",
abstract = "In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analysis and in particular of verification tools based on timed automata. We define a representation scheme for these polyhedra based on their extreme vertices, and show that this compact representation scheme is canonical for all (convex and non-convex) polyhedra in any dimension. We then develop relatively efficient algorithms for membership, boolean operations, projection and passage of time for this representation.",
author = "Olivier Bournez and Oded Maler",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2000.; 27th International Colloquium on Automata, Languages and Programming, ICALP 2000 ; Conference date: 09-07-2000 Through 15-07-2000",
year = "2000",
month = jan,
day = "1",
doi = "10.1007/3-540-45022-x\_66",
language = "English",
isbn = "9783540450221",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "793--807",
editor = "Ugo Montanari and Rolim, \{Jose D. P.\} and Emo Welzl",
booktitle = "Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings",
}