https://1library.net/document/y955d1dz-arch-category-report-hybrid-systems-piecewise-constant-dynamics.html