Rigorous modeling of hybrid systems using interval arithmetic constraints

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

Volumn 2993, Issue , 2004, Pages 402-416

  Hickey, Timothy J ^a   Wittenberg, David K ^a  

^a BRANDEIS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; HYBRID SYSTEMS; LOGIC PROGRAMMING;

CONSTRAINT LANGUAGE; CONSTRAINT LOGIC PROGRAMMING; INTERVAL ARITHMETIC; RIGOROUS ANALYSIS; RIGOROUS APPROACH; RIGOROUS MODEL; SAFETY PROPERTY; TIMING INFORMATION;

MODELING LANGUAGES;

EID: 35048883027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_27     Document Type: Article

References (35)

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. F. Benhamou and W. J. Older. Applying interval arithmetic to real, integer, and boolean constraints. Journal of Logic Programming, 32(l):l-24, Jul 1997.
3. K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293-322. Plenum Press, New York, NY, 1978.
4. J. Davoren and A. Nerode. Logics for hybrid systems. Proceedings of the IEEE, 88(7):985-1010, Jul 2000.
5. S. Debray and T. J. Hickey. Constraint-based termination analysis for cyclic rule activation in active databases. In Proceedings of DOOD 2000: Sixth International Conference on Rules and Objects in Databases, volume 1861 of LNAI, pages 1121-1136. Springer Verlag, Jul 2000.
6. G. Delzanno and A. Podelski. Model checking in CLP. In R. Cleaveland, editor, Proceedings of the Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TAGAS '99), volume 1579 of LNCS, pages 223-239. Springer Verlag, 1999.
7. G. Delzanno and A. Podelski. Constraint-based deductive model checking. International Journal on Software Tools for Technology Transfer (STTT), 3(3), 2001.
8. A. Edalat and R. Heckmann. Computing with real numbers: (i)LFT approach to real computation, (ii) domain-theoretic model of computational geometry. In G. Barthe, P. Dybjer, L. Pinto, and J. Saraiva, editors, Applied Semantics: International summer school, APPSEM 2000, volume 2395 of LNCS. Springer Verlag, 2002.
9. V. Gupta, R. Jagadeesan, and V. Saraswat. Hybrid cc, hybrid automata and program verification. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III: Verification and Control, volume 1066 of LNCS, pages 52-63. Springer Verlag, 1996.
10. V. Gupta, R. Jagadeesan, V. Saraswat, and D. G. Bobrow. Programming in hybrid constraint languages. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, volume 999 of LNCS, pages 226-251. Springer Verlag, 1995.
11. T. A. Henzinger. The theory of hybrid automata. In Proceedings, 11th Symposium on Logic in Computer Science (LICS '96), pages 278-292. IEEE Computer Society Press, 1996.
12. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. Software Tools for Technology Transfer, 1(?):110-122, 1997.
13. T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong-Toi. Beyond HYTECH: Hybrid systems analyis using interval numerical methods. In N. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control (HSCC 2000), volume 1790 of LNCS, pages 130-144. Springer Verlag, 2000.
14. T. J. Hickey. Analytic constraint solving and interval arithmetic. In POPL'00 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 338-351, 2000.
15. published as vol. 27 of SIGPLAN notices.
16. T. J. Hickey. Metalevel interval arithmetic and verifiable constraint solving. Journal of Functional and Logic Programming, 2001(7), October 2001. http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S0102/JFLP-A01-07. pdf.
17. T. J. Hickey and J. Cohen. Automating program analysis. JACM, 35(1):185-220, 1988.
18. T. J. Hickey, Q. Ju, and M. H. van Emden. Interval arithmetic: from principles to implementation. JACM, 48(5):1038-1068, Sep 2001.
19. C.Holzbaur. OFAI CLP(Q,R) Manual. Austrian Research Institute for Artificial Intelligence, Vienna, 1.3.3 edition, 1995. TR-95-05.
20. IEEE. IEEE standard 754-1985 for binary floating-point arithmetic. SIGPLAN, 22(2):9-25, 1985.
21. J. Jaffar and J. Lassez. Constraint logic programming. In Proceedings 14th ACM Symposium on the Principles of Programming Languages, pages 111-119, 1987.
22. J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503-581, 1994.
23. W. Kahan. Lecture notes on the status of IEEE standard 754 for binary floatingpoint arithmetic. Technical report, EECS, University of California, Berkeley, 1996.
24. S. Kowalewski, O. Stursberg, M. Fritz, H. Graf, I. Huffman, J. Preußig, M. Remelhe, S. Simon, and H. Treseler. A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem. In P. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry, editors, Hybrid Systems V, volume 1567 of LNCS, pages 163-185. Springer Verlag, 1999.
25. B. J. Kuipers. Qualitative simulation: Then and now. Artificial Intelligence, 59:133-140, 1993.
26. J. W. Lloyd. Foundations of Logic Programming. Springer Verlag, second, expanded edition, 1987.
27. N. Lynch, R. Segala, and F. Vaandrager. Hybrid I/O automata revisited. In M. D. D. Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Communication and Control, volume 2034 of LNCS, pages 403-417. Springer Verlag, 2001.
28. N. Lynch, R. Segala, F. W. Vaandrager, and H. Weinberg. Hybrid I/O automata. Technical Report CSI-R9907, Computing Science Institue Nijmegen; Faculty of Mathematics and Informatics; Catholic University of Nijmegen, Toernooivveld 1; 6525 ED Nijmegen; The Netherlands, Apr 1999.
29. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J. de Bakker, C. Huizing, W. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of LNCS, pages 447-484, Mook, The Netherlands, Jun 1991. Rex Workshop, Springer Verlag.
30. S. Markov and R. Angelov. An interval method for systems of ODE. In K. Nickel, editor, Interval Mathematics 1985, volume 212 of LNCS, pages 103-108. Springer Verlag, 1985.
31. R. E. Moore. Interval Analysis. Prentice-Hall, 1966.
32. A. U. Shankar. An introduction to assertional reasoning for concurrent systems. ACM Computing Surveys, 25(3):225-262, Sep 1993.
33. D. A. Smith and T. J. Hickey. Partial evaluation of a CLP language. In S. Debray and M. Hermenegildo, editors, Proceedings of the 1990 North American Conference in Logic Programming, pages 119-138, 1990.
34. O. Stursberg, S. Kowalewski, I. Hoffman, and J. Preußig. Comparing timed and hybrid automata as approximations of continuous systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, volume 1273 of LNCS, pages 361-377. Springer Verlag, 1997.
35. L. Urbina. Analysis of hybrid systems in CLP(R). In E. C. Freuder, editor, Principles and Practice of Constraint Programming - CP96, volume 1118 of LNCS, pages 451-467. Springer Verlag, Aug 1996.