Computing bounded reach sets from sampled simulation traces

Zhenqi Huang, Sayan Mitra. Computing bounded reach sets from sampled simulation traces. In Thao Dang, Ian M. Mitchell, editors, Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. pages 291-294, ACM, 2012. [doi]

Abstract

Abstract is missing.