Login / Signup

A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles.

M. O'ConnorSekhar TangiralaRatnesh KumarS. BhattacharyyaS. SznaierLarry E. Holloway
Published in: ACC (2006)
Keyphrases