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
    0 references
    0 references
    0 references
    8 June 1998
    0 references
    automated highway system
    0 references
    traffic automation
    0 references
    large scale, multiagent complex dynamical system
    0 references

    Identifiers