Safety verification for automated maneuvers: A case study platoon

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

Volumn 1201, Issue , 1997, Pages 154-170

  Dolginova, Ekaterina ^a   Lynch, Nancy ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLERS; HIGHWAY ENGINEERING; INTERACTIVE COMPUTER SYSTEMS;

COMMUNICATION DELAYS; HIGHWAY PROJECTS; INPUT/OUTPUT AUTOMATA; LEVELS OF ABSTRACTION; MATHEMATICAL ANALYSIS; RELATIVE VELOCITY; SAFETY REQUIREMENTS; SAFETY VERIFICATION;

REAL TIME SYSTEMS;

EID: 84957684274     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014723     Document Type: Conference Paper

References (11)

1. R. Alur, C. Courcoubetis, 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. Michael S. Branicky, Ekaterina Dolginova, and Nancy Lynch. A toolbox for proving and maintaining hybrid specifications. Submitted for publication. To be presented at HS'96: Hybrid Systems, October 12-16, 1996, Cornell University, Ithacs, NY.
3. Jonathan Frankel, Luis Alvarez, Roberto Horowitz, and Perry Li. Robust platoon maneuvers for AVHS. Manuscript, Berkeley, November 10, 1994.
4. John Lygeros. Hierarchical Hybrid Control of Large Scale Systems. PhD thesis, University of California, Department of Electrical Engineering, Berkeley, California, 1996.
5. John Lygeros, Datta N. Godbole, and Shankar Sastry. A game theoretic approach to hybrid system design. Technical Report UCB/ERL-M95/77, Electronic Research Laboratory, University of California Berkeley, October 1995.
6. Nancy Lynch. A three-level analysis of a simple acceleration maneuver, with uncertainties. In Proceedings of the Third AMAST Workshop on Real-Time Systems, pages 1-22, Salt Lake City, Utah, March 1996.
7. Nancy Lynch, Roberto Segala, Frits Vaandrager, and H. B. Weinberg. Hybrid I/O automata. In R. Alur, T. ttenzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control (DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, New Brunswick, New Jersey, October 1995), volume 1066 of Lecture Notes in Computer Science, pages 496-510. Springer-Verlag, 1996.
8. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, REX Workshop on Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, pages 447-484, Mook, The Netherlands, June 1991. Springer-Verlag.
9. Pravin Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, AC-38(2):195-207, 1993.
10. H. B. Weinberg and Nancy Lynch. Correctness of vehicle control systems: A case study. In 17th IEEE Real-Time Systems Symposium, pages 62-72, Washington, D. C., December 1996. Complete version in Technical Report MIT/LCS/TR-685, Laboratory for Computer Science, Massachusetts Institute of Technology, February 1996. Masters Thesis.
11. H. B. Weinberg, Nancy Lynch, and Norman Delisle. Verification of automated vehicle protection systems. In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control (DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, New Brunswick, New Jersey, October 1995), volume 1066 of Lecture Notes in Computer Science, pages 101-113. Springer- Verlag, 1996.