Reconfiguring Hybrid Systems Using SAT

Kaja Balzereit, Oliver Niggemann

Reconfiguration aims at recovering a system from a fault by automatically adapting the system configuration, such that the system goal can be reached again. Classical approaches ty…