Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.

Rajeev Alur Aditya Kanade S. Ramesh K. C. Shashidhar

Published in: EMSOFT (2008)

Keyphrases

artificial intelligence
complex systems
mathematical models
high level
statistical analysis
empirical data
information retrieval
data analysis
prior knowledge
control system
simulation model
control algorithm
agent based models
connectionist models