A polynomial dynamic system approach to software design for attractivity requirement (Q881898): Difference between revisions

@@ Property / cites work @@
+Q4039698
@@ Property / cites work: Q4039698 / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive business intelligence based on evolution strategies: Some application examples of self-adaptive software.
+Normal rank
@@ Property / cites work @@
+Formal verification of programs specified with signal: Application to a power transformer station controller
+Normal rank
@@ Property / cites work @@
+Stabilization of discrete-event processes
@@ Property / cites work: Stabilization of discrete-event processes / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal stopping of multi-project software testing in the context of software cybernetics
+Normal rank
@@ Property / cites work @@
+Control synthesis of Petri nets based on \(S\)-decreases
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicates and predicate transformers for supervisory control of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. I. The base model
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Existence characterizations of temporal-safety supervisors
+Normal rank
@@ Property / cites work @@
+On the polynomial dynamic system approach to software development
+Normal rank