An algorithm for the approximative analysis of rectangular automata

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

Volumn 1486, Issue , 1998, Pages 228-240

  Preussig J ^a   Kowalewski, S ^a   Wong Toi, H ^b   Henzinger, T A ^c  

^a TU DORTMUND UNIVERSITY   (Germany)

^b CADENCE DESIGN SYSTEMS   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; FAULT TOLERANCE;

ANALYSIS ALGORITHMS; APPROXIMATE MODEL; BENCHMARK SYSTEM; CONTINUOUS-DISCRETE; EXACT ANALYSIS; NUMERICAL PROBLEMS; SIZED SYSTEMS;

REAL TIME SYSTEMS;

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

References (13)

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. P. Antsaklis, A. Nerode, W. Kohn, and S. Sastry, editors. Hybrid Systems IV. Lecture Notes in Computer Science 1273. Springer-Verlag, 1997.
3. T. Dang and O. Maler. Reachability analysis via face lifting. In T. A. Henzinger and S. Sastry, editors, HSCC 98: Hybrid Systems—Computation and Control, Lecture Notes in Computer Science 1386, pages 96-109. Springer-Verlag, 1998.
4. M.R. Greenstreet. Verifying safety properties of differential equations. In R. Alur and T.A. Henzinger, editors, CA V 96: Computer Aided Verification, Lecture Notes in Computer Science 1102, pages 277-287. Springer-Verlag, 1996.
5. M.R. Greenstreet and I. Mitchell. Integrating projections. In T.A. Henzinger and S. Sastry, editors, HSCC 98: Hybrid Systems—Computation and Control, Lecture Notes in Computer Science 1386, pages 159-174. Springer-Verlag, 1998.
6. N. Halbwachs, P. Raymond, and Y.-E. Proy. Verification of linear hybrid systems by means of convex approximation. In B. LeCharlier, editor, SAS 94: Static Analysis Symposium, Lecture Notes in Computer Science 864, pages 223-237. Springer-Verlag, 1994.
7. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control, 43(4):540-554, 1998.
8. T.A. Henzinger, P.H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1(1,2):110-122, 1997.
9. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373-382. ACM Press, 1995. Pull version to appear in Journal of Computer and System Sciences.
10. T.A. Henzinger and S. Sastry, editors. HSCC 98: Hybrid Systems—Computation and Control Lecture Notes in Computer Science 1386. Springer-Verlag, 1998.
11. T. Stauner, O. Müller, and M. Fuchs. Using HyTech to verify an automotive control system. In O. Maler, editor, HART 97: Hybrid and Real-Time Systems, Lecture Notes in Computer Science 1201, pages 139-153. Springer-Verlag, 1997.
12. O. Stursberg, S. Kowalewski, I. Hoffmann, 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, Lecture Notes in Computer Science 1273, pages 361-377. Springer-Verlag, 1996.
13. T. Villa, H. Wong-Toi, A. Balluchi, J. Preußig, A. Sangiovanni-Vincentelli, and Y. Watanabe. Formal verification of an automotive engine controller in cutoff mode. 1998. Submitted.