On the verification of cooperating traffic agents

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

Volumn 3188, Issue , 2004, Pages 77-110

  Damm, Werner ^a,b   Hungar, Hardi ^b   Olderog, Ernst Rüdiger ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

AUTOMOTIVE APPLICATIONS; AUTONOMOUS TRANSPORT VEHICLES; AVIONICS APPLICATIONS; DESIGN PATTERNS; OFF-LINE ANALYSIS; TRAFFIC AGENTS; VERIFICATION METHODOLOGY; WORST-CASE BEHAVIORS;

FORMAL METHODS;

EID: 33645701725     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30101-1_4     Document Type: Article

References (19)

1. B. Abdul-Baki, J. Baldwin, and M.-P. Rudel. Independent validation and verification of the TCAS II collision avoidance subsystem. Aerospace and Electronic Systems Mag., 15(8):3-21, 2000.
2. R. Alur, C. Courcoubetis, T.A. Henzinger, and Pei-Hsin Ho. Hybrid automata: 'An algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 209-229. Springer-Verlag, 1992.
3. R. Alur and D. Dill. A theory of timed automata. Theoret. Corn-put. Sci., 126:183235, 1994.
4. J. Bohn, W. Damm, J. Klose, A. Moik, and H. Wittke. Modeling and validating train system applications using stalemate and live sequence charts. 2002.
5. A. Chutinam and B.H. Krogh. Computing polyhedral approximations in flow pipes for dynamic systems. In 37th IEEE Conference on Decision and Control. IEEE, 1998.
6. A.E. Haxthausen and J. Peleska. Formal development and verification of a distributed railway control system. IEEE Transactions on Software Engineering, 26(8):687-701, 2000.
7. C. Heitmeyer and D. Mandrioli, editors. Formal Methods for Real-Time Computing, number 5 in Trends in Software. Wiley, 1996.
8. J. Hoenicke and E.-R. Olderog. CSP-OZ-DC: A combination of specification techniques for processes, data and time. Nordic Journal of Computing, 9(4):301-334, 2002. appeared March 2003.
9. R.E. Kaiman and J.E. Bertram. Control system analysis and system design via the "second method" of lyapunov -Part I: Continuous time systems. Transactions of the ASME, Journal of Basic Engineering, 82:371-393, 1960.
10. N.G. Leveson. Safeware: System Safety and Computers. Addison Wesley, 1995.
11. C. Livadas, J. Lygeros, and N.A. Lynch. High-level modeling and analysis of TCAS. Proceedings of IEEE -Special Issue on Hybrid Systems: Theory & Applications, 88(7):926-947, 2000.
12. J. Lygeros, D.N. Godbole, and S.S. Sastry. Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control, 43(4):522-539, 1998.
13. N.A. Lynch, R. Segala, and F. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1):105-157, 2003.
14. E.-R. Olderog, A. P. Ravn, and J. U. Skakkeback. Refining system requirements to program specifications. In C. Heitmeyer and D. Mandrioli, editors, Formal Methods for Real-Time Computing, pages 107-134. Wiley, 1996.
15. A.P. Ravn. Design of embedded real-time computing systems. Technical Report ID-TR: 1995-170, Tech. Univ. Denmark, 1995. Thesis for Doctor of Technics.
16. C. Tomlin, J. Lygeros, and S.S. Sastry. A game theoretic approach to controller design for hybrid systems. Proc. of the IEEE, 88(7):949-970, 2000.
17. C. Tomlin, G. Pappas, and S.S. Sastry. Conflict resolution for air traffic management: A case study in multi-agent hybrid systems. IEEE Transactions on Automatic Control, 43(4), April 1998.
18. C. Zhou and M.R. Hansen. Duration Calculus: A Formal Approach to Real-Time Systems. Springer, 2004.
19. C. Zhou, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.