Modeling switched behavior to monitor energy-based dynamical systems | IEEE Conference Publication | IEEE Xplore