Translating Discrete-Time Simulink to Lustre.

Paul Caspi Adrian Curic Aude Maignan Christos Sofronis Stavros Tripakis

Published in: EMSOFT (2003)

Keyphrases

control system
fault detection
control algorithm
markov processes
markov chain
artificial intelligence
finite state
markov decision processes
data sets
image processing
steady state
input output
pid controller
linear time invariant