HYST: a source transformation and translation tool for hybrid automaton models.

Stanley Bak Sergiy Bogomolov Taylor T. Johnson

Published in: HSCC (2015)

Keyphrases

experimental data
neural network
artificial neural networks
probabilistic model
model selection
complex systems
modeling tool
database
real time
data mining
social networks
statistical model
finite state machines
accurate models