Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures.
Farn WangPublished in: IEEE Trans. Software Eng. (2005)
Keyphrases
- hybrid systems
- safety analysis
- data structure
- binary decision diagrams
- symbolic model checking
- black box
- nuclear power plant
- neural network
- soft computing
- meta learning
- control system
- discrete event
- intelligent systems
- computational intelligence
- symbolic representation
- safety critical
- fault model
- artificial intelligence
- boolean functions
- dynamic systems
- fuzzy logic
- model checking
- search algorithm
- reliability analysis
- heuristic search
- decision trees
- decision making
- complex systems
- intelligent agents