Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata

1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. of the 5th. Annual Symposium on Logic in Computer Science, LICS’90, pages 41–425. IEEE Computer Society Press, 1990.

   Google Scholar 

2. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.

   Article  MATH  MathSciNet  Google Scholar 

3. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.

   Article  MATH  MathSciNet  Google Scholar 

4. e99]_M. AdélaÏde. Application des bases de gröbner à l’analyse paramétrique des systèmes hybrides. Master’s thesis, Ecole Centrale de Nantes, august 1999.

   Google Scholar 

5. R. Alur and T. A. Henzinger. Real-time system = discrete system + clock variables. In T. Rus and C. Rattray, editors, Theories and Experiences for Real-Time System Development-Papers presented at First AMAST Workshop on Real-Time System Development, pages 1–29, Iowa City, Iowa, 1994. World Scientific Publishing. Also available as Cornell University technical report CSD-TR-94-1403.

   Google Scholar 

6. R. Alur, T. A. Henzinger, and M. Y. Vardi. Parametric real-time reasoning. In Proc. of the 25th Annual ACM Symposium on Theory of Computing, STOC’93, pages 592–601, 1993.

   Google Scholar 

7. E. Asarin, O. Maler, and A. Pnueli. Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science, 138:35–65, 1995.

   Article  MATH  MathSciNet  Google Scholar 

8. A. Burgueño Arajona. Vérification des Systèmes Temporisés par des Méthodes d’Observation et d’Analyse Paramétrique. PhD thesis, Ecole Nationale Supérieure de l’Aéronautique et de l’Espace, june 1998.

   Google Scholar 

9. F. Boniol, A. Burgueño, O. Roux, and V. Rusu. Analysis of slope-parametric hybrid automata. In O. Maler, editor, Proc. of the International Workshop on Real time and Hybrid Systems, HART 97, pages 75–80. Springer-Verlag, March 26-28 1997.

   Google Scholar 

10. A. Burgueño and V. Rusu. Task-system analysis using slope-parametric hybrid automata. In Proc. of the Euro-Par’97 Workshop on Real-Time Systems and Constraints, Passau, Germany, August 26-29 1997. Springer-Verlag’s Lecture Notes in Computer Science series No1300.

    Google Scholar 

11. B. Buchberger. Gröbner Bases: an Algorithmic Method in Polynomial Ideal Theory, pages 184–232. Reidel.

    Google Scholar 

12. T. Becker and V. Weispfenning. Gröbner Bases: A Computationnal Approach to Commutative Algebra. Springer Verlag, 1993.

    Google Scholar 

13. A.M. Cohen. Gröbner base: a primer. Technical report, Computer Algebra Information Network, Europe, 1996.

    Google Scholar 

14. George E. Collins. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. In Proceedings of the 2nd GI Conference, volume 33 of Lecture Notes in Computer Science, pages 134–183, Kaiserslautern, 1975. Springer, Berlin.

    Google Scholar 

15. J. Little D. Cox and D. O’Shea. Ideals, Varieties and Algorithms. Springer Verlag, 1992.

    Google Scholar 

16. Laureano Gonzales-Vega, Fabrice Rouillier, Marie-FranÇoise Roy, and Guadalupe Trujillo. Some Tapas of Computer Algebra. Eindoven University of Technology, a.m. cohen and h. cuypers and h. sterk edition, 1995.

    Google Scholar 

17. T. Henziger. The theroie of hybrid auromata. In IEEE Symposium on Logic In Computer Science, pages 278–282, 1996.

    Google Scholar 

18. T.A. Henzinger and P.-H. Ho. HyTech: The Cornell Hybrid Technology Tool. In P. Antsaklis, A. Nerode, W. Kohn, and S. Sastry, editors, Hybrid Systems II, Lecture Notes in Computer Science 999, pages 265–293. Springer-Verlag, 1995.

    Google Scholar 

19. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J. W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Proc. of the REX workshop ‘Real-Time: theory in practicers, volume 600 of Lecture Notes in Computer Science, pages 447–484, Berlin, New York, 1992. Springer-Verlag.

    Google Scholar 

20. M. Jirstrand. Cylindrical algebraic decomposition — an introduction. Technical report, Computer Algebra Information Network, Europe, Departement of Electrical Engineering, Linköping university, S-581 83 Linköping. Sweden, October 1995.

    Google Scholar 

21. G. Roda. Quantifier elimination — lecture notes based on a course by g.e. collins, risc-summer semester 96. Technical report, Computer Algebra Information Network, Europe, July 1996.

    Google Scholar 

22. Farn Wang. Parametric timing analysis for real-time systems. 130(2):131–150, 1 November 1996.

    MATH  Google Scholar 

Download references