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

M. O'Connor, S. Tangirala, R. Kumar, S. Bhattacharyya, M. Sznaier, L. E. Holloway

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Fingerprint

Dive into the research topics of 'A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles'. Together they form a unique fingerprint.

Computer Science

Engineering