Timed automata on modelling IEC 61131-3 function blocks.

Joel Galvao Camelia Avram

Published in: ICE/ITMC (2017)

Keyphrases

timed automata
model checking
reachability analysis
data sets
smart grid
real world
machine learning
control system
distributed systems
power system
theorem prover
piecewise linear