Feedback Control for Statistical Model Checking of Cyber-Physical Systems-Reference-Cited by-同舟云学术

Feedback Control for Statistical Model Checking of Cyber-Physical Systems

Published:2016 Issue: Volume: Page:46-61
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
language:
Short-container-title:

Author:

Kalajdzic K.,Jegourel C.,Lukina A.,Bartocci E.,Legay A.,Smolka S. A.,Grosu R.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47166-2_4

Reference23 articles.

1. Code repository. https://ti.tuwien.ac.at/tacas2015/

2. Advances in Parallel Computing,2010

3. Lecture Notes in Computer Science;E Bartocci,2013

4. Broy, M., Geisberger, E.: Cyber-physical Systems, Driving Force for Innovation in Mobility, Health, Energy and Production. The National Academy Of Science and Engineering, Acatech (2012)

5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)

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

1. AFMT: Maintaining the safety-security of industrial control systems;Computers in Industry;2022-04

2. Model Checking Intelligent Information Systems with 3-Valued Timed Commitments;Mobile Web and Intelligent Information Systems;2022

3. A Secure User-Centred Healthcare System: Design and Verification;From Data to Models and Back;2022

4. Active Learning of Markov Decision Processes using Baum-Welch algorithm;2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA);2021-12

5. Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification;Security and Communication Networks;2021-05-17