James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh. Control software model checking using bisimulation functions for nonlinear systems. In Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, México. pages 4024-4029, IEEE, 2008. [doi]
Abstract is missing.