---
_id: '6912'
author:
- first_name: Kaja
  full_name: Balzereit, Kaja
  id: '255787'
  last_name: Balzereit
  orcid: 0000-0001-9203-5902
  orcid_put_code_url: https://api.orcid.org/v2.0/0000-0001-9203-5902/work/215082434
- first_name: Oliver
  full_name: Niggemann, Oliver
  last_name: Niggemann
citation:
  alphadin: '<span style="font-variant:small-caps;">Balzereit, Kaja</span> ; <span
    style="font-variant:small-caps;">Niggemann, Oliver</span>: Automated Reconfiguration
    of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In:
    <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i> : IEEE,
    2020, S. 461–468'
  ama: 'Balzereit K, Niggemann O. Automated Reconfiguration of Cyber-Physical Production
    Systems using Satisfiability Modulo Theories. In: <i>2020 IEEE Conference on Industrial
    Cyberphysical Systems (ICPS)</i>. IEEE; 2020:461-468. doi:<a href="https://doi.org/10.1109/ICPS48405.2020.9274707">10.1109/ICPS48405.2020.9274707</a>'
  apa: 'Balzereit, K., &#38; Niggemann, O. (2020). Automated Reconfiguration of Cyber-Physical
    Production Systems using Satisfiability Modulo Theories. In <i>2020 IEEE Conference
    on Industrial Cyberphysical Systems (ICPS)</i> (pp. 461–468). Tampere, Finland:
    IEEE. <a href="https://doi.org/10.1109/ICPS48405.2020.9274707">https://doi.org/10.1109/ICPS48405.2020.9274707</a>'
  bibtex: '@inproceedings{Balzereit_Niggemann_2020, title={Automated Reconfiguration
    of Cyber-Physical Production Systems using Satisfiability Modulo Theories}, DOI={<a
    href="https://doi.org/10.1109/ICPS48405.2020.9274707">10.1109/ICPS48405.2020.9274707</a>},
    booktitle={2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)}, publisher={IEEE},
    author={Balzereit, Kaja and Niggemann, Oliver}, year={2020}, pages={461–468} }'
  chicago: Balzereit, Kaja, and Oliver Niggemann. “Automated Reconfiguration of Cyber-Physical
    Production Systems Using Satisfiability Modulo Theories.” In <i>2020 IEEE Conference
    on Industrial Cyberphysical Systems (ICPS)</i>, 461–68. IEEE, 2020. <a href="https://doi.org/10.1109/ICPS48405.2020.9274707">https://doi.org/10.1109/ICPS48405.2020.9274707</a>.
  ieee: K. Balzereit and O. Niggemann, “Automated Reconfiguration of Cyber-Physical
    Production Systems using Satisfiability Modulo Theories,” in <i>2020 IEEE Conference
    on Industrial Cyberphysical Systems (ICPS)</i>, Tampere, Finland, 2020, pp. 461–468.
  mla: Balzereit, Kaja, and Oliver Niggemann. “Automated Reconfiguration of Cyber-Physical
    Production Systems Using Satisfiability Modulo Theories.” <i>2020 IEEE Conference
    on Industrial Cyberphysical Systems (ICPS)</i>, IEEE, 2020, pp. 461–68, doi:<a
    href="https://doi.org/10.1109/ICPS48405.2020.9274707">10.1109/ICPS48405.2020.9274707</a>.
  short: 'K. Balzereit, O. Niggemann, in: 2020 IEEE Conference on Industrial Cyberphysical
    Systems (ICPS), IEEE, 2020, pp. 461–468.'
conference:
  location: Tampere, Finland
  name: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)
date_created: 2026-05-18T14:13:23Z
date_updated: 2026-05-19T09:18:18Z
department:
- _id: '103'
doi: 10.1109/ICPS48405.2020.9274707
language:
- iso: eng
page: 461-468
publication: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)
publication_identifier:
  eisbn:
  - 978-1-7281-6389-5
publication_status: published
publisher: IEEE
quality_controlled: '1'
status: public
title: Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability
  Modulo Theories
type: conference
user_id: '261203'
year: '2020'
...