Control software model checking using bisimulation functions for nonlinear systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'James Kapinski' in GoogleThis author has not been identified. Look up 'Alexandre Donzé' in GoogleThis author has not been identified. Look up 'Flavio Lerda' in GoogleThis author has not been identified. Look up 'Hitashyam Maka' in GoogleThis author has not been identified. Look up 'Silke Wagner' in GoogleThis author has not been identified. Look up 'Bruce H. Krogh' in Google

runs on WebDSL