Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories
K. Balzereit, O. Niggemann, in: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), IEEE, 2020, pp. 461–468.
Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Konferenzbeitrag
| Veröffentlicht
| Englisch
Autor*in
Balzereit, Kaja;
Niggemann, Oliver
Erscheinungsjahr
Titel des Konferenzbandes
2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)
Seite
461-468
Konferenz
2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)
Konferenzort
Tampere, Finland
FH-PUB-ID
Zitieren
Balzereit, Kaja ; Niggemann, Oliver: Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) : IEEE, 2020, S. 461–468
Balzereit K, Niggemann O. Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS). IEEE; 2020:461-468. doi:10.1109/ICPS48405.2020.9274707
Balzereit, K., & Niggemann, O. (2020). Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) (pp. 461–468). Tampere, Finland: IEEE. https://doi.org/10.1109/ICPS48405.2020.9274707
@inproceedings{Balzereit_Niggemann_2020, title={Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories}, DOI={10.1109/ICPS48405.2020.9274707}, booktitle={2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)}, publisher={IEEE}, author={Balzereit, Kaja and Niggemann, Oliver}, year={2020}, pages={461–468} }
Balzereit, Kaja, and Oliver Niggemann. “Automated Reconfiguration of Cyber-Physical Production Systems Using Satisfiability Modulo Theories.” In 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), 461–68. IEEE, 2020. https://doi.org/10.1109/ICPS48405.2020.9274707.
K. Balzereit and O. Niggemann, “Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories,” in 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), Tampere, Finland, 2020, pp. 461–468.
Balzereit, Kaja, and Oliver Niggemann. “Automated Reconfiguration of Cyber-Physical Production Systems Using Satisfiability Modulo Theories.” 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), IEEE, 2020, pp. 461–68, doi:10.1109/ICPS48405.2020.9274707.
Google Scholar