Verified hybrid controllers for automated vehicles (Q4393078)
From MaRDI portal
scientific article; zbMATH DE number 1160983
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verified hybrid controllers for automated vehicles |
scientific article; zbMATH DE number 1160983 |
Statements
Verified hybrid controllers for automated vehicles (English)
0 references
8 June 1998
0 references
automated highway system
0 references
traffic automation
0 references
large scale, multiagent complex dynamical system
0 references
