MGSyn: Automatic synthesis for industrial automation

Chih Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois Knoll

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations


MGSyn is a programming toolbox based on game-theoretic notions of synthesis for generating production code in the domain of industrial automation. Instead of painstakingly engineering sequences of relatively low-level program code, the designer selects pre-defined hardware components together with behavioral interfaces from a given library, specifies a topology for the interconnection of components, and specifies the programming/synthesis problem in terms of what needs to be achieved. Given the model and a problem specification, MGSyn synthesizes executable C/C++ code for a concrete execution platform and an interactive simulator. The synthesized code is used to control distributed industry-standard PLCs in a FESTO modular production system.

Original languageEnglish
Title of host publicationComputer Aided Verification - 24th International Conference, CAV 2012, Proceedings
Number of pages7
StatePublished - 2012
Event24th International Conference on Computer Aided Verification, CAV 2012 - Berkeley, CA, United States
Duration: 7 Jul 201213 Jul 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7358 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference24th International Conference on Computer Aided Verification, CAV 2012
Country/TerritoryUnited States
CityBerkeley, CA


Dive into the research topics of 'MGSyn: Automatic synthesis for industrial automation'. Together they form a unique fingerprint.

Cite this