Hybrid cc with interval constraints

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

Volumn 1386, Issue , 1998, Pages 80-95

  Carlson, Björn ^a   Gupta, Vineet ^b  

^a Netscape Communications Corp   (United States)

^b NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957876695     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_33     Document Type: Conference Paper

References (21)

1. 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.
2. Gotz Alefeld and Jurgen Herzberger. Introduction to Interval Computations. Academic Press, 1983.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, September 1991.
4. Bjorn Carlson. Compiling and Executing Finite Domain Constraints. PhD thesis, Uppsala University, 1995.
5. G. F. Corliss. Guaranteed error bounds for ordinary differential equations. In W. A.Light and M.Marletta, editors, Theory of Numerics in Ordinary and Partial Differential Equations, volume IV of Advances in Numerical Analysis, pages 1-75. Oxford University Press, 1995.
6. Akash Deshpande, Aleks Gollu, and Luigi Semenzato. The SHIFT programming language and run-time system for dynamic networks of hybrid automata. Technical report, UC Berkeley PATH Project, 1996. www-path, eecs.berkeley,edu/shift/doc/ieeshift, ps.
7. Vineet Gupta, Radha Jagadeesan, and Vijay Saraswat. Computing with continuous change. Science of Computer Programming, 1997. To appear. Available from http://ic.arc.nasa.gov/people/vgupta.
8. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Programming in hybrid constraint languages. In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Sankar Sastry, editors, Hybrid Systems II, volume 999 of Lecture notes in computer science. Springer Verlag, November 1995.
9. Vineet Gupta, Vijay Saraswat, and Peter Struss. A model of a photocopier paper path. In Proceedings o.f the 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, August 1995.
10. N. Halbwachs. Synchronous programming of reactive systems. The Kluwer international series in Engineering and Computer Science. Kluwer Academic publishers, 1993.
11. D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231-274, 1987.
12. Pascal Van Hentenryck, Vijay A. Saraswat, and Yves Devilte. Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992.
13. S. Janson. AKL - A Multiparadigm Programming Language. PhD thesis, Uppsala University, 1994.
14. Herbert Kay. Refining Imprecise Models and Their Behaviors. PhD thesis, University of Texas at Austin, 1996.
15. W. H. Press, S. A. Teukotsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes in C. Cambridge University Press, 1992.
16. Ray Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
17. Vijay A. Saraswat. Concurrent constraint programming. Doctoral Dissertation Award and Logic Programming Series. MIT Press, 1993.
18. Luigi Semenzato, Akash Deshpande, and Aleks Gollu. The SHIFT reference manual. Technical report, UC Berkeley PATH Project, 1996. www-path, eecs.berkeley, edu/shift/doc/shift.ps, gz.
19. V. A. Saraswat, R. Jagadeesan, and V. Gupta. Timed Default Concurrent Constraint Programming. Journal of Symbolic Computation, 22(5-6):475-520, November/December 1996. Extended abstract appeared in the Proceedings of the 22nd A CM Symposium on Principles of Programming Languages, San Francisco, January 1995.
20. Pascal van Hentenryck, Michel Laurent, and Frederic Benhamou. Newton: Constraint programming over non-linear constraints. Science of Programming, 1997. to appear.
21. Pascal Van Hentenryck, David McAllester, and D. Kaput. Solving polynomial systems using a branch and prune approach. SIAM Journal of Numerical Analysis, 1995. (Accepted). (Also available as Brown University technical report CS-95-01.).