TY - GEN
T1 - A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles
AU - O'Connor, M.
AU - Tangirala, S.
AU - Kumar, R.
AU - Bhattacharyya, S.
AU - Sznaier, M.
AU - Holloway, L. E.
PY - 2006
Y1 - 2006
N2 - We present a systematic method of verification for a hierarchical hybrid system which is developed using a bottom-up approach. The bottom level of the hybrid system hierarchy is verified first, and each higher-level is subsequently verified with the assumption that all lower levels are correct. At each step in the verification process, lower and higher levels than the one currently being verified may be abstracted, thus reducing the complexity of verification. This method is algorithmically developed and integrated into the design of a hierarchical hybrid mission-level controller for an autonomous underwater vehicle.
AB - We present a systematic method of verification for a hierarchical hybrid system which is developed using a bottom-up approach. The bottom level of the hybrid system hierarchy is verified first, and each higher-level is subsequently verified with the assumption that all lower levels are correct. At each step in the verification process, lower and higher levels than the one currently being verified may be abstracted, thus reducing the complexity of verification. This method is algorithmically developed and integrated into the design of a hierarchical hybrid mission-level controller for an autonomous underwater vehicle.
UR - http://www.scopus.com/inward/record.url?scp=34047231449&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=34047231449&partnerID=8YFLogxK
U2 - 10.1109/acc.2006.1657389
DO - 10.1109/acc.2006.1657389
M3 - Conference contribution
AN - SCOPUS:34047231449
SN - 1424402107
SN - 9781424402106
T3 - Proceedings of the American Control Conference
SP - 4267
EP - 4272
BT - Proceedings of the 2006 American Control Conference
T2 - 2006 American Control Conference
Y2 - 14 June 2006 through 16 June 2006
ER -