Integrating projections

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

Volumn 1386, Issue , 1998, Pages 159-174

  Greenstreet, Mark R ^a   Mitchell, Ian ^b  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^b Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (12)

1. D. Avis and K. Fukuda. A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyheclra. Discrete Computational Geometry, 8:295-313, 1992.
2. Thomas M. Apostle. Calculus, volume 1. John Wiley and Sons, Inc., New York, second edition, 1967.
3. H.B. Bakoglu. Circuits, lnterconnections, and Packaging for VLSL Addison-Wesley, 1990.
4. R. W. Brockett. Smooth dynamical systems which realize arithmetical and logical operations. In Hendrik Nijmeijer and Johannes M. Schumacher, editors, Three Decades of Mathematical Systems Theory: A Collection of Surveys at the Occasion of the 50th Birthday of J. C. Willems, volume 135 of Lecture Notes in Control and Information Sciences, pages 19-30. Springer, 1989.
5. Lance A. Glasser and Daniel W. Dobberpuhl. The Design and Analysis of VLSI Circuits. Addison-Wesley, 1985.
6. Mark R. Greenstreet and Ian Mitchell. Reachability with discrete and ODE models. In Michael Lemmon, editor, Fifth International Hybrid System Workshop, Notre Dame, September 1997.
7. Mark R. Greenstreet. Verifying safety properties of differential equations. In Proceedings of the 1996 Conference on Computer Aided Verification, pages 277-287, New Brunswick, N J, July 1996.
8. 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.
9. Morris W. Hirsch and Stephen Smale. Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, San Diego, CA, 1974.
10. L.W. Nagel. SPICE2: a computer program to simulate semiconductor circuits. Technical Report ERL-M520, Electronics Research Laboratory, University of California, Berkeley, CA, May 1975.
11. Christos H. Papadimitriou and Kenneth Steiglitz. Combinatorial Optimization: Algorithms and Complexity. Prentice Hall, Englewood Cliffs, N J, 1982.
12. Franco P. Preparata and Michael I. Shamos. Computational Geometry: An Introduction. Texts and Monographs in Computer Science. Springer, 1985.