A verified hierarchical control architecture for co‐ordinated multi‐vehicle operations
From MaRDI portal
Publication:5293800
DOI10.1002/ACS.920zbMath1116.93015OpenAlexW1987843995WikidataQ60432415 ScholiaQ60432415MaRDI QIDQ5293800
No author found.
Publication date: 4 July 2007
Published in: International Journal of Adaptive Control and Signal Processing (Search for Journal in Brave)
Full work available at URL: https://repositorio-aberto.up.pt/handle/10216/390
hybrid systemsformal methodstransition systemshierarchical controlautonomous underwater vehiclemulti-robot systems
Related Items (1)
Cites Work
This page was built for publication: A verified hierarchical control architecture for co‐ordinated multi‐vehicle operations