Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.
Stefan RatschanZhikun ShePublished in: HSCC (2005)
Keyphrases
- constraint propagation
- hybrid systems
- black box
- intelligent systems
- neural network
- temporal constraints
- constraint satisfaction problems
- meta learning
- computational intelligence
- constraint programming
- constraint satisfaction
- soft computing
- discrete event
- artificial intelligence
- model checking
- linear programming
- workflow systems
- search space
- orders of magnitude
- search problems
- database
- feature selection
- dynamic systems
- genetic algorithm
- knowledge acquisition
- fuzzy sets