State Estimation and Property-Guided Exploration for Hybrid Systems Testing.
Thao DangNoa ShalevPublished in: ICTSS (2012)
Keyphrases
- state estimation
- hybrid systems
- guided exploration
- discrete event
- dynamic systems
- intelligent systems
- kalman filter
- neural network
- meta learning
- exploratory learning
- particle filter
- black box
- kalman filtering
- computational intelligence
- soft computing
- visual tracking
- particle filtering
- artificial intelligence
- complex systems
- simulation model
- computer vision
- data mining
- test cases
- inductive learning
- expert systems
- dynamical systems
- reinforcement learning
- test data
- test set
- fuzzy logic