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

doi:10.1109/acc.2006.1657389

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 proceeding › Conference contribution › peer-review

5 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Proceedings of the 2006 American Control Conference
Pages	4267-4272
Number of pages	6
DOIs	https://doi.org/10.1109/acc.2006.1657389
State	Published - 2006
Event	2006 American Control Conference - Minneapolis, MN, United States Duration: Jun 14 2006 → Jun 16 2006

Publication series

Name	Proceedings of the American Control Conference
Volume	2006
ISSN (Print)	0743-1619

Conference

Conference	2006 American Control Conference
Country/Territory	United States
City	Minneapolis, MN
Period	6/14/06 → 6/16/06

ASJC Scopus subject areas

Electrical and Electronic Engineering

Access to Document

10.1109/acc.2006.1657389

Cite this

O'Connor, M., Tangirala, S., Kumar, R., Bhattacharyya, S., Sznaier, M., & Holloway, L. E. (2006). A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles. In Proceedings of the 2006 American Control Conference (pp. 4267-4272). Article 1657389 (Proceedings of the American Control Conference; Vol. 2006). https://doi.org/10.1109/acc.2006.1657389

@inproceedings{8f6558c4a31343d8a9a8915cdec6733d,

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

abstract = "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.",

author = "M. O'Connor and S. Tangirala and R. Kumar and S. Bhattacharyya and M. Sznaier and Holloway, {L. E.}",

year = "2006",

doi = "10.1109/acc.2006.1657389",

language = "English",

isbn = "1424402107",

series = "Proceedings of the American Control Conference",

pages = "4267--4272",

booktitle = "Proceedings of the 2006 American Control Conference",

note = "2006 American Control Conference ; Conference date: 14-06-2006 Through 16-06-2006",

}

O'Connor, M, Tangirala, S, Kumar, R, Bhattacharyya, S, Sznaier, M & Holloway, LE 2006, A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles. in Proceedings of the 2006 American Control Conference., 1657389, Proceedings of the American Control Conference, vol. 2006, pp. 4267-4272, 2006 American Control Conference, Minneapolis, MN, United States, 6/14/06. https://doi.org/10.1109/acc.2006.1657389

A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles. / O'Connor, M.; Tangirala, S.; Kumar, R. et al.
Proceedings of the 2006 American Control Conference. 2006. p. 4267-4272 1657389 (Proceedings of the American Control Conference; Vol. 2006).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

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

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this