Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
scientific article

    Statements

    Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (English)
    0 references
    0 references
    0 references
    0 references
    19 August 2022
    0 references
    computer mathematics
    0 references
    reachable set estimation
    0 references
    safety verification
    0 references
    sums of squares programming
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers