Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.
Farn WangPublished in: CAV (2004)
Keyphrases
- hybrid systems
- safety analysis
- data structure
- binary decision diagrams
- symbolic model checking
- black box
- intelligent systems
- meta learning
- computational intelligence
- soft computing
- control system
- nuclear power plant
- discrete event
- neural network
- safety critical
- artificial intelligence
- fault model
- web services
- reliability analysis
- boolean functions
- multi agent systems
- fp tree
- learning tasks
- evolutionary algorithm