Analysis of slope-parametric rectangular automata

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

Volumn 1567, Issue , 1999, Pages 390-413

  Wong Toi, Howard ^a  

^a CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

AUTOMATED ANALYSIS; CLOCK DRIFT; CONTROL PROTOCOLS; EMPTINESS PROBLEM; LINEAR HYBRID AUTOMATA; REDUCTION TECHNIQUES; SLOPE PARAMETER;

AUTOMATA THEORY;

EID: 84956860891     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49163-5_21     Document Type: Conference Paper

References (18)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. 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. R. Alur, T. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181-201, 1996.
3. R. Alur, T. Henzinger, and M. Vardi. Parametric real-time reasoning. In Proceedings of the 25th Annual Symposium on Theory of Computing, pages 592-601. ACM Press, 1993.
4. F. Boniol, A. Burgueño, O. Roux, and V. Rusu. Analysis of slope-parametric hybrid automata. In O. Maler, editor, HART 97: Hybrid and Real-Time Systems, Lecture Notes in Computer Science 1201, pages 75-80. Springer-Verlag, 1997.
5. D. Bosscher, I. Polak, and F. Vaandrager. Verification of an audio-control protocol. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant System-s, Lecture Notes in Computer Science 863, pages 170-192. Springer-Verlag, 1994.
6. A. Burgueño and V. Rusu. Task-system analysis using slope-parametric hybrid automata. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, Proc. of the Euro-Par'97 Workshop on Real-Time Systems and Constraints, Lecture Notes in Computer Science 1300, pages 1262-1273. Springer-Verlag, 1997.
7. K. Čerāns. Algorithmic Problems in Analysis of Real-time System Specifications. PhD thesis, University of Latvia, 1992.
8. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the Fifth Annual Symposium on Principles of Programming Languages, pages 84-97. ACM Press, 1978.
9. W. Grióen. Proof-checking an audio control protocol with LP. Technical Report CS-R9570, CWI, 1995.
10. T. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: the next generation. In Proceedings of the 16th Annual Real-time Systems Symposium, pages 56-65. IEEE Computer Society Press, 1995.
11. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. Software Tools for Technology Transfer, 1(1):110-122, 1997.
12. T. Henzinger, P. 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. Full version to appear in Journal of Computer and System Sciences.
13. 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.
14. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Lan-guages, and Computation. Addison-Wesley, 1979.
15. P.-H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In P. Wolper, editor, CAV 95: Computer-aided Verification, Lecture Notes in Computer Science 939, pages 381-394. Springer-Verlag, 1995.
16. D. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, Proceedings of 5th GI conference, Lecture Notes in Computer Science 104, pages 167-183. Springer-Verlag, 1981.
17. A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In D. L. Dill, editor, CAV 94: Computer-Aided Verifica-tion, Lecture Notes in Computer Science 818, pages 95-104. Springer-Verlag, 1994.
18. V. Rusu and A. Burgueño. Analysis of slope-parametric hybrid automata. Submitted, 1998.