Browsing by Author Balzereit, Kaja

Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)
2020A Concept for the Automated Reconfiguration of QuadcoptersBalzereit, Kaja; Niggemann, Oliver ; Fuller, Marta
2019Automated Reconfiguration of Cyber-Physical Production Systems using Satisability Modulo TheoriesBalzereit, Kaja; Niggemann, Oliver 
2020Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo TheoriesBalzereit, Kaja; Niggemann, Oliver 
2020First Approaches to Automatically Diagnose and Reconfigure Hybrid Cyber-Physical SystemsDiedrich, Alexander; Balzereit, Kaja; Niggemann, Oliver 
2020Modeling Quantitative Effects for the Reconfiguration of Hybrid SystemsBalzereit, Kaja; Niggemann, Oliver