Publications

2019

• A combined approach to determine robustly stabilizing parameter spacesAlaa, K., Mutlu, I., Schrodel, F., Mihailescu-Stoica, D. & Vosswinkel, R., 2019, 27th Mediterranean Conference on Control and Automation, MED 2019 - Proceedings. p. 106-111Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A control Lyapunov function approach using quantifier eliminationVoßwinkel, R. & Röbenack, K., 2019, p. 186-191Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Automated Growth of SiGe Single Crystals with Constant Axial Gradient by Czochralski TechniqueAbrosimov, N., Kurlov, V. N., Schewski, R. & Winkler, J., 2019, In: Crystal research and technology: journal of experimental and industrial crystallography. 55, 2, 1900097Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Calculating positive invariant sets: A quantifier elimination approachRöbenack, K., Voßwinkel, R. & Richter, H., 2019, In: Journal of computational and nonlinear dynamics. 14, 7, 074502Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Criterion for the Existence of a Separated Coordinate Representation for Underactuated Mechanical SystemsKnoll, C., Huang, C. & Röbenack, K., 2019, Proceedings - 2019 IEEE International Conference on Mechatronics, ICM 2019. p. 19-24Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Determining passivity via quantifier eliminationVoßwinkel, R., Mihailescu-Stoica, D., Schrodel, F. & Röbenack, K., 2019, 27th Mediterranean Conference on Control and Automation, MED 2019 - Proceedings. p. 13-18Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Einführung in die fraktionale Flussschätzung in elektromagnetischen AktorenSeifert, R., Steiert, C., Hofmann, W. & Röbenack, K., 2019, In: Automatisierungstechnik. 67, 7, p. 572-586, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Fast forecasting of VGF crystal growth process by dynamic neural networksDropka, N., Holena, M., Ecklebe, S., Frank-Rotsch, C. & Winkler, J., 2019, In: Journal of crystal growth. 521, p. 9 - 14Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Formal verification of local and global observability of polynomial systems using quantifier eliminationRöbenack, K. & Voßwinkel, R., 2019, 2019 23rd International Conference on System Theory, Control and Computing, ICSTCC 2019 - Proceedings. p. 314-319Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Identification of room temperature models using k-step PEM for Hammerstein systemsPaschke, F., Zaiczek, T. & Röbenack, K., 2019, 2019 23rd International Conference on System Theory, Control and Computing, ICSTCC 2019 - Proceedings. p. 320-325Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution