Mining requirements from closed-loop control models. (2013)

by X Jin, A Donzé, J V Deshmukh, S A Seshia
Venue:In Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC