Reachability verification for hybrid automata-Reference-Cited by-同舟云学术

Reachability verification for hybrid automata

Published:1998 Issue: Volume: Page:190-204
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Henzinger Thomas A.,Rusu Vlad

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-64358-3_40

Reference16 articles.

1. ACH+5. 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. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.

3. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verificationof embedded systems. IEEE Ransactions on Software Engineering, 22(3):181–201, 1996.

4. B. Boigelot, L. Bronne, and S. Rassart. An improved reachability analysis method for strongly linear hybrid systems. In Proc. of the 9th Conference on Computer-Aided Verification, CAV'97, LNCS 1254, pages 167–178. Springer-Verlag, 1997.

5. A. Burgue≈no and V. Rusu. Task-system analysis using slope-parametric hybrid automata. In Proc. of the 3rd Conference on Parallel Processing, Euro-Par'97, LNCS 1300, pages 1262–1273. Springer-Verlag, 1997.

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

1. Safety Assurance of a High Voltage Controller for an Industrial Robotic System;Lecture Notes in Computer Science;2020

2. CriSGen: Constraint-Based Generation of Critical Scenarios for Autonomous Vehicles;Lecture Notes in Computer Science;2020

3. Forward Reachability Computation for Autonomous Max-Plus-Linear Systems;Tools and Algorithms for the Construction and Analysis of Systems;2014

4. Formal Analysis Meets 3D-Visualization;Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment;2012-08-10

5. Automated Machine-Checked Hybrid System Safety Proofs;Interactive Theorem Proving;2010