On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386)

From MaRDI portal





scientific article; zbMATH DE number 6647912
Language Label Description Also known as
default for all languages
No label defined
    English
    On the decidability and complexity of problems for restricted hierarchical hybrid systems
    scientific article; zbMATH DE number 6647912

      Statements

      On the decidability and complexity of problems for restricted hierarchical hybrid systems (English)
      0 references
      0 references
      0 references
      0 references
      4 November 2016
      0 references
      hybrid systems
      0 references
      reachability
      0 references
      mortality
      0 references
      piecewise affine maps
      0 references
      (hierarchical) piecewise constant derivatives
      0 references

      Identifiers