Enforcing I/O sequences for PLC validation purposes.

Anaïs Guignard Jean-Marc Faure

Published in: ETFA (2013)

Keyphrases

hidden markov models
input output
control system
sequential patterns
data transmission
databases
information systems
data management
fuzzy control
secondary storage
garbage collection
long sequences