Safety analysis using compositional bounded error approximations of communicating hybrid systems.
Ratan LalPavithra PrabhakarPublished in: CDC (2017)
Keyphrases
- hybrid systems
- safety analysis
- nuclear power plant
- black box
- control system
- safety critical
- intelligent systems
- soft computing
- meta learning
- fault model
- symbolic model checking
- neural network
- computational intelligence
- artificial intelligence
- discrete event
- reliability analysis
- dynamic systems
- fuzzy logic
- evolutionary algorithm
- formal methods
- partial observability
- decision trees