Browsing by Author Balzereit, Kaja
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) | |
---|---|---|---|
2020 | A Concept for the Automated Reconfiguration of Quadcopters | Balzereit, Kaja; Niggemann, Oliver ; Fuller, Marta | |
2019 | Automated Reconfiguration of Cyber-Physical Production Systems using Satisability Modulo Theories | Balzereit, Kaja; Niggemann, Oliver | |
2020 | Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories | Balzereit, Kaja; Niggemann, Oliver | |
2020 | First Approaches to Automatically Diagnose and Reconfigure Hybrid Cyber-Physical Systems | Diedrich, Alexander; Balzereit, Kaja; Niggemann, Oliver | |
2020 | Modeling Quantitative Effects for the Reconfiguration of Hybrid Systems | Balzereit, Kaja; Niggemann, Oliver |