Enforcing opacity of regular predicates on modal transition systems (Q2348369): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-014-0193-7
@@ Property / DOI: 10.1007/s10626-014-0193-7 / rank @@
-Normal rank
@@ Property / author @@
-Q198039
@@ Property / author: Q198039 / rank @@
-Normal rank
@@ Property / author @@
+Philippe Darondeau
@@ Property / author: Philippe Darondeau / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2093645787
@@ Property / OpenAlex ID: W2093645787 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent secrets
@@ Property / cites work: Concurrent secrets / rank @@
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Supervisory Control for Opacity
@@ Property / cites work: Supervisory Control for Opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Modal specifications for the control theory of discrete event systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of initial-state opacity in security applications of discrete event systems
+Normal rank
@@ Property / cites work @@
+Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
+Normal rank
@@ Property / cites work @@
+Synthesis of insertion functions for enforcement of opacity security properties
+Normal rank
@@ Property / DOI @@
+.1007/S10626-014-0193-7
@@ Property / DOI: 10.1007/S10626-014-0193-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2348369