Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory.

Alexander Diedrich, Oliver Niggemann

Browse the full SAFEProcess paper archive.