@inproceedings{6c7457c3a02944b4b6eebc02fd9c2580,
title = "MGSyn: Automatic synthesis for industrial automation",
abstract = "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.",
author = "Cheng, \{Chih Hong\} and Michael Geisinger and Harald Ruess and Christian Buckl and Alois Knoll",
year = "2012",
doi = "10.1007/978-3-642-31424-7\_46",
language = "English",
isbn = "9783642314230",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "658--664",
booktitle = "Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings",
note = "24th International Conference on Computer Aided Verification, CAV 2012 ; Conference date: 07-07-2012 Through 13-07-2012",
}