[IEEE 2006 American Control Conference - Minneapolis, MN, USA (2006.06.14-2006.06.16)] 2006 American Control Conference - A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles
- 作者O'Connor, M.; Tangirala, S.; Kumar, R.; Bhattacharyya, S.; Sznaier, S.; Holloway, L.E.
- 文件大小205.91KB
- 发表时间2006
- DOI10.1109/acc.2006.1657389