Sparsity based hybrid system identification using a SAT solver

System identification for switched linear systems from input output data has received substantial attention in recent years. There is a growing interest for techniques that pose the identification problem as a sparse optimisation problem. At the same time a vast amount of research is dedicated to improving SAT solvers which as a result become...