Discrete event and hybrid systems in robotics and automation: an overview | IEEE Journals & Magazine | IEEE Xplore