Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 93B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E03
@@ Property / Mathematics Subject Classification ID: 93E03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B03
@@ Property / Mathematics Subject Classification ID: 93B03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C41
@@ Property / Mathematics Subject Classification ID: 93C41 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6673700
@@ Property / zbMATH DE Number: 6673700 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic systems
@@ Property / zbMATH Keywords: stochastic systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dynamics
@@ Property / zbMATH Keywords: dynamics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+control synthesis
@@ Property / zbMATH Keywords: control synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hybrid
@@ Property / zbMATH Keywords: hybrid / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automaton
@@ Property / zbMATH Keywords: automaton / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reachability
@@ Property / zbMATH Keywords: reachability / rank @@
+Normal rank

Revision as of 01:52, 1 July 2023