Analysis of Logic Controllers by Transformation of SFC into Timed Automata.

Olaf Stursberg Sven Lohmann

Published in: CDC/ECC (2005)

Keyphrases

programming language
quantitative analysis
timed automata
artificial intelligence
low cost
multi valued
information retrieval
computer vision
image processing
case study
search algorithm
data analysis
evolutionary algorithm
state space
graphical models
automated reasoning