Robustness and Implementability of Timed Automata-Reference-Cited by-同舟云学术

Robustness and Implementability of Timed Automata

Published:2004 Issue: Volume: Page:118-133
ISSN:0302-9743
Container-title:Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
language:
Short-container-title:

Author:

De Wulf Martin,Doyen Laurent,Markey Nicolas,Raskin Jean-François

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30206-3_10

Reference10 articles.

1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

2. Alur, R., Kim, J., Ivancic, F., Lee, I., Sokolsky, O.: Generating embedded software from hierarchical hybrid models. In: ACM Symposium on Languages, Compilers, and Tools for Embedded Systems (2003)

3. Lecture Notes in Computer Science;T. Amnell,2002

4. Amnell, T., Fersman, E., Pettersson, P., Sun, H., Yi, W.: Code synthesis for timed automata. Nordic Journal of Computing(NJC) 9 (2003)

5. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: Proc. System Structure and Control, Elsevier, Amsterdam (1998)

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

1. Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards;Lecture Notes in Computer Science;2024

2. Computing Maximally-Permissive Strategies in Acyclic Timed Automata;Lecture Notes in Computer Science;2020

3. Robust Model Checking of Timed Automata under Clock Drifts;Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control;2017-04-13

4. A Symbolic Algorithm for the Analysis of Robust Timed Automata;Lecture Notes in Computer Science;2014

5. Bibliography;The Inverse Method;2013-02-20