Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
    scientific article

      Statements

      Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (English)
      0 references
      0 references
      26 July 2022
      0 references
      functional sets
      0 references
      polynomial dependencies
      0 references
      mixed encoding
      0 references
      logic
      0 references
      hybrid dynamic systems
      0 references
      reachability
      0 references
      robust state estimation
      0 references
      Kalman filters
      0 references
      zonotopes
      0 references
      polynotopes
      0 references
      0 references
      0 references

      Identifiers