Validation, Synthesis and Optimization for Cyber-Physical Systems-Reference-Cited by-同舟云学术

Validation, Synthesis and Optimization for Cyber-Physical Systems

Published:2017 Issue: Volume: Page:3-20
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Larsen Kim Guldstrand

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-662-54577-5_1

Reference59 articles.

1. Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), Riverside, California, USA, 11–14 September 2006. IEEE Computer Society (2006)

2. Lecture Notes in Computer Science;R Alur,2001

3. Lecture Notes in Computer Science;G Behrmann,2003

4. Behrmann, G., Bouyer, P., Larsen, K.G., Pelánek, R.: Lower and upper bounds in zone-based abstractions of timed automata. STTT 8(3), 204–215 (2006)

5. Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-tiga: time for playing games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 121–125. Springer, Heidelberg (2007). doi:10.1007/978-3-540-73368-3_14. [29]

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

1. Modeling more software performance antipatterns in cyber-physical systems;Software and Systems Modeling;2023-12-20

2. QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems;Proceedings of the ACM/SPEC International Conference on Performance Engineering;2021-04-09

3. UTOPIC: Under-Approximation Through Optimal Control;Quantitative Evaluation of Systems;2019