G4LTL-ST: Automatic Generation of PLC Programs.

Chih-Hong Cheng Chung-Hao Huang Harald Ruess Stefan Stattelmann

Published in: CoRR (2014)

Keyphrases

automatically generate
model checking
control system
temporal logic
data sets
provably correct
database
computer programs
deterministic automata
information systems
hardware and software
fuzzy control
fixpoint