Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301): Difference between revisions

@@ Property / author @@
+Hai Lin
@@ Property / author: Hai Lin / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+E03
@@ Property / Mathematics Subject Classification ID: 93E03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A13
@@ Property / Mathematics Subject Classification ID: 93A13 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5895516
@@ Property / zbMATH DE Number: 5895516 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisimulation equivalence
@@ Property / zbMATH Keywords: bisimulation equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+discrete event systems
@@ Property / zbMATH Keywords: discrete event systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nondeterministic systems
@@ Property / zbMATH Keywords: nondeterministic systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial observations
@@ Property / zbMATH Keywords: partial observations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+supervisory control
@@ Property / zbMATH Keywords: supervisory control / rank @@
+Normal rank

Revision as of 09:38, 1 July 2023