Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation | IEEE Conference Publication | IEEE Xplore