Qualitative Fault Modeling in Safety Critical Cyber Physical Systems-Reference-Cited by-同舟云学术

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems

Published:2020-10-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 12th System Analysis and Modelling Conference
language:
Short-container-title:

Author:

Chhokra Ajay¹,Mahadevan Nagabhushan¹,Dubey Abhishek¹,Karsai Gabor¹

Affiliation:

1. Institute of Software Integrated Systems, Vanderbilt University, Nashville, TN, USA

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference20 articles.

1. Sherif Abdelwahed Sherif Abdelwahed Gabor Karsai and Gautam Biswas. 2005. A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems. IN THE 16TH INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS (2005) 73--79. Sherif Abdelwahed Sherif Abdelwahed Gabor Karsai and Gautam Biswas. 2005. A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems. IN THE 16TH INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS (2005) 73--79.

2. Sherif Abdelwahed and Gabor Karsai. 2007. Notions of diagnosability for timed failure propagation graphs. In AUTOTESTCON (Proceedings). 643--648. Sherif Abdelwahed and Gabor Karsai. 2007. Notions of diagnosability for timed failure propagation graphs. In AUTOTESTCON (Proceedings). 643--648.

3. Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models

4. A theory of timed automata

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

1. Engineering Challenges for AI-Supported Computer Vision in Small Uncrewed Aerial Systems;2023 IEEE/ACM 2nd International Conference on AI Engineering – Software Engineering for AI (CAIN);2023-05

2. Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis;2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS);2022-05

3. RT-METER;Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems;2021-05-19