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

Author(s):  
M. O'Connor ◽  
S. Tangirala ◽  
R. Kumar ◽  
S. Bhattacharyya ◽  
S. Sznaier ◽  
...  
IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 27789-27801 ◽  
Author(s):  
Hongxin Xue ◽  
Yanping Bai ◽  
Hongping Hu ◽  
Ting Xu ◽  
Haijian Liang

Sign in / Sign up

Export Citation Format

Share Document