Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling 0001. Reachability Analysis of Linear Hybrid Systems via Block Decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems, 39(11):4018-4029, 2020. [doi]
Abstract is missing.