Statistical model checking of an energy-saving cyber-physical system in the railway domain-Reference-Cited by-同舟云学术

Statistical model checking of an energy-saving cyber-physical system in the railway domain

Published:2017-04-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Symposium on Applied Computing
language:
Short-container-title:

Author:

Basile Davide¹,Di Giandomenico Felicita¹,Gnesi Stefania¹

Affiliation:

1. Istituto di Scienza e Tecnologia dell'Informazione, Pisa, Italy

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3019612.3019824

Reference25 articles.

1. Ahmad W. v. d. Pol J.: Synthesizing energy-optimal controllers for multiprocessor dataflow applications with uppaal stratego. In: 7TH International Symposium on Leveraging Applications of Formal Methods Verification and Validation ISOLA 2016 (2016) Ahmad W. v. d. Pol J.: Synthesizing energy-optimal controllers for multiprocessor dataflow applications with uppaal stratego. In: 7TH International Symposium on Leveraging Applications of Formal Methods Verification and Validation ISOLA 2016 (2016)

2. Alur R. Dill D.L.: A theory of timed automata. Theoretical Computer Science (TCS) 126 1994 126(2) 183 -- 235 10.1016/0304-3975(94)90010-8 Alur R. Dill D.L.: A theory of timed automata. Theoretical Computer Science (TCS) 126 1994 126(2) 183 -- 235 10.1016/0304-3975(94)90010-8

3. Basile D. Chiaradonna S. Di Giandomenico F. Gnesi S. Mazzanti F.: Stochastic model-based analysis of energy consumption in a rail road switch heating system. In: Fantechi A. Pelliccione P. (eds.) Software Engineering for Resilient Systems: 7th International Workshop SERENE 2015 Paris France September 7--8 2015. Proceedings pp. 82--98. Springer International Publishing Cham (2015) 10.1007/978-3-319-23129-7_7 Basile D. Chiaradonna S. Di Giandomenico F. Gnesi S. Mazzanti F.: Stochastic model-based analysis of energy consumption in a rail road switch heating system. In: Fantechi A. Pelliccione P. (eds.) Software Engineering for Resilient Systems: 7th International Workshop SERENE 2015 Paris France September 7--8 2015. Proceedings pp. 82--98. Springer International Publishing Cham (2015) 10.1007/978-3-319-23129-7_7

4. A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems

5. Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach

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

1. Formal Methods and Tools Applied in the Railway Domain;Lecture Notes in Computer Science;2024

2. A Review of Energy Aware Cyber-Physical Systems;Cyber-Physical Systems;2023-01-07

3. Study of a BIM-Based Cyber-Physical System and Intelligent Disaster Prevention System in Taipei Main Station;Applied Sciences;2022-10-23

4. Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints;International Journal of Software Engineering and Knowledge Engineering;2022-04

5. An accident prediction architecture based on spatio‐clock stochastic and hybrid model for autonomous driving safety;Concurrency and Computation: Practice and Experience;2021-08-08