On the representation of timed polyhedra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1853, Issue , 2000, Pages 793-807

  Bournez, Olivier ^a   Maler, Oded ^b  

^a LORIA   (France)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; ROBOTS;

BOOLEAN OPERATIONS; COMPACT REPRESENTATION; REPRESENTATION SCHEMES; TIMED AUTOMATA; TIMING ANALYSIS; VERIFICATION TOOLS;

GEOMETRY;

EID: 84974559963     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45022-x_66     Document Type: Conference Paper

References (19)

1. A. Aguilera, Orthogonal Polyhedra: Study and Application, PhD Thesis, Universitat Politècnica de Catalunya, Barcelona, Spain, 1998.
2. A. Aguilera and D. Ayala, Orthogonal Polyhedra as Geometric Bounds, in Constructive Solid Geometry, Proc. Solid Modeling 97, 1997
3. A. Aguilera and D. Ayala, Domain Extension for the Extreme Vertices Model (EVM) and Set-membership Classification, Proc. Constructive Solid Geometry 98, 1998.
4. R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183-235, 1994.
5. R. Alur, Timed Automata, in NATO-ASI Summer School on Verification of Digital and Hybrid Systems, 1998 and in 11th International Conference on Computer-Aided Verification, LNCS 1633, 8-22, Springer, 1999.
6. R. Alur, and R.P. Kurshan, Timing Analysis in COSPAN, in R. Alur, T.A. Henzinger and E. Sontag (Eds.), Hybrid Systems III, LNCS 1066, 220-231, Springer, 1996.
7. E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli and A. Rasse, Data-Structures for the Verification of Timed Automata, in O. Maler (Ed.), Proc. HART'97, LNCS 1201, 346-360, Springer, 1997.
8. G. Behrmann, K. Larsen, J. Pearson, C. Weise and W. Yi, Efficient Timed Reachability Analysis Using Clock Difference Diagrams, Proc. CAV'99, Springer, 1999.
9. O. Bournez, O. Maler and A. Pnueli, Orthogonal Polyhedra: Representation and Computation, in F. Vaandrager and J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, 46-60, Springer, 1999.
10. M. Bozga, O. Maler, A. Pnueli, S. Yovine, Some Progress in the Symbolic Verification of Timed Automata, in O. Grumberg (Ed.) Proc. CAV'97, 179-190, LNCS 1254, Springer, 1997.
11. A. Brondsted, An Introduction to Convex Polytopes, Springer, 1983.
12. C. Daws, A. Olivero, S. Tripakis, and S. Yovine, The Tool KRONOS, in R. Alur, T.A. Henzinger and E. Sontag (Eds.), Hybrid Systems III, LNCS 1066, 208-219, Springer, 1996.
13. H. Edelsbrunner, Algebraic decompositions of non-convex polyhedra, in Proc. 36th Annual Symposium on Foundations of Computer Science, 248-257, Milwaukee, Wisconsin, 1995.
14. K.G. Larsen, P. Pettersson and W. Yi, UPPAAL in a Nutshell, Software Tools for Technology Transfer 1/2, 1997.
15. C.W. Lee, Subdivision and Triangulation of Polytopes, in J.E Goodman and J. O'Rourke (Eds.), Handbook of Discrete and Computational Geometry, CRC Press, 1997.
16. J. Møller, J. Lichtenberg, H.R. Andersen, and H. Hulgaard, Difference Decision Diagrams, Proc. CSL'99, 1999.
17. K. Strehl, Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification, Proc. RTCSA '99, 188-491, 1999.
18. S. Yovine, Kronos: A verification tool for real-time systems Software Tools for Technology Transfer 1/2, 1997.
19. F. Wang, Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems, in S. Graf and M. Schwartzbach (Eds.), Proc. TACAS'00, 157-151, LNCS 1785, Springer, 2000.