A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability

Moussa Maïga, Nacim Ramdani, Louise Travé-Massuyès, Christophe Combastel. A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability. Mathematics in Computer Science, 8(3-4):407-423, 2014. [doi]

Authors

Moussa Maïga

This author has not been identified. Look up 'Moussa Maïga' in Google

Nacim Ramdani

This author has not been identified. Look up 'Nacim Ramdani' in Google

Louise Travé-Massuyès

This author has not been identified. Look up 'Louise Travé-Massuyès' in Google

Christophe Combastel

This author has not been identified. Look up 'Christophe Combastel' in Google