Analysis of switched and hybrid systems - beyond piecewise quadratic methods | Synapse