A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles
Keyword(s):
2007 ◽
2020 ◽
Keyword(s):
Keyword(s):
2018 ◽
Vol 26
(2)
◽
pp. 404-414
◽