Markus Sköldstam

Learn More
This paper demonstrates how PLC-code for process observation can be automatically generated from a discrete event process model expressed as either PLC-code or as extended finite automata (EFA). The generated code will also detect faults due to unexplainable sensor signal changes. Extended finite automata are automata augmented with variables and transition(More)
  • 1