Pieter J. Mosterman, Gabor Simko, Justyna Zander, Zhi Han. A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities. In Martin Fränzle, John Lygeros, editors, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. pages 83-92, ACM, 2014. [doi]
Abstract is missing.