Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2087109755
@@ Property / OpenAlex ID: W2087109755 / rank @@
+Normal rank
@@ Property / cites work @@
+Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation, the supervisory control problem and strong model matching for finite state machines
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event processes with partial observations
+Normal rank
@@ Property / cites work @@
+Q4799358
@@ Property / cites work: Q4799358 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+An implementation of an efficient algorithm for bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Compositional synthesis of maximally permissive supervisors using supervision equivalence
+Normal rank
@@ Property / cites work @@
+From bisimulation to simulation: Coarsest partition problems
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete-event control of nondeterministic systems
+Normal rank
@@ Property / cites work @@
+Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control using failure semantics and partial specifications
+Normal rank
@@ Property / cites work @@
+An efficient simulation algorithm based on abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4782021
@@ Property / cites work: Q4782021 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
+Normal rank