Consistent reduction in discrete-event systems (Q2151838): Difference between revisions

@@ Property / describes a project that uses @@
+Supremica
@@ Property / describes a project that uses: Supremica / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2022.110333
+Normal rank
@@ Property / OpenAlex ID @@
+W4229031775
@@ Property / OpenAlex ID: W4229031775 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Inference of regular languages using state merging algorithms with search
+Normal rank
@@ Property / cites work @@
+Supervisor localization. A top-down approach to distributed control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
+Normal rank
@@ Property / cites work @@
+Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
+Normal rank
@@ Property / cites work @@
+Supervisor reduction for discrete-event systems
@@ Property / cites work: Supervisor reduction for discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event systems
@@ Property / cites work: Supervisory control of discrete-event systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2151838