Verifying hybrid systems modeled as timed automata: A case study-Reference-Cited by-同舟云学术

Verifying hybrid systems modeled as timed automata: A case study

Published:1997 Issue: Volume: Page:171-185
ISSN:0302-9743
Container-title:Hybrid and Real-Time Systems
language:
Short-container-title:

Author:

Archer Myla,Heitmeyer Constance

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014724

Reference20 articles.

1. J.-R. Abrial, E. Boerger, and H. Langmaack. Preliminary report for the Dagstuhl-Seminar 9523: Methods for Semantics and Specification. Dagstuhl, June 1995.

2. M. Archer and C. Heitmeyer. Mechanical verification of timed automata: A case study. In Proc. 1996 IEEE Real-Time Technology and Applications Symp. (RTAS'96). IEEE Computer Society Press, 1996.

3. M. Archer and C. Heitmeyer. Verifying hybrid systems modeled as timed automata: A case study. Technical report, NRL, Wash., DC, 1997. In preparation.

4. R. Boyer and J. Moore. A Computational Logic. Academic Press, 1979.

5. S. Campos, E. Clarke, and M. Minea. Analysis of real-time systems using symbolic techniques. In Formal Methods for Real-Time Computing, chapter 9. John Wiley & Sons, 1996.

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

1. Inclusion dynamics hybrid automata;Information and Computation;2008-12

2. Automated deductive requirements analysis of critical systems;ACM Transactions on Software Engineering and Methodology;2001-07

3. Zeno hybrid systems;International Journal of Robust and Nonlinear Control;2001

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

5. Simulating aircraft subsystems using non-homogeneous automata networks;Modeling and Simulation Technologies Conference;2000-08-14