A Comparative Study on Reliability Analysis Methods for Safety Critical Systems Using Petri-Nets and Dynamic Flowgraph Methodology: A Case Study of Nuclear Power Plant.
Manish TripathiLalit Kumar SinghSuneet SinghPooja SinghPublished in: IEEE Trans. Reliab. (2022)
Keyphrases
- safety critical
- nuclear power plant
- petri net
- safety analysis
- reliability analysis
- formal methods
- fault tolerant
- support systems
- distributed systems
- embedded systems
- agent architecture
- low cost
- decision support system
- genetic algorithm
- fuzzy control
- fuzzy logic
- adaptive systems
- management system
- control system
- information systems
- artificial intelligence