A controller synthesis framework for automated service composition (Q2177764): Difference between revisions

@@ Property / describes a project that uses @@
+WSAT
@@ Property / describes a project that uses: WSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / 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.1007/s10626-019-00282-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2966410070
@@ Property / OpenAlex ID: W2966410070 / rank @@
+Normal rank
@@ Property / cites work @@
+A controller synthesis framework for automated service composition
+Normal rank
@@ Property / cites work @@
+AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
@@ Property / cites work: AUTOMATIC SERVICE COMPOSITION VIA SIMULATION / rank @@
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / 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 @@
+Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
+Normal rank
@@ Property / cites work @@
+Predicates and predicate transformers for supervisory control of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449309
@@ Property / cites work: Q4449309 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
+Normal rank
@@ Property / cites work @@
+The theory of deadlock avoidance via discrete control
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event systems
@@ Property / cites work: Supervisory control of discrete-event systems / rank @@
+Normal rank