Automatic safety analysis of control systems-Reference-Cited by-同舟云学术

Automatic safety analysis of control systems

Published:2005-05 Issue:3 Volume:18 Page:178-185
ISSN:0950-4230
Container-title:Journal of Loss Prevention in the Process Industries
language:en
Short-container-title:Journal of Loss Prevention in the Process Industries

Author:

Yang Shuang-Hua,Yang Lili

Publisher

Elsevier BV

Subject

Industrial and Manufacturing Engineering,Management Science and Operations Research,Energy Engineering and Power Technology,Safety, Risk, Reliability and Quality,General Chemical Engineering,Food Science,Control and Systems Engineering

Reference9 articles.

1. Symbolic model checking: 1020 states and beyond;Burch;Information and Computer Sciences,1992

2. Safety related questions for computer-controlled plants: derivation, organisation and application;Chung;Journal of Loss Prevention in the Process Industries,1998

3. Safety analysis of process plant control systems based on model checking;Chung;Safety and Reliability,2003

4. Hazard identification in batch and continuous computer-controlled plants;Chung;Industrial & Engineering Chemistry Research,1999

5. TOPHAZOP: A knowledge-based software tool for conducting HAZOP in a rapid, efficient yet inexpensive manner;Khan;Journal of Loss Prevention in the Process Industries,1997

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

1. Risk Analysis and Assessment Using Decision Matrix Risk Assessment Technique in Sports: The Case of Boxing;Pakistan Journal of Medical and Health Sciences;2021-10-30

2. Risk Assessment in the Open Pit Mining Industry—A Short Review;Studies in Systems, Decision and Control;2019

3. General Approach to Risk Analysis;Transportation Systems and Engineering;2015

4. General Approach to Risk Analysis;Risk Analysis for Prevention of Hazardous Situations in Petroleum and Natural Gas Engineering;2014

5. Developing a new alternative risk assessment framework in the work sites by including a stochastic and a deterministic process: A case study for the Greek Public Electric Power Provider;Safety Science;2012-03