Uniformity for the decidability of hybrid automata-Reference-Cited by-同舟云学术

Uniformity for the decidability of hybrid automata

Published:1996 Issue: Volume: Page:301-316
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Roux Olivier,Rusu Vlad

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61739-6_49

Reference19 articles.

1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. IEEE 5th Symp. Logic in Computer Science, 1990.

2. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science B, 137, January 1995.

3. A. Bouajjani, R. Echahed, and R. Robbana. Verifying invariance properties for timed systems with duration variables. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, 1994.

4. A. Bouajjani, R. Echahed, and J. Sifakis. On model checking for real-time properties with durations. In Proc Symp. on Logic in Computer Science'93, INCS, 1993.

5. J. Bengtsson, D. Griffioen, K. Kristoferssen, K.Larsen, F.Larsson, P.Petersson, and W.Yi. Verification of an audio protocol with bus collision using UPPAAL. In Computer-Aided Verification, 1996.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Assertion-Based Analysis of Hybrid Systems with PVS;Computer Aided Systems Theory — EUROCAST 2001;2001

2. Reachability verification for hybrid automata;Hybrid Systems: Computation and Control;1998

3. Verifying periodic task-control systems;Hybrid and Real-Time Systems;1997

4. Analysis of slope-parametric hybrid automata;Hybrid and Real-Time Systems;1997