Safety verification of hybrid systems by constraint propagation-based abstraction refinement.
Stefan RatschanZhikun ShePublished in: ACM Trans. Embed. Comput. Syst. (2007)
Keyphrases
- constraint propagation
- hybrid systems
- black box
- intelligent systems
- constraint satisfaction problems
- soft computing
- computational intelligence
- artificial intelligence
- discrete event
- temporal constraints
- constraint programming
- neural network
- constraint satisfaction
- meta learning
- model checking
- linear programming
- workflow systems
- databases
- genetic algorithm
- simulation model
- graph cuts