Collision detection and resolution of hazard prevention actions in safety critical systems.
Jang Jin KwonJang-Eui HongLawrence ChungPublished in: J. Syst. Softw. (2016)
Keyphrases
- safety critical
- safety analysis
- collision detection
- formal methods
- fault tolerant
- nuclear power plant
- embedded systems
- computer graphics
- support systems
- machine learning
- low resolution
- virtual environment
- learning systems
- distributed systems
- management system
- high resolution
- adaptive systems
- knowledge acquisition
- low cost
- control system
- image sequences
- computer vision
- artificial intelligence
- real time