Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron Ames. Enclosing the behavior of a hybrid system up to and beyond a Zeno point. In 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, Taipei, Taiwan, August 19-20, 2013. pages 120-125, IEEE Computer Society, 2013. [doi]
Abstract is missing.