The Discrete Time Behaviour of Restricted Linear Hybrid Automata (Q4907866)

From MaRDI portal





scientific article; zbMATH DE number 6138806
Language Label Description Also known as
default for all languages
No label defined
    English
    The Discrete Time Behaviour of Restricted Linear Hybrid Automata
    scientific article; zbMATH DE number 6138806

      Statements

      The Discrete Time Behaviour of Restricted Linear Hybrid Automata (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      26 February 2013
      0 references
      linear hybrid automata
      0 references
      discrete time behaviour
      0 references
      control state reachability problem
      0 references

      Identifiers