Sign in
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow.
Meng Li
Ratnesh Kumar
Published in:
IET Cyper-Phys. Syst.: Theory & Appl. (2017)
Keyphrases
</>
hybrid systems
test generation
data mining
data sets
neural network
databases
state space
supervised learning
computational intelligence
intelligent systems
learning experience
monitoring system
quality assurance