Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.
Richard BanachMarco BozzanoPublished in: SAFECOMP (2006)
Keyphrases
- dynamic constraints
- computer vision
- dynamic environments
- dynamic analysis
- database systems
- fault diagnosis
- distributed systems
- management system
- fault detection
- complex systems
- learning systems
- knowledge based systems
- databases
- mobile robot
- mobile devices
- expert systems
- digital libraries
- artificial intelligence
- genetic algorithm
- neural network