Title :
Update of Lapp-Powers Fault-Tree Synthesis Algorithm
Author :
Lapp, Steven A. ; Powers, Gary J.
Author_Institution :
Design Sciences, Inc; 407 Edgeworth Lane; Sewickley, PA 15143 USA.
fDate :
4/1/1979 12:00:00 AM
Abstract :
The original paper used an example about which there has been considerable discussion. This note shows that the original analysis was correct, and that sematic difficulties are difficult to avoid.
Keywords :
Algorithm design and analysis; Control systems; Cooling; Fault trees; Feedback loop; Helium; Inductors; Temperature control; Temperature sensors; Valves; Fault-tree synthesis; Lapp-Powers Algorithm; Nitric-acid cooler;
Journal_Title :
Reliability, IEEE Transactions on
DOI :
10.1109/TR.1979.5220455
