https://5dok.org/document/nzwmdrvq-hybrid-control-systems-and-comprehensive-gröbner-bases.html