Applying Timed Interval Calculus to Simulink Diagrams.

Chunqing Chen Jin Song Dong

Published in: ICFEM (2006)

Keyphrases

timed automata
control system
petri net
control algorithm
hand drawn
database
real time
data sets
bayesian networks
artificial neural networks
object oriented
model checking
temporal reasoning
fault detection
algebraic structure