Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686): Difference between revisions

@@ 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-017-0264-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2768035641
@@ Property / OpenAlex ID: W2768035641 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent secrets
@@ Property / cites work: Concurrent secrets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849576
@@ Property / cites work: Q2849576 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Observers for the Synthesis of Opaque Systems
+Normal rank
@@ Property / cites work @@
+Synthesis of opaque systems with static and dynamic masks
+Normal rank
@@ Property / cites work @@
+On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
+Normal rank
@@ Property / cites work @@
+Supervisory Control for Opacity
@@ Property / cites work: Supervisory Control for Opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Enforcement and validation (at runtime) of various notions of opacity
+Normal rank
@@ Property / cites work @@
+Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
+Normal rank
@@ Property / cites work @@
+Characterizing intransitive noninterference for 3-domain security policies with observability
+Normal rank
@@ Property / cites work @@
+On-line control of partially observed discrete event systems
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
+Normal rank
@@ Property / cites work @@
+Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of opacity verification problems in labeled Petri net systems
+Normal rank
@@ Property / cites work @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank
@@ Property / cites work @@
+Synthesis of insertion functions for enforcement of opacity security properties
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
+Normal rank