Reachability analysis using polygonal projections

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

Volumn 1569, Issue , 1999, Pages 103-116

  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

COMPUTATIONAL GEOMETRY; HYBRID SYSTEMS; LINEAR PROGRAMMING; LINEAR SYSTEMS; ORDINARY DIFFERENTIAL EQUATIONS;

HIGH-DIMENSIONAL; NON LINEAR; REACHABILITY; REACHABILITY ANALYSIS; RELATED VARIABLES;

COMPUTATION THEORY;

EID: 84949476918     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48983-5_12     Document Type: Conference Paper

References (11)

1. ACH+95. R. Alur, C. Courcoubetis, N. Halbwachs, et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. AG96. Kenneth Arnold and James Gosling. The Java Programming Language. Addison-Wesley, 1996.
3. Bro89. 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.
4. DM98. Thao Dang and Oded Maler. Reachability analysis via face lifting. In Thomas A. Henzinger and Shankar Sastry, editors, Proceding of the First International Workshop on Hybrid Systems: Computation and Control, pages 96-109, Berkeley, California, April 1998.
5. GM98. Mark R. Greenstreet and Ian Mitchell. Integrating projections. In Thomas A. Henzinger and Shankar Sastry, editors, Proceding of the First International Workshop on Hybrid Systems: Computation and Control, pages 159-174, Berkeley, California, April 1998.
6. Gre96. Mark R. Greenstreet. Verifying safety properties of differential equations. In Proceedings of the 1996 Conference on Computer Aided Verification, pages 277-287, New Brunswick, NJ, July 1996.
7. HS74. Morris W. Hirsch and Stephen Smale. Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, San Diego, CA, 1974.
8. MG96. Ian Mitchell and Mark Greenstreet. Proving Newtonian arbiters correct, almost surely. In Proceedings of the Third Workshop on Designing Correct Circuits, Bastad, Sweden, September 1996.
9. PS85. Franco P. Preparata and Michael I. Shamos. Computational Geometry: An Introduction. Texts and Monographs in Computer Science. Springer, 1985.
10. The92. The Mathworks Inc., Natick, Mass. Matlab: High-Performance Numeric Computation and Visualization Software, 1992. http://www.matlab.com.
11. TPS97. Claire Tomlin, George Pappas, and Shankar Sastry. Conflict resolution for air traffic management: A case study in multi-agent hybrid systems. Technical Report UCB/ERL M97/33, Electronics Research Laboratory, University of California, Berkeley, 1997. to appear in IEEE Transactions on Automatic Control.