Translating discrete-time simulink to lustre.

Stavros Tripakis Christos Sofronis Paul Caspi Adrian Curic

Published in: ACM Trans. Embed. Comput. Syst. (2005)

Keyphrases

control system
fault detection
markov chain
control algorithm
markov processes
neural network
finite state
computer vision
real time
optimal control problems
expert systems
objective function
multiscale
web services
field programmable gate array
matlab simulink
semi markov decision processes