Progressive events in supervisory control and compositional verification (Q5257781): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1968747967
@@ Property / OpenAlex ID: W1968747967 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Design of nonblocking modular supervisors using event priority functions
+Normal rank
@@ Property / cites work @@
+Multitasking supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Hierarchical interface-based supervisory Control-part I: serial case
+Normal rank
@@ Property / cites work @@
+Q3152840
@@ Property / cites work: Q3152840 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchical and modular control architecture for sequential behaviours
+Normal rank
@@ Property / cites work @@
+Progressive events in supervisory control and compositional verification
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+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 @@
+Q4037383
@@ Property / cites work: Q4037383 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Verification in Supervisory Control
@@ Property / cites work: Compositional Verification in Supervisory Control / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Nonconflict of Supervisors Using Abstractions
+Normal rank
@@ Property / cites work @@
+Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
+Normal rank
@@ Property / cites work @@
+Conflict-preserving abstraction of discrete event systems using annotated automata
+Normal rank
@@ Property / cites work @@
+CONFLICTS AND FAIR TESTING
@@ Property / cites work: CONFLICTS AND FAIR TESTING / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank