Decomposition

Reachability analysis of linear hybrid systems via block decomposition

by Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling (2020)