Pavithra Prabhakar, Geir E. Dullerud, Mahesh Viswanathan. Pre-orders for reasoning about stability. 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 197-206, ACM, 2012. [doi]
Abstract is missing.