No label defined (Q4672469)

From MaRDI portal
scientific article; zbMATH DE number 2163583
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 2163583

    Statements

    0 references
    0 references
    0 references
    0 references
    29 April 2005
    0 references
    hybrid systems
    0 references
    verification techniques
    0 references
    reachable set computation
    0 references
    differential game method
    0 references
    software toolkit
    0 references
    large scale systems
    0 references
    implicit surface function representation
    0 references
    safety
    0 references
    constrained level set methods
    0 references
    aircraft collision avoidance
    0 references
    autopilots
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references