A Small Model Theorem for Rectangular Hybrid Automata Networks-Reference-Cited by-同舟云学术

A Small Model Theorem for Rectangular Hybrid Automata Networks

Published:2012 Issue: Volume: Page:18-34
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Systems
language:
Short-container-title:

Author:

Johnson Taylor T.,Mitra Sayan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-30793-5_2.pdf

Reference40 articles.

1. Abbott, T.S., Jones, K.M., Consiglio, M.C., Williams, D.M., Adams, C.A.: Small aircraft transportation system, higher volume operations concept: Normal operations. Tech. Rep. NASA/TM-2004-213022, NASA (August 2004)

2. Lecture Notes in Computer Science;P. Abdulla,2007

3. Abdulla, P.A., Deneux, J., Mahata, P.: Multi-clock timed networks. In: Proc. of 19th Annual IEEE Symposium Logic in Computer Science, pp. 345–354 (July 2004)

4. Abdulla, P.A., Jonsson, B.: Model checking of systems with many identical timed processes. Theoretical Computer Science 290(1), 241–264 (2003)

5. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3–34 (1995)

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

1. Compositional Analysis of Parametric Cooperative Cyber-Physical Systems;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

2. Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach;Electronic Proceedings in Theoretical Computer Science;2022-07-14

3. SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems;2021 IEEE International Intelligent Transportation Systems Conference (ITSC);2021-09-19

4. Multi-agent Safety Verification Using Symmetry Transformations;Tools and Algorithms for the Construction and Analysis of Systems;2020

5. Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems;Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems;2018-07-23