Model-based Safety Assessment of a Triple Modular Generator with xSAP.
Marco BozzanoAlessandro CimattiMarco GarioDavid JonesCristian MattareiPublished in: Formal Aspects Comput. (2021)
Keyphrases
- modular structure
- real time
- modular neural networks
- safety analysis
- risk assessment
- artificial neural networks
- case study
- neural network
- knowledge base
- decision making
- similarity measure
- bayesian networks
- multi agent
- genetic algorithm
- model free
- assessment tool
- assessment process
- databases
- data sets
- modular neural network
- database