A verified hierarchical control architecture for co‐ordinated multi‐vehicle operations (Q5293800)
From MaRDI portal
scientific article; zbMATH DE number 5169576
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A verified hierarchical control architecture for co‐ordinated multi‐vehicle operations |
scientific article; zbMATH DE number 5169576 |
Statements
A verified hierarchical control architecture for co‐ordinated multi‐vehicle operations (English)
0 references
4 July 2007
0 references
hierarchical control
0 references
multi-robot systems
0 references
autonomous underwater vehicle
0 references
transition systems
0 references
formal methods
0 references
hybrid systems
0 references
0 references
