Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162)

From MaRDI portal





scientific article; zbMATH DE number 6673700
Language Label Description Also known as
default for all languages
No label defined
    English
    Control synthesis for stochastic systems given automata specifications defined by stochastic sets
    scientific article; zbMATH DE number 6673700

      Statements

      Control synthesis for stochastic systems given automata specifications defined by stochastic sets (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      11 January 2017
      0 references
      stochastic systems
      0 references
      dynamics
      0 references
      control synthesis
      0 references
      hybrid
      0 references
      automaton
      0 references
      reachability
      0 references

      Identifiers

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