Safety Analysis of Safety-Critical Systems Using State-Space Models.
Vinay KumarLalit Kumar SinghAnil Kumar TripathiPooja SinghPublished in: IEEE Softw. (2017)
Keyphrases
- safety critical
- safety analysis
- nuclear power plant
- formal methods
- fault tolerant
- embedded systems
- state space
- support systems
- agent architecture
- control system
- fault model
- symbolic model checking
- adaptive systems
- information systems
- real time
- distributed systems
- markov decision processes
- model checking
- learning environment
- reinforcement learning
- learning systems
- low cost