On the Representation of Timed Polyhedra
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 793-807
- https://doi.org/10.1007/3-540-45022-x_66
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Algebraic decomposition of non-convex polyhedraPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Orthogonal Polyhedra: Representation and ComputationPublished by Springer Nature ,1999
- Efficient Timed Reachability Analysis Using Clock Difference DiagramsPublished by Springer Nature ,1999
- Timed AutomataPublished by Springer Nature ,1999
- Some progress in the symbolic verification of timed automataPublished by Springer Nature ,1997
- Data-structures for the verification of timed automataPublished by Springer Nature ,1997
- The tool KronosPublished by Springer Nature ,1996
- Timing analysis in COSPANPublished by Springer Nature ,1996
- An Introduction to Convex PolytopesPublished by Springer Nature ,1983