Compositional Translation of Simulink Models into Synchronous BIP.

Vassiliki Sfyrla Georgios Tsiligiannis Iris Safaka Marius Bozga Joseph Sifakis

Published in: SIES (2010)

Keyphrases

probabilistic model
image processing
maximum likelihood
database
databases
three dimensional
complex systems
experimental data
control algorithm
accurate models